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

Roger B. Hughes

Published in: CAV (1997)

Keyphrases

hw sw
embedded systems
formal verification
hardware software
automated verification
knowledge based systems
software systems
model checking
query processing
software engineering
programming language
distributed systems
efficient implementation
hardware and software