Modular Verification of SRT Division (1996)

Cached

Download Links

by Harald Ruess Ruess
Citations:16 - 1 self

Active Bibliography

11 Modular Verification of SRT Division – H. Rueß, N. Shankar, M. K. Srivas - 1996
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study – Harald Rueß - 1996
17 Acceptance of Formal Methods: Lessons from Hardware Design – David L. Dill , John Rushby - 1996
Design Structures for Formally Verified Floating Point Units – James F. Leathrum, Jr., Paul S. Miner - 1997
11 Verification of IEEE Compliant Subtractive Division Algorithms – Paul S. Miner, James F. Leathrum, Jr. - 1996
3 Mechanized Formal Methods: Progress and Prospects – John Rushby - 1996
Pentium Bug Verification – Jagannath Aghav, J V Aghav, R K Shyamasundar - 1999
3 On the Limitations of Ordered Representations of Functions – Jayram S. Thathachar - 1997
5 STRUCTURAL EMBEDDINGS: MECHANIZATION WITH METHOD – César Muñoz, John Rushby - 1999
An Overview of Deductive Verification Technology – N. Shankar, Sponsored Arpa, Contract No. A, Afosr Under - 1997
11 Formal Verification of the VAMP Floating Point Unit – Christoph Berg, Christian Jacobi - 2001
Theorem Proving Support for . . . – Deepak Kapur - 2000
23 Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking – Yirng-an Chen, Edmund Clarke, Pei-Hsin Ho, Yatin Hoskote, Timothy Kam, Manpreet Khaira, John O'Leary, Xudong Zhao - 1996
19 Formal Hardware Verification By Symbolic Trajectory Evaluation – Alok Jain - 1997
4 Rewriting, decision procedures and lemma speculation for automated hardware verification – Deepak Kapur - 1997
8 Verification of Floating-Point Adders – Yirng-An Chen , Randal E. Bryant - 1998
8 Formal Verification of Iterative Algorithms in Microprocessors – Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger - 2000
5 Mechanizing Verification of Arithmetic Circuits: SRT Division – Deepak Kapur, M. Subramaniam - 1997
68 ACL2 Theorems about Commercial Microprocessors – Bishop Brock, Matt Kaufmann, J. Strother Moore - 1996