Applied Formal Verification

For Digital Circuit Design

by

  • Publisher: McGraw-Hill Education
  • Print ISBN: 9780071443722, 007144372X

  • eText ISBN: 9780071588898, 0071588892

  • Edition: 1st
  • Copyright year: 2005