Search Sciweavers | Sciweavers

116 search results - page 3 / 24

» Sequential Verification of Serializability

click to vote

DAC
2000
ACM

104views Computer Architecture» more DAC 2000»

Optimizing sequential verification by retiming transformations

13 years 10 months ago

Download www.cs.york.ac.uk

Gianpiero Cabodi, Stefano Quer, Fabio Somenzi

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

115views VHDL» more EURODAC 1994»

Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path

13 years 10 months ago

Download es.cs.uni-kl.de

Klaus Schneider, Thomas Kropf, Ramayya Kumar

claim paper

Read More »

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

13 years 10 months ago

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

click to vote

ICCAD
1990
IEEE

51views Hardware» more ICCAD 1990»

A Unified Framework for the Formal Verification of Sequential Circuits

13 years 10 months ago

Download www.ece.ucsb.edu

Olivier Coudert, Jean Christophe Madre

claim paper

Read More »

click to vote

DATE
2004
IEEE

79views Hardware» more DATE 2004»

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers