Integrating RAM and disk based verification within the Murφ verifier

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2860, Issue , 2003, Pages 277-282

  Della Penna, Giuseppe ^a   Intrigila, Benedetto ^a   Melatti, Igor ^a   Tronci, Enrico ^b   Venturini Zilli, Marisa ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN;

DISK-BASED; INTEGRATED ALGORITHM; VERIFICATION ALGORITHMS;

ALGORITHMS;

EID: 0142152295     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39724-3_25     Document Type: Article

References (9)

1. url: http://sprout.stanford.edu/dill/murphi.html.
2. G. Della Penna, B. Intrigila, E. Tronci, and M. Venturini Zilli. Exploiting transition locality in the disk based murφ verifier. In Proc. of 4th International Conference on "Formal Methods in Computer Aided Verification" (FMCAD), LNCS, Portland, Oregon, USA, Nov 2002. Springer.
3. J. V. Sanghavi, R. K. Ranjan, R. K. Brayton, and A. Sangiovanni-Vincentelli. High performance bdd package by exploiting memory hierarchy. In 33rd IEEE Design Automation Conference, 1996.
4. U. Stern and D. Dill. Parallelizing the murφ verifier. In Proc. 9th Int. Conference on: Computer Aided Verification, volume 1254, pages 256-267, Haifa, Israel, 1997. LNCS, Springer.
5. U. Stern and D. Dill. Using magnetic disk instead of main memory in the murφ verifier. In Proc. 10th Int. Conference on: Computer Aided Verification, volume 1427, pages 172-183, Vancouver, BC, Canada, 1998. LNCS, Springer.
6. U. Stern and D. L. Dill. Improved probabilistic verification by hash compaction. In IFIP WG 10.5 Advanced Research Working Conference on: Correct Hardware Design and Verification Methods (CHARME), pages 206-224, 1995.
7. url: http://verify.stanford.edu/uli/research.html.
8. T. Stornetta and F. Brewer. Implementation of an efficient parallel bdd package. In 33rd IEEE Design Automation Conference, pages 641-644, 1996.
9. E. Tronci, G. Della Penna, B. Intrigila, and M. Venturini Zilli. Exploiting transition locality in automatic verification. In IFIP WG 10.5 Advanced Research Working Conference on: Correct Hardware Design and Verification Methods (CHARME). LNCS, Springer, Sept 2001.