Sign in

cellTK: Automated Layout for Asynchronous Circuits with Nonstandard Cells.

Robert KarmazinCarlos Tadeo Ortega OteroRajit Manohar
Published in: ASYNC (2013)
Keyphrases
  • asynchronous circuits
  • delay insensitive
  • semi automated
  • fully automated
  • process algebra
  • model checking
  • inter cell
  • real time
  • low power
  • automated analysis
  • fluorescence microscopy images