Search Sciweavers | Sciweavers

2488 search results - page 48 / 498

» An improvement in formal verification

119

click to vote

ICCD
1996
IEEE

83views Hardware» more ICCD 1996»

The use of random simulation in formal verification

15 years 10 months ago

Download www.cadence.com

Florian Krohm, Andreas Kuehlmann, Arjen Mets

claim paper

Read More »

155

click to vote

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 10 months ago

Download www4.comp.polyu.edu.hk

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

claim paper

Read More »

156

click to vote

EURODAC
1994
IEEE

159views VHDL» more EURODAC 1994»

Formal verification of behavioral VHDL specifications: a case study

15 years 10 months ago

Download www.cecs.uci.edu

Felix Nicoli, Laurence Pierre

claim paper

Read More »

118

click to vote

ICCAD
1994
IEEE

70views Hardware» more ICCAD 1994»

Iterative algorithms for formal verification of embedded real-time systems

15 years 10 months ago

Download www.cs.york.ac.uk

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

124

click to vote

CAV
1990
Springer

114views Hardware» more CAV 1990»

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

15 years 10 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

Sciweavers