Search Sciweavers | Sciweavers

2488 search results - page 47 / 498

» An improvement in formal verification

click to vote

CAV
1998
Springer

86views Hardware» more CAV 1998»

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

14 years 2 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 »

click to vote

VLSID
1997
IEEE

173views VLSI» more VLSID 1997»

Formal Verification of Digital Systems

14 years 2 months ago

Download www.math.fu-berlin.de

Gitanjali Swamy

claim paper

Read More »

click to vote

DAC
1997
ACM

64views Computer Architecture» more DAC 1997»

Formal Verification in a Commercial Setting

14 years 2 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

14 years 2 months ago

Download www.cs.york.ac.uk

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

claim paper

Read More »

click to vote

GLVLSI
1996
IEEE

91views VLSI» more GLVLSI 1996»

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers