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 for working engineers integrating these techniques into their work.

Building on a basic knowledge of System Verilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. The text prepares readers to effectively introduce FV in their organization and deploy FV techniques to increase design and validation productivity.

  • Presents formal verification algorithms allowing users to gain full coverage without exhaustive simulation
  • Provides discussion of formal verification tools and how they differ from simulation tools
  • Teaches users how to glean insights into how models work to find initial bugs
  • Presents valuable information from an Intel insider who shares his hard-won knowledge and solutions to complex design problems

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

From the Back Cover:

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with handson 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 System Verilog, 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.

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.

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

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

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.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
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. 235 x 191 mm. 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. * 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. Bookseller Inventory # AAZ9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.79
Convert Currency

Add to Basket

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

2.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
Published by Elsevier Science & Technology 2015-08-11, San Francisco (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New paperback Quantity Available: 1
Seller
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Elsevier Science & Technology 2015-08-11, San Francisco, 2015. paperback. Book Condition: New. Bookseller Inventory # 9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.24
Convert Currency

Add to Basket

Shipping: US$ 5.42
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
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
US$ 58.32
Convert Currency

Add to Basket

Shipping: US$ 10.84
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
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. 235 x 191 mm. 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
US$ 69.44
Convert Currency

Add to Basket

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

5.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
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. Book Condition: new. BRAND NEW, Formal Verification: An Essential Toolkit for Modern VLSI Design, Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar, 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. Bookseller Inventory # B9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.20
Convert Currency

Add to Basket

Shipping: US$ 7.15
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
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
US$ 75.33
Convert Currency

Add to Basket

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

7.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 2
Seller
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Book Condition: New. New. US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Bookseller Inventory # ABE-190516-6551

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 76.18
Convert Currency

Add to Basket

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

8.

Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 2
Seller
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHAK6551

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 76.23
Convert Currency

Add to Basket

Shipping: FREE
From India 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. Book 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. . . . . . Bookseller Inventory # V9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 76.73
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 (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 1
Seller
Green Books
(Wicklow, Ireland)
Rating
[?]

Book Description Morgan Kaufmann, 2015. Paperback. Book Condition: New. Brand New Book. Shipping: Once your order has been confirmed and payment received, your order will then be processed. The book will be located by our staff, packaged and despatched to you as quickly as possible. From time to time, items get mislaid en route. If your item fails to arrive, please contact us first. We will endeavour to trace the item for you and where necessary, replace or refund the item. Please do not leave negative feedback without contacting us first. All orders will be dispatched within two working days. If you have any quesions please contact us. Bookseller Inventory # V9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 71.78
Convert Currency

Add to Basket

Shipping: US$ 5.30
From Ireland to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book