143
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
-- In this work we propose a new error-correction framework, called CoR
169
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
-- Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the final result, often by neg...
152
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract - This paper presents a fast and accurate global routing algorithm, DpRouter, based on two efficient techniques: (1) dynamic pattern routing (Dpr), and (2) segment movemen...
135
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...