A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder o

@inproceedings{Russinoff2000ACS,
  title={A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder o},
  author={David M. Russinoff},
  year={2000}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 28 CITATIONS

Automatic formal verification of fused-multiply-add FPUs

  • Design, Automation and Test in Europe
  • 2005
VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A flexible formal verification framework for industrial scale validation

  • Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)
  • 2011
VIEW 3 EXCERPTS
CITES BACKGROUND

Similar Papers

Loading similar papers…