Synthesis of Hazard-Free Asynchronous Circuits from Graphical Specifications.

Cho W. Moon Paul R. Stephan Robert K. Brayton

Published in: ICCAD (1991)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
texture synthesis
risk assessment
program synthesis
data sets
e learning
video sequences