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

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.

Top Search Results from the AbeBooks Marketplace

1.

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. Book Condition: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE. Bookseller Inventory # mon0001625615

More Information About This Seller | Ask Bookseller a Question

Buy New
50.62
Convert Currency

Add to Basket

Shipping: 0.95
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
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. Book Condition: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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. Bookseller Inventory # EOD9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
59.30
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Erik Seligman
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 3
Seller
Book Storm
(HOUSTON, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Brand New books on affordable price.Shipping method: Standard & Expedite, Standard takes 7-8 and Expedited takes 4-6 working days. Due to the constantly changing USPS regulations regarding shipments to APO/FPO addresses we are not currently shipping. Bookseller Inventory # 0128007273-P07

More Information About This Seller | Ask Bookseller a Question

Buy New
59.40
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Seligman, Erik
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 2
Seller
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # AIND-66393

More Information About This Seller | Ask Bookseller a Question

Buy New
59.41
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

5.

Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
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. Book 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. Bookseller Inventory # AAZ9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
60.23
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

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. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # GB-9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
52.66
Convert Currency

Add to Basket

Shipping: 9
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

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

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 2015. Paperback. Book 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. Bookseller Inventory # AAZ9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
62.24
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Seligman, Erik
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 2
Seller
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Bookseller Inventory # AUSBNEW-66393

More Information About This Seller | Ask Bookseller a Question

Buy New
62.77
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

Erik Seligman; Tom Schubert; M V Achutha Kiran Kumar
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 1
Seller
BWB
(Valley Stream, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Depending on your location, this item may ship from the US or UK. Bookseller Inventory # 97801280072730000000

More Information About This Seller | Ask Bookseller a Question

Buy New
66.94
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

10.

SELIGMAN, ERIK; SCHUBERT, TOM; KUMAR, M V ACHUTHA KIRAN
Published by Morgan Kaufmann (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 10
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 2015. Paperback. Book Condition: NEW. 9780128007273 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0945877

More Information About This Seller | Ask Bookseller a Question

Buy New
61
Convert Currency

Add to Basket

Shipping: 8
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book