An Algebraic Model for Asynchronous Circuits Verification.

Christian Berthet Eduard Cerny

Published in: IEEE Trans. Computers (1988)

Keyphrases

computational model
asynchronous circuits
probabilistic model
mathematical model
real time
em algorithm
model checking
network model
expert systems
low cost
high speed
statistical model
conceptual model