The paper deals with the problem of interconnecting mutually asynchronous units in digital systems. A unit is characterized by its input/output relation, and no hypothesis is made on its internal structure. A model is given in order to simulate the behaviour of a unit in a system and to analyze the system properties. The examined properties are 1) the persistence (i.e. every signal is always absorbed by unit to which it is directed), and 2) the activity (i.e. there are no hang-up situations). The problem of interconnecting previously constructed systems is considered, and necessary and sufficient conditions are given in order to establish if the resulting system is persistent and active.
Persistent and active systems
1974
Abstract
The paper deals with the problem of interconnecting mutually asynchronous units in digital systems. A unit is characterized by its input/output relation, and no hypothesis is made on its internal structure. A model is given in order to simulate the behaviour of a unit in a system and to analyze the system properties. The examined properties are 1) the persistence (i.e. every signal is always absorbed by unit to which it is directed), and 2) the activity (i.e. there are no hang-up situations). The problem of interconnecting previously constructed systems is considered, and necessary and sufficient conditions are given in order to establish if the resulting system is persistent and active.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_424810-doc_151517.pdf
accesso aperto
Descrizione: Persistent and active systems
Dimensione
2.4 MB
Formato
Adobe PDF
|
2.4 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
