Formal Verification: An Essential Toolkit for Modern VLSI Design

0 avg rating
( 0 ratings by Goodreads )
 
9780128007273: Formal Verification: An Essential Toolkit for Modern VLSI Design
View all copies of this ISBN edition:
 
 

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.

  • Learn formal verification algorithms to gain full coverage without exhaustive simulation
  • Understand formal verification tools and how they differ from simulation tools
  • Create instant test benches to gain insight into how models work and find initial bugs
  • Learn from Intel insiders sharing their hard-won knowledge and solutions to complex design problems

"synopsis" may belong to another edition of this title.

About the Author:

Erik has worked at Intel Corporation in Hillsboro, Oregon for over two decades, in a variety of positions involving software, design, simulation, and formal verification. Currently he works in the Design Technology and Solutions division, where he supports formal verification usage for Intel teams worldwide. In his spare time he hosts the “Math Mutation podcast, and serves as an elected director on the Hillsboro school board.

Tom recently joined the Electrical and Computer Engineering faculty at Portland State University and directs a graduate track in Design Verification and Validation. Previously, he was at Intel Corporation for 17 years in Hillsboro, Oregon, where he managed Intel's largest pre-silicon validation formal verification team develop and apply FPV techniques on multiple generations of microprocessor designs. Tom received a PhD in Computer Science from the University of California, Davis.

Kiran has been working at intel India for past 11 years and has worked in various areas of the chip design cycle which includes RTL design, structural design, circuit design, simulation and various levels of verification including formal verification. Currently he leads the formal verification efforts for the graphics design in Visual Platform Group and supports formal verification at intel india site.

Review:

"...the authors thoroughly expressed their practical knowledge of this complex, and misunderstood topic, in an easy to read presentation...I strongly recommend this book to design and verification engineers who are contemplating, or are currently using formal verification..." --VerificationAcademy.com

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 99.95
US$ 78.37

Convert currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Erik Seligman, M. V. Achutha Kiran Kumar, Tom Schubert
Published by ELSEVIER SCIENCE & TECHNOLOGY, United States (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE & TECHNOLOGY, United States, 2015. Paperback. Condition: New. Language: English. Brand new Book. Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity. Seller Inventory # EOD9780128007273

More information about this seller | Contact this seller

Buy New
US$ 78.37
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Erik Seligman, M. V. Achutha Kiran Kumar, Tom Schubert
Published by ELSEVIER SCIENCE & TECHNOLOGY, United States (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE & TECHNOLOGY, United States, 2015. Paperback. Condition: New. Language: English. Brand new Book. Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity. Seller Inventory # AAU9780128007273

More information about this seller | Contact this seller

Buy New
US$ 83.83
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Erik Seligman, M. V. Achutha Kiran Kumar, Tom Schubert
Published by ELSEVIER SCIENCE & TECHNOLOGY, United States (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 1
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE & TECHNOLOGY, United States, 2015. Paperback. Condition: New. Language: English. Brand new Book. Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity. Seller Inventory # AAU9780128007273

More information about this seller | Contact this seller

Buy New
US$ 89.31
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Erik Seligman
Published by Morgan Kaufmann (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Softcover Quantity Available: 1
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 2015. Condition: New. book. Seller Inventory # ria9780128007273_rkm

More information about this seller | Contact this seller

Buy New
US$ 84.45
Convert currency

Add to Basket

Shipping: US$ 5.10
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Erik Seligman
Published by Elsevier Science & Technology
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 1
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Elsevier Science & Technology. Paperback. Condition: New. New copy - Usually dispatched within 2 working days. Seller Inventory # B9780128007273

More information about this seller | Contact this seller

Buy New
US$ 80.76
Convert currency

Add to Basket

Shipping: US$ 9.15
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
Published by Morgan Kaufmann
ISBN 10: 0128007273 ISBN 13: 9780128007273
New PAPERBACK Quantity Available: 1
Seller:
WFL
(Holtsville, NY, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann. PAPERBACK. Condition: New. 0128007273 Brand New ,Original Book , Direct from Source , Express 6-8 business days worldwide delivery. Seller Inventory # RB#BH146856

More information about this seller | Contact this seller

Buy New
US$ 88.03
Convert currency

Add to Basket

Shipping: US$ 4.90
Within U.S.A.
Destination, rates & speeds

7.

Seligman, Erik
Published by Morgan Kaufmann (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 1
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 2015. PAP. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # BB-9780128007273

More information about this seller | Contact this seller

Buy New
US$ 82.03
Convert currency

Add to Basket

Shipping: US$ 11.87
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Kumar, M. V. Achutha Kiran, Schubert, Tom, Seligman, Erik
Published by Morgan Kaufmann Publishers In (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 1
Seller:
The Monster Bookshop
(Fleckney, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann Publishers In, 2015. Paperback. Condition: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE. Seller Inventory # mon0001625615

More information about this seller | Contact this seller

Buy New
US$ 90.04
Convert currency

Add to Basket

Shipping: US$ 5.26
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

Seligman, Erik, Schubert, Tom, Kumar, M V Achutha Kiran
Published by Morgan Kaufmann (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Softcover First Edition Quantity Available: 1
Rating
[?]

Book Description Morgan Kaufmann, 2015. Condition: New. Num Pages: 408 pages. BIC Classification: TJFC; UMZT. Category: (P) Professional & Vocational. Dimension: 237 x 193 x 26. Weight in Grams: 822. . 2015. 1st Edition. Paperback. . . . . . Seller Inventory # V9780128007273

More information about this seller | Contact this seller

Buy New
US$ 98.92
Convert currency

Add to Basket

Shipping: FREE
From Ireland to U.S.A.
Destination, rates & speeds

10.

Seligman, Erik, Schubert, Tom, Kumar, M V Achutha Kiran
Published by Morgan Kaufmann
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Softcover Quantity Available: 1
Seller:
Kennys Bookstore
(Olney, MD, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann. Condition: New. Num Pages: 408 pages. BIC Classification: TJFC; UMZT. Category: (P) Professional & Vocational. Dimension: 237 x 193 x 26. Weight in Grams: 822. . 2015. 1st Edition. Paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780128007273

More information about this seller | Contact this seller

Buy New
US$ 100.42
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book