Chapter

Computer Aided Verification

Volume 1102 of the series Lecture Notes in Computer Science pp 428-432

Date:

VIS: A system for verification and synthesis

  • Robert K. BraytonAffiliated withDepartment of EECS, University of California
  • , Gary D. HachtelAffiliated withDepartment of Electrical and Computer Engineering, University of Colorado
  • , Alberto Sangiovanni-VincentelliAffiliated withDepartment of EECS, University of California
  • , Fabio SomenziAffiliated withDepartment of Electrical and Computer Engineering, University of Colorado
  • , Adnan AzizAffiliated withDepartment of EECS, University of California
  • , Szu -Tsung ChengAffiliated withDepartment of EECS, University of California
  • , Stephen EdwardsAffiliated withDepartment of EECS, University of California
  • , Sunil KhatriAffiliated withDepartment of EECS, University of California
  • , Yuji KukimotoAffiliated withDepartment of EECS, University of California
    • , Abelardo PardoAffiliated withDepartment of Electrical and Computer Engineering, University of Colorado
    • , Shaz QadeerAffiliated withDepartment of EECS, University of California
    • , Rajeev K. RanjanAffiliated withDepartment of EECS, University of California
    • , Shaker SarwaryAffiliated withLattice Semiconductor
    • , Thomas R. StapleAffiliated withDepartment of EECS, University of California
    • , Gitanjali SwamyAffiliated withDepartment of EECS, University of California
    • , Tiziano VillaAffiliated withDepartment of EECS, University of California

* Final gross prices may vary according to local VAT.

Get Access