Abstraction Mechanisms for Hardware Verification (1987)

View PDF

Download Links

by Thomas Melham
Venue:VLSI Specification, Verification and Synthesis
Citations:40 - 0 self