Sciweavers

242 search results - page 1 / 49

» Verification via Structure Simulation

9

CAV
2004
Springer

96views Hardware» more CAV 2004»

Verification via Structure Simulation

13 years 8 months ago

Verification via Structure Simulation

Download www.cs.tau.ac.il

Neil Immerman, Alexander Moshe Rabinovich, Thomas ...

claim paper

Read More »

11

ICCAD
1995
IEEE

76views Hardware» more ICCAD 1995»

Design verification via simulation and automatic test pattern generation

13 years 8 months ago

Design verification via simulation and automatic test pattern generation

Download www.ece.ucdavis.edu

Hussain Al-Asaad, John P. Hayes

claim paper

Read More »

11

TACAS
2004
Springer

85views Algorithms» more TACAS 2004»

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

13 years 9 months ago

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

Download www.info.ucl.ac.be

A. E. Lindsey, Charles Pecheur

claim paper

Read More »

13

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

14 years 4 months ago

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

Download www.cs.wisc.edu

Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...

claim paper

Read More »

12

EURODAC
1995
IEEE

180views VHDL» more EURODAC 1995»

Integration of VHDL into a system design environment

13 years 8 months ago

Integration of VHDL into a system design environment

Download www.cs.york.ac.uk

Verification of image processing systems is mainly done on the basis of image sequence simulations. To achieve high simulation efficiency, our compiled code simulator MSIPC offers...

Ludwig Schwoerer, Matthias Lück, Hartmut Schr...

claim paper

Read More »

« Prev « First page 1 / 49 Last » Next »