1176 search results - page 130 / 236 » Implicit Abstraction Heuristics |
98
Voted
ASPDAC
2000
ACM
15 years 5 months ago
2000
ACM
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...
90
Voted
EUROPAR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...
90
Voted
IFM
1999
Springer
15 years 5 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
112
click to vote
ICCAD
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract Althoughtremendousadvanceshave been accomplished in logic synthesis in the past two decades, in some cases logic synthesis still cannot attain the improvements possible by...
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...