Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking (1996)

Cached

Download Links

by Yirng-an Chen , Edmund Clarke , Pei-Hsin Ho , Yatin Hoskote , Timothy Kam , Manpreet Khaira , John O'Leary , Xudong Zhao
Venue:In Proceedings of the Formal Methods on Computer-Aided Design
Citations:23 - 7 self