Sciweavers

479 search results - page 8 / 96
» Transformational Placement and Synthesis
Sort
View
ISPD
1997
ACM
75views Hardware» more  ISPD 1997»
13 years 12 months ago
Preserving HDL synthesis hierarchy for cell placement
Yu-Wen Tsay, Wen-Jong Fang, Allen C.-H. Wu, Youn-L...
DAC
2004
ACM
13 years 11 months ago
Quadratic placement using an improved timing model
The performance of timing-driven placement methods depends strongly on the choice of the net model. In this paper a more precise net model is presented that does not increase nume...
Bernd Obermeier, Frank M. Johannes
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
13 years 11 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...
MR
2006
72views Robotics» more  MR 2006»
13 years 7 months ago
A reliability-driven placement procedure based on thermal-force model
This paper deals with placing chips on an MCM substrate in chip array style for minimizing the system failure rate. The placement procedure begins with constructing an initial pla...
Jing Lee