3984 search results - page 695 / 797 » A Model-Driven Transformation Method |
170
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
120
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
127
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...
153
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
103
click to vote
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
In a typical VLSI/PCB design, some modules are pre-placed in advance, and the other modules are requested to be placed without overlap with these pre-placed modules. The presence ...