894 search results - page 89 / 179 » Optimizations for LTL Synthesis |
92
Voted
ISLPED
2005
ACM
15 years 6 months ago
2005
ACM
Temperature is becoming a first rate design criterion in ASICs due to its negative impact on leakage power, reliability, performance, and packaging cost. Incorporating awareness o...
105
click to vote
ISCAS
2002
IEEE
15 years 5 months ago
2002
IEEE
A technique for computing the switching activity of synchronous Finite State Machine (FSM) implementations including the influence of temporal correlation among the next state si...
87
Voted
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
Memory-intensive behaviors often contain large arrays that are synthesized into off-chip memories. With the increasing gap between on-chip and off-chip memory access delays, it is...
92
Voted
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
101
click to vote
SIGGRAPH
1990
ACM
15 years 4 months ago
1990
ACM
The use of physically-based techniques for computer animation can result in realistic object motion. The price paid for physically-based motion synthesis lies in increased computa...