Search Sciweavers | Sciweavers

2488 search results - page 48 / 498

» An improvement in formal verification

click to vote

ICCD
1996
IEEE

83views Hardware» more ICCD 1996»

The use of random simulation in formal verification

14 years 2 months ago

Download www.cadence.com

Florian Krohm, Andreas Kuehlmann, Arjen Mets

claim paper

Read More »

click to vote

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

14 years 2 months ago

Download www4.comp.polyu.edu.hk

Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

159views VHDL» more EURODAC 1994»

Formal verification of behavioral VHDL specifications: a case study

14 years 2 months ago

Download www.cecs.uci.edu

Felix Nicoli, Laurence Pierre

claim paper

Read More »

click to vote

ICCAD
1994
IEEE

70views Hardware» more ICCAD 1994»

Iterative algorithms for formal verification of embedded real-time systems

14 years 2 months ago

Download www.cs.york.ac.uk

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

click to vote

CAV
1990
Springer

114views Hardware» more CAV 1990»

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

14 years 2 months ago

Download www.cs.cmu.edu

Ternary system modeling involves extending the traditional set of binary values

Randal E. Bryant, Carl-Johan H. Seger

claim paper

Read More »

« Prev « First page 48 / 498 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers