Sciweavers

894 search results - page 19 / 179
» Optimizations for LTL Synthesis
Sort
View
ASPDAC
2007
ACM
116views Hardware» more  ASPDAC 2007»
15 years 2 months ago
Safe Delay Optimization for Physical Synthesis
-- Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the final result, often by neg...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
DATE
2000
IEEE
142views Hardware» more  DATE 2000»
15 years 3 months ago
Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs
Traditional FPGA design flows have treated logic synthesis and physical design as separate steps. With the recent advances in technology, the lack of information on the physical ...
Balakrishna Kumthekar, Fabio Somenzi
82
Voted
ICCAD
1995
IEEE
88views Hardware» more  ICCAD 1995»
15 years 2 months ago
LOT: logic optimization with testability-new transformations using recursive learning
: A new approach to optimize multi-level logic circuits is introduced. Given a multi-level circuit, the synthesis method optimizes its area, simultaneously enhancing its random pat...
Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang K...
83
Voted
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 4 months ago
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
1 We present an approach to schedulability analysis for the synthesis of multi-cluster distributed embedded systems consisting of timetriggered and event-triggered clusters, interc...
Paul Pop, Petru Eles, Zebo Peng
DATE
2005
IEEE
111views Hardware» more  DATE 2005»
15 years 26 days ago
MINLP Based Topology Synthesis for Delta Sigma Modulators Optimized for Signal Path Complexity, Sensitivity and Power Consumptio
This paper proposes a novel architecture synthesis algorithm for single-loop single-bit ∆Σ modulators. We defined a generic modulator architecture and derived its noise and si...
Hua Tang, Ying Wei, Alex Doboli