Advertisement

Formal verification of digital systems, from ASICs to HW/SW codesign — a pragmatic approach

  • Roger B. Hughes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1254)

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Roger B. Hughes
    • 1
  1. 1.VP Marketing & Technical SupportAbstract HardwareFremont

Personalised recommendations