Using PSL/Sugar with HDL for Formal and Dynamic Verification : Guide to Property Specification Language for Assertion-Based Verification

ISBN
9780970539465
$135.00
Author Cohen, Ben
Format Perfect
Details
  • Active Record
  • Individual Title
  • Books
  • 2003
  • 2003/11
  • Yes
  • Print