ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
ATVA
2009
Springer
14 years 21 days ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Abstract-- Process scaling and higher leakage power have resulted in increased power densities and elevated die temperatures. Due to the interdependence of temperature and leakage ...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
- For modern processor designs in nanometer technologies, both block and interconnect pipelining are needed to achieve multi-gigahertz clock frequency, but previous approaches cons...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Because of the increasing dominance of interconnect issues in advanced IC technology, it is desirable to incorporate global routing into early design stages to get accurate interco...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Abstract-- The increasing processing power of embedded devices have created the scope for certain applications that could previously be executed in desktop environments only, to mi...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
- The power dissipation (PT) and delay time (tdT) of a CMOS clock driver were minimized. Eight test circuits, each of which has 2 two-stage clock drivers, and a register array were...