Computer Science – Logic in Computer Science
Scientific paper
2001-10-31
Serban E. Vlad, Selected Topics in Asynchronous Automata, Analele universitatii din Oradea, Fascicola matematica, Tom VII, 199
Computer Science
Logic in Computer Science
Scientific paper
The paper is concerned with defining the electrical signals and their models. The delays are discussed, the asynchronous automata - which are the models of the asynchronous circuits - and the examples of the clock generator and of the R-S latch are given. We write the equations of the asynchronous automata, which combine the pure delay model and the inertial delay model; the simple gate model and the complex gate model; the fixed, bounded and unbounded delay model. We give the solutions of these equations, which are written on R->{0,1} functions, where R is the time set. The connection between the real time and the discrete time is discussed. The stability, the fundamental mode of operation, the combinational automata, the semi-modularity are defined and characterized. Some connections are suggested with the linear time and the branching time temporal logic of the propositions.
No associations
LandOfFree
Selected Topics in Asynchronous Automata does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Selected Topics in Asynchronous Automata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Selected Topics in Asynchronous Automata will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-104636