Sciweavers

894 search results - page 32 / 179
» Optimizations for LTL Synthesis
Sort
View
93
Voted
GLVLSI
2003
IEEE
139views VLSI» more  GLVLSI 2003»
15 years 10 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 9 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 8 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...