Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Advanced Formal VerificationISBN13:9781441954206ISBN10:1441954201Author:Drechsler, Rolf (Editor)Description:Advanced Formal Verification Shows The Latest Developments In The Verification Domain From The Perspectives Of The User And The Developer World Leading Experts Describe The Underlying Methods Of Today's Verification Tools And Describe Various Scenarios From Industrial Practice In The First Part Of The Book The Core Techniques Of Today's Formal Verification Tools, Such As Sat And Bdds Are Addressed In Addition, Multipliers, Which Are Known To Be Difficult, Are Studied The Second Part Gives Insight In Professional Tools And The Underlying Methodology, Such As Property Checking And Assertion Based Verification Finally, Analog Components Have To Be Considered To Cope With Complete System On Chip Designs Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:2010-12-07Weight:0.86 lbsDimensions:0.58'' H x 9.21'' L x 6.14'' WNumber of Pages:250Language:English
Price: 113.48 USD
Location: USA
End Time: 2024-11-23T12:07:48.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Advanced Formal Verification
Item Length: 9.3in
Item Width: 6.1in
Author: Rolf Drechsler
Publication Name: Advanced Formal Verification
Format: Trade Paperback
Language: English
Publisher: Springer
Publication Year: 2010
Type: Textbook
Item Weight: 30.3 Oz
Number of Pages: Xxvi, 250 Pages
