Login / Signup

Automatic synthesis of asynchronous circuits from high-level specifications.

Teresa H.-Y. MengRobert W. BrodersenDavid G. Messerschmitt
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1989)
Keyphrases
  • asynchronous circuits
  • high level specifications
  • delay insensitive
  • model checking
  • process algebra
  • semi automatic
  • text mining
  • database schema