894 search results - page 99 / 179 » Optimizations for LTL Synthesis |
119
click to vote
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
We address the problem of minimizing power consumption in behavioral synthesis of data-dominated circuits. The complex nature of power as a cost function implies that the effects ...
104
Voted
INTEGRATION
2006
15 years 21 days ago
2006
In the context of physical synthesis, large-scale standard-cell placement algorithms must facilitate incremental changes to layout, both local and global. In particular, flexible ...
95
Voted
DATE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—On-chip interconnection network is a crucial design component in high-performance System-on-Chips (SoCs). Many of previous works have focused on the automation of its to...
134
Voted
CAIP
2009
Springer
14 years 10 months ago
2009
Springer
This paper describes a method for seamless enlargement or editing of difficult colour textures containing simultaneously both regular periodic and stochastic components. Such textu...
127
click to vote
EMSOFT
2011
Springer
14 years 13 days ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...