Sciweavers

894 search results - page 32 / 179
» Optimizations for LTL Synthesis
Sort
View
GLVLSI
2003
IEEE
139views VLSI» more  GLVLSI 2003»
15 years 4 months ago
Bounding the efforts on congestion optimization for physical synthesis
Davide Pandini, Lawrence T. Pileggi, Andrzej J. St...
ICCAD
1996
IEEE
81views Hardware» more  ICCAD 1996»
15 years 3 months ago
Logic optimization by output phase assignment in dynamic logic synthesis
Ruchir Puri, Andrew Bjorksten, Thomas E. Rosser
ASAP
1997
IEEE
92views Hardware» more  ASAP 1997»
15 years 2 months ago
Optimized software synthesis for synchronous dataflow
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward...