Sign in
A correctness criterion for asynchronous circuit validation and optimization.
Ganesh Gopalakrishnan
Erik Brunvand
Nick Michell
Steven M. Nowick
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)
Keyphrases
</>
correctness criterion
delay insensitive
integrity constraints
multidatabase systems
peer to peer
software architecture