MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Automatic Data Path Abstraction for Verification of Large Scale Designs (1998) [5 citations — 0 self]

Download:
Download as a PDF | Download as a PS
by Viresh Paruthi, Nazanin Mansouri, Ranga Vemuri
Proc. of the ICCD
http://www.ece.uc.edu/~ddel/publications/paruthi-iccd-98-submitted.ps
Add To MetaCart

Abstract:

All appropriate clearances for the publication of this paper have been obtained, and if accepted the authors will prepare the final manuscript in time for inclusion in the Conference Proceedings and will

Citations

116 Expressing interesting properties of programs in propositional temporal logic – Wolper - 1986
111 Verification tools for finite-state concurrent systems – Clarke, Grumberg, et al. - 1994
86 Model checking, abstraction and compositional verification – Long - 1993
80 Formal Hardware Verification Methods: A Survey”, Journal of Formal Methods – Gupta - 1992
40 Abstraction mechanisms for hardware verification – Melham - 1988
30 A generalized interval arithmetic – Hansen - 1975
28 Automatic datapath abstraction in hardware systems – Hojati, Brayton - 1995
16 Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic – Melham - 1990
12 The smv system – draft – McMillan - 1992
3 and Ranga Vemuri, "Performance Verification Using PDL and Constraint Satisfaction – Bradley - 1995
1 Claesen and H.De Man. "On the Use of Boyer-Moore Theorem Prover for Correctness Proofs of Parametrized Hardware Modules – Verkest, L - 1990
1 Ranga Vemuri. "Transformations for Functional Verification of Synthesized Designs – Bradley - 1995
View or Download | Add to My Collection | Correct Errors