Design Structures for Formally Verified Floating Point Units (1997)

Cached

Download Links

by James F. Leathrum , Jr. , Paul S. Miner