163
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
In this work we improve top-down min-cut placers in the context of timing closure. Using the concept of boosting factors, we adjust net weights according to net spans, so as to re...
292
Voted
GLVLSI
2009
IEEE
15 years 3 months ago
2009
IEEE
157
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
177
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
199
click to vote
ISQED
2002
IEEE
15 years 5 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...