ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents methods for efficient power minimization at circuit and micro-architectural levels. The potential energy savings are strongly related to the energy profile of ...
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
– In this paper we present multi-objective hMetis partitioning for simultaneous cutsize and circuit delay minimization. We change the partitioning process itself by introducing a...
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...