Formal Verification: An Essential Toolkit for Modern VLSI Design

Formal Verification: An Essential Toolkit for Modern VLSI Design

by Erik Seligman
  • List Price: $99.95
  • ISBN-10: 0128007273
  • ISBN-13: 9780128007273
  • Edition: 1st
  • Type: Paperback
  • Publisher: Morgan Kaufmann

About The Book

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help... Read more

FINDING THE BEST PRICES

Related Books

The Design Collection Revealed: Adobe InDesign CS5,...
  • Year: 2010
  • Edition: 1st
  • Publisher: Cengage Learning
  • Type: Paperback
  • ISBN13: 9781111130619
  • ISBN: 1111130612
Thinking with Type, 2nd revised and expanded edition: A...
  • Year: 2010
  • Edition: 2nd
  • Publisher: Princeton Architectural Press
  • Type: Paperback
  • ISBN13: 9781568989693
  • ISBN: 1568989695
Design Writing Research
  • Year: 1999
  • Edition:
  • Publisher: Phaidon Press
  • Type: Paperback
  • ISBN13: 9780714838519
  • ISBN: 0714838519