Abstraction Mechanisms for Hardware Verification (1987)

Cached

Download Links

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