Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach.

Roger B. Hughes

Browse the full CAV paper archive.