Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Erik Seligman Tom Schubert M V Achutha Kiran Kuma Formal Verificatio (Paperback)
US $154.77
as low as $26.86/mo with
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller’s listing for full details.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Economy Shipping.
Located in: 60543, United States
Delivery:
Estimated between Sat, Jul 19 and Fri, Jul 25 to 94104
Returns:
30 days returns. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Payments:
.
As low as $26.86/mo with Klarna.
*No Interest if paid in full in 6 months on $149+. See terms and apply now- for PayPal Credit, opens in a new window or tab
Earn up to 5x points when you use your eBay Mastercard®. Learn moreabout earning points with eBay Mastercard
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:396079744545
Item specifics
- Condition
- Book Title
- Formal Verification
- Title
- Formal Verification
- Subtitle
- An Essential Toolkit for Modern VLSI Design
- EAN
- 9780323956123
- ISBN
- 9780323956123
- Release Date
- 05/26/2023
- Release Year
- 2023
- Country/Region of Manufacture
- GB
- Item Height
- 235mm
- Item Weight
- 450g
- Genre
- Computing & Internet
- Topic
- Fashion & Design
- Publication Year
- 2023
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Subject Area
- Computers, Technology & Engineering
- Publication Name
- Formal Verification : an Essential Toolkit for Modern Vlsi Design
- Publisher
- Elsevier Science & Technology
- Item Length
- 9.2 in
- Subject
- Programming / General, Industrial Design / Product, Microprocessors, Electronics / Microelectronics, Electronics / General, Computer Engineering
- Item Width
- 7.5 in
- Number of Pages
- 352 Pages
About this product
Product Identifiers
Publisher
Elsevier Science & Technology
ISBN-10
0323956122
ISBN-13
9780323956123
eBay Product ID (ePID)
8058367403
Product Key Features
Number of Pages
352 Pages
Language
English
Publication Name
Formal Verification : an Essential Toolkit for Modern Vlsi Design
Subject
Programming / General, Industrial Design / Product, Microprocessors, Electronics / Microelectronics, Electronics / General, Computer Engineering
Publication Year
2023
Type
Textbook
Subject Area
Computers, Technology & Engineering
Format
Trade Paperback
Dimensions
Item Length
9.2 in
Item Width
7.5 in
Additional Product Features
Edition Number
2
Intended Audience
Scholarly & Professional
Dewey Edition
23
Dewey Decimal
621.3/95
Table Of Content
Formal verification: from dreams to reality Basic formal verification algorithms Introduction to SystemVerilog Assertions Formal property verification Effective formal property verification for design exercise Effective FPV for verification Formal property verification apps for specific problems Formal equivalence verification Formal verification's greatest bloopers: the danger of false positives Dealing with complexity Formal signoff on real projects Your new FV-aware lifestyle
Synopsis
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition 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. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity., Formal Verification: An Essential Toolkit for Modern VLSI Design Second Edition, 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. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity. Key Features: Covers formal verification algorithms that help users gain full coverage without exhaustive simulation, Helps readers understand formal verification tools and how they differ from simulation tools, Shows how to create instant testbenches to gain insights into how models work and to find initial bugs, Presents insights from Intel insiders who share their hard-won knowledge and solutions to complex design problems
LC Classification Number
TK7874.75
Item description from the seller
Popular categories from this store
Seller feedback (526,316)
- f***e (480)- Feedback left by buyer.Past 6 monthsVerified purchaseShipping was fast! However, before buying I tried to find out more about their listing - it said it included a "12" vinyl album with CD". Their reply simply repeated what the listing said - I wanted to know more about the CD that was included. Turns out it was a packaged deal - the CD was included inside the album jacket, no insert or track listing with the CD, which I would have liked to have had to match in storing like the rest of my CDs. It's a great value, but a little disappointing.Lake Forever Or Never (Vinyl) 12" Album with CD (#405597631585)
- o***a (169)- Feedback left by buyer.Past monthVerified purchaseAbsolutely excellent experience! Item arrived very quickly, was packaged with great care, and was exactly as described—no surprises, just as promised. The value was fantastic for the quality, and everything matched the listing perfectly. Seller was communicative, friendly, and very professional throughout the entire process. One of the smoothest transactions I’ve had on eBay. Highly recommend and would definitely buy from this seller again without hesitation!
- -***d (406)- Feedback left by buyer.Past 6 monthsVerified purchaseMy order arrived today, very well packaged and delivered to my front door. I thank you for the quick shipping response, great customer service, open line of communication, for having what I was looking for, for your business and for doing business with me. I saved you as a seller for possible future purchases. Quality is perfect, condition is brand new, a good value for your money and appearance is as described. Have yourself a very blessed day and upcoming week.Quiet Riot Greatest Hits (CD) (#396356935151)
Popular categories from this store
Seller feedback (526,316)
- f***e (480)- Feedback left by buyer.Past 6 monthsVerified purchaseShipping was fast! However, before buying I tried to find out more about their listing - it said it included a "12" vinyl album with CD". Their reply simply repeated what the listing said - I wanted to know more about the CD that was included. Turns out it was a packaged deal - the CD was included inside the album jacket, no insert or track listing with the CD, which I would have liked to have had to match in storing like the rest of my CDs. It's a great value, but a little disappointing.Lake Forever Or Never (Vinyl) 12" Album with CD (#405597631585)
- o***a (169)- Feedback left by buyer.Past monthVerified purchaseAbsolutely excellent experience! Item arrived very quickly, was packaged with great care, and was exactly as described—no surprises, just as promised. The value was fantastic for the quality, and everything matched the listing perfectly. Seller was communicative, friendly, and very professional throughout the entire process. One of the smoothest transactions I’ve had on eBay. Highly recommend and would definitely buy from this seller again without hesitation!
- -***d (406)- Feedback left by buyer.Past 6 monthsVerified purchaseMy order arrived today, very well packaged and delivered to my front door. I thank you for the quick shipping response, great customer service, open line of communication, for having what I was looking for, for your business and for doing business with me. I saved you as a seller for possible future purchases. Quality is perfect, condition is brand new, a good value for your money and appearance is as described. Have yourself a very blessed day and upcoming week.Quiet Riot Greatest Hits (CD) (#396356935151)