Search Sciweavers | Sciweavers

2488 search results - page 47 / 498

» An improvement in formal verification

146

click to vote

CAV
1998
Springer

86views Hardware» more CAV 1998»

Formal Verification of Out-of-Order Execution Using Incremental Flushing

15 years 10 months ago

Download verify.stanford.edu

We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...

Jens U. Skakkebæk, Robert B. Jones, David L....

claim paper

Read More »

141

click to vote

VLSID
1997
IEEE

173views VLSI» more VLSID 1997»

Formal Verification of Digital Systems

15 years 10 months ago

Download www.math.fu-berlin.de

Gitanjali Swamy

claim paper

Read More »

107

click to vote

DAC
1997
ACM

64views Computer Architecture» more DAC 1997»

Formal Verification in a Commercial Setting

15 years 10 months ago

Download www.cerc.utexas.edu

Robert P. Kurshan

claim paper

Read More »

click to vote

DAC
1997
ACM

89views Computer Architecture» more DAC 1997»

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation

15 years 10 months ago

Download www.cs.york.ac.uk

Manish Pandey, Richard Raimi, Randal E. Bryant, Ma...

claim paper

Read More »

136

click to vote

GLVLSI
1996
IEEE

91views VLSI» more GLVLSI 1996»

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers