10718 search results - page 209 / 2144 » On the Circuit Implementation Problem |
158
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
: In this paper, we investigate the problem of routing lightpaths on an arbitrary physical topology following a Design Protection approach, such that virtual topology remains conne...
132
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
115
Voted
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
The wire length estimation is the bottleneck of packing based block placers. To cope with this problem, we present a fast wire length estimation method in this paper. The key idea...
115
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
134
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Low-power design became crucial with the widespread use of the embedded systems, where a small battery has to last for a long period. The embedded processors need to efï¬...