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

Adobe Illustrator CS5 Classroom in a Book
  • Year: 2010
  • Edition: 1st
  • Publisher: Adobe Press
  • Type: Paperback
  • ISBN13: 9780321701787
  • ISBN: 032170178X
The Design Collection Revealed: Adobe InDesign CS5,...
  • Year: 2010
  • Edition: 1st
  • Publisher: Cengage Learning
  • Type: Paperback
  • ISBN13: 9781111130619
  • ISBN: 1111130612
Adobe InDesign CS5 Classroom in a Book
  • Year: 2010
  • Edition: 1st
  • Publisher: Adobe Press
  • Type: Paperback
  • ISBN13: 9780321701794
  • ISBN: 0321701798