Sciweavers

261 search results - page 15 / 53
» Ten CAD Challenges
Sort
View
DATE
2004
IEEE
82views Hardware» more  DATE 2004»
14 years 1 months ago
Managing Don't Cares in Boolean Satisfiability
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler...
DAC
2004
ACM
14 years 10 months ago
Compact thermal modeling for temperature-aware design
Thermal design in sub-100nm technologies is one of the major challenges to the CAD community. In this paper, we first introduce the idea of temperature-aware design. We then propo...
Wei Huang, Mircea R. Stan, Kevin Skadron, Karthik ...
ICCAD
2007
IEEE
153views Hardware» more  ICCAD 2007»
14 years 6 months ago
Checking equivalence of quantum circuits and states
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a special place. QC offers not only extremely small size and low power, but also expon...
George F. Viamontes, Igor L. Markov, John P. Hayes
COMPGEOM
2009
ACM
14 years 4 months ago
On the topology of planar algebraic curves
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
Jinsan Cheng, Sylvain Lazard, Luis Mariano Pe&ntil...
CAD
2002
Springer
13 years 9 months ago
Product variety optimization under modular architecture
This paper discusses product variety design under optimization viewpoint. Product variety design means the challenge to simultaneously design multiple products toward higher optim...
Kikuo Fujita