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

14 years 14 days ago

Download mtv.ece.ucsb.edu

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

claim paper

Read More »

click to vote

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

13 years 12 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

13 years 12 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

13 years 12 months ago

Download www.cecs.uci.edu

Robert L. Ewing

claim paper

Read More »

click to vote

ASIAN
1997
Springer

81views Algorithms» more ASIAN 1997»

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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers