Hardware Verification Using . . .

Hardware Verification Using . . . (1998)

by Paul S. Miner

@MISC{Miner98hardwareverification,
    author = {Paul S. Miner},
    title = {Hardware Verification Using . . . },
    year = {1998}
}

2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
488	L.J.: Symbolic model checking: 10 20 states and beyond - Burch, Clarke, et al. - 1992
214	Symbolic model checking for sequential circuit verification - Burch - 1994
87	Vicious circles - Barwise, Moss - 1996
66	ACL2 theorems about commercial microprocessors - Brock, Kaufmann, et al. - 1996
48	On Shostak's Decision Procedure for Combinations of Theories - Cyrluk, Lincoln, et al. - 1996
41	Automatic veri cation of nite-state concurrent systems using temporal-logic speci cations - Clarke, Emerson, et al. - 1986
38	Non-well-founded Sets. Number 14 - Aczel - 1988
20	Verifying the SRT division algorithm using theorem proving techniques - Clarke, German, et al. - 1996
17	DDD - A Transformation system for Digital Design Derivation - Bose
13	The Scheme machine - Burger - 1994
9	Machine checked proofs of the design and implementation of a fault-tolerant circuit - Bevier, Young - 1990
5	DDD-FM9001: Derivation of a veri ed microprocessor. an exercise in integrating veri cation with formal derivation - Bose, Johnson - 1993
1	Validitychecking for combinations of theories with equality - Barrett, Dill, et al. - 1996
1	Formal veri cation of pipelines based on string-functional semantics - Bronstein, Talcott - 1990
1	A tutorial on digital design derivation using DRS - Choppella - 1996