4359 search results - page 597 / 872 » Automated Pipeline Design |
155
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
110
Voted
DAC
1998
ACM
16 years 7 months ago
1998
ACM
161
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
160
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
160
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
This paper presents a synthesis tool ICEBERG for embedded in-circuit emulators (ICE's), that are part of the development environment for microcontroller (or microprocessor)-b...