Search Sciweavers | Sciweavers

5707 search results - page 6 / 1142

» Symbolic Simulation - Techniques and Applications

104

click to vote

ITC
2002
IEEE

84views Hardware» more ITC 2002»

Combining ATPG and Symbolic Simulation for Efficient Validation of Embedded Array Systems

15 years 10 months ago

Download mtv.ece.ucsb.edu

Ganapathy Parthasarathy, Madhu K. Iyer, Tao Feng, ...

claim paper

Read More »

130

click to vote

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

15 years 10 months ago

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

112

click to vote

DAC
1999
ACM

122views Computer Architecture» more DAC 1999»

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits

15 years 10 months ago

Download www.cecs.uci.edu

Valeria Bertacco, Maurizio Damiani, Stefano Quer

claim paper

Read More »

104

click to vote

GLVLSI
1999
IEEE

84views VLSI» more GLVLSI 1999»

Blending Symbolic Matrix and Dimensional Numerical Simulation Methodology for Mechatronics Systems

15 years 10 months ago

Download www.cecs.uci.edu

Robert L. Ewing

claim paper

Read More »

158

click to vote

ASIAN
1997
Springer

81views Algorithms» more ASIAN 1997»

Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers