Introduction to the Special Issue on Verification of Arithmetic Hardware

Authors:
Steven M. German
Affiliations:
IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598
Venue:
Formal Methods in System Design
Year:
1999

Citing 0
Cited 2

A precision- and range-independent tool for testing floating-point arithmetric I: basic operations, square root, and remainder

ACM Transactions on Mathematical Software (TOMS)
Self-referential verification of gate-level implementations of arithmetic circuits

Proceedings of the 39th annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract