Login / Signup

A correctness criterion for asynchronous circuit validation and optimization.

Ganesh GopalakrishnanErik BrunvandNick MichellSteven 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