Author pages are created from data sourced from our academic publisher partnerships and public sources.
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 of… Expand
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 in… Expand
. " 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 pattern… Expand