• Publications
  • Influence
Reducing power dissipation after technology mapping by structural transformations
Due to the increasing demand for low power circuits, low power dissipation has emerged as an important optimization goal in logic synthesis. In this paper, we show that the power dissipation ofExpand
  • 19
  • 2
Handling special constructs in symbolic simulation
Symbolic simulation is a formal verification technique which combines the flexibility of conventional simulation with powerful symbolic methods. Some constructs, however, which are easy to handle inExpand
  • 4
. " Sis: a System for Sequential Circuit Synthesis, " Report M92/41, A) Shallow Reconvergant Fanout A) Deep Reconvergant Fanout
Reducing power dissipation after technology mapping by structural transformations. Circuit activity based logic synthesis for low power reliable operations. " IEEE Advanced Automatic test patternExpand
  • 1
  • PDF