DMCA

A methodology for large-scale hardware verification (2000)

Cached

Download Links

by Mark D. Aagaard , Robert B. Jones , Thomas F. Melham , John W. O’leary , Carl-johan H. Seger
Venue:Formal Methods in Computer-Aided Design: 3rd International Conference, FMCAD, volume 1954 of LNCS
Citations:16 - 4 self