Sciweavers

339 search results - page 10 / 68
» Hardware Synthesis for Multi-Dimensional Time
Sort
View
82
Voted
ATVA
2007
Springer
111views Hardware» more  ATVA 2007»
15 years 6 months ago
Timed Control with Observation Based and Stuttering Invariant Strategies
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
Franck Cassez, Alexandre David, Kim Guldstrand Lar...
89
Voted
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
15 years 4 months ago
Decomposition of timed decision tables and its use in presynthesis optimizations
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
Jian Li, Rajesh K. Gupta
ICCAD
1999
IEEE
125views Hardware» more  ICCAD 1999»
15 years 4 months ago
Direct synthesis of timed asynchronous circuits
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
Sung Tae Jung, Chris J. Myers
ASPDAC
2009
ACM
127views Hardware» more  ASPDAC 2009»
15 years 6 months ago
Timing driven power gating in high-level synthesis
- The power gating technique is useful in reducing standby leakage current, but it increases the gate delay. For a functional unit, its maximum allowable delay (for a target clock ...
Shih-Hsu Huang, Chun-Hua Cheng
100
Voted
ACSD
2010
IEEE
239views Hardware» more  ACSD 2010»
14 years 10 months ago
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths
Self-timed circuits present an attractive solution to the problem of process variation. However, implementing selftimed combinational logic can be complex and expensive. This pape...
W. B. Toms, David A. Edwards