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.

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 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. 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.

Top Search Results from the AbeBooks Marketplace

1.

Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
Published by Morgan Kaufmann Publishers In 2015-06-01 (2015)
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 5
Seller
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann Publishers In 2015-06-01, 2015. Paperback. Book Condition: New. Bookseller Inventory # NU-ELS-00006767

More Information About This Seller | Ask Bookseller a Question

Buy New
45.74
Convert Currency

Add to Basket

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

2.

Erik Seligman
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Quantity Available: 1
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
51.59
Convert Currency

Add to Basket

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

3.

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. 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
54.66
Convert Currency

Add to Basket

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

4.

Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
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
50.45
Convert Currency

Add to Basket

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

5.

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
47.03
Convert Currency

Add to Basket

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

6.

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. 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
56.47
Convert Currency

Add to Basket

Shipping: FREE
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
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 2
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
50.56
Convert Currency

Add to Basket

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

8.

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
60.14
Convert Currency

Add to Basket

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

9.

Erik Seligman
ISBN 10: 0128007273 ISBN 13: 9780128007273
New Paperback Quantity Available: 2
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Paperback. Book Condition: New. Not Signed; 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 expl. book. Bookseller Inventory # ria9780128007273_rkm

More Information About This Seller | Ask Bookseller a Question

Buy New
57.88
Convert Currency

Add to Basket

Shipping: 3.34
From United Kingdom 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. 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. . . . . Books ship from the US and Ireland. Bookseller Inventory # V9780128007273

More Information About This Seller | Ask Bookseller a Question

Buy New
62.14
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