Search Sciweavers | Sciweavers

5707 search results - page 6 / 1142

» Symbolic Simulation - Techniques and Applications

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 9 months ago

Download mtv.ece.ucsb.edu

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

claim paper

Read More »

114

click to vote

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

15 years 8 months ago

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

click to vote

DAC
1999
ACM

122views Computer Architecture» more DAC 1999»

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits

15 years 8 months ago

Download www.cecs.uci.edu

Valeria Bertacco, Maurizio Damiani, Stefano Quer

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

84views VLSI» more GLVLSI 1999»

Blending Symbolic Matrix and Dimensional Numerical Simulation Methodology for Mechatronics Systems

15 years 8 months ago

Download www.cecs.uci.edu

Robert L. Ewing

claim paper

Read More »

136

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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers