Sciweavers

894 search results - page 57 / 179
» Optimizations for LTL Synthesis
Sort
View
125
Voted
TASLP
2008
90views more  TASLP 2008»
15 years 15 days ago
Efficient Realization of Wave Digital Components for Physical Modeling and Sound Synthesis
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
Matti Karjalainen
AEI
1999
134views more  AEI 1999»
15 years 8 days ago
Automatic design synthesis with artificial intelligence techniques
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
Francisco J. Vico, Francisco J. Veredas, Jos&eacut...
VLSID
2002
IEEE
99views VLSI» more  VLSID 2002»
16 years 29 days ago
Input Space Adaptive Embedded Software Synthesis
This paper presents a novel technique, called input space adaptive software synthesis, for the energy and performance optimization of embedded software. The proposed technique is ...
Weidong Wang, Anand Raghunathan, Ganesh Lakshminar...
87
Voted
DAC
2009
ACM
16 years 1 months ago
Handling don't-care conditions in high-level synthesis and application for reducing initialized registers
Don't-care conditions provide additional flexibility in logic synthesis and optimization. However, most work only focuses on the gate level because it is difficult to handle ...
Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo
ICCAD
2001
IEEE
217views Hardware» more  ICCAD 2001»
15 years 9 months ago
ASF: A Practical Simulation-Based Methodology for the Synthesis of Custom Analog Circuits
: This paper describes ASF, a novel cell-level analog synthesis framework that can size and bias a given circuit topology subject to a set of performance objectives and a manufactu...
Michael Krasnicki, Rodney Phelps, James R. Hellums...