Order Total (1 Item Items):
Shipping Destination:
Formal Verification Essential Toolkit by Seligman Erik (24 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (24)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (20)
- As New, Fine or Near Fine (2)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (24)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (22)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Formal Verification An Essential Toolkit for Modern VLSI Design
Seller: True Oak Books, Highland, NY, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Book contains highlighting from previous owner. Book contains markings and notes from previous owner. - Good overall condition. General wear. No major blemishes.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Formal Verification An Essential Toolkit for Modern VLSI Design
Published by Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Language: English
Condition: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy.
-
Condition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
US$ 117.41
Convert currencyUS$ 8.81 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 115.95
Convert currencyUS$ 20.34 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 122.23
Convert currencyUS$ 16.24 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: New. In.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Published by Academic Press 2023-06-09, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Language: English
US$ 119.11
Convert currencyUS$ 21.00 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Published by Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 133.05
Convert currencyUS$ 12.16 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 222.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 131.55
Convert currencyUS$ 20.34 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 142.35
Convert currencyUS$ 11.68 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Published by Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
US$ 143.49
Convert currencyUS$ 12.32 shipping from Ireland to U.S.A.Quantity: 2 available
Add to basketCondition: New. 2023. 2nd Edition. Paperback. . . . . .
-
US$ 121.53
Convert currencyUS$ 33.89 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
-
US$ 146.63
Convert currencyUS$ 19.99 shipping from Canada to U.S.A.Quantity: 2 available
Add to basketpaperback. Condition: New. 2nd Edition. Special order direct from the distributor.
-
US$ 137.31
Convert currencyUS$ 33.89 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 408 pages. 9.00x7.50x1.00 inches. In Stock.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Published by Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Language: English
Condition: New. 2023. 2nd Edition. Paperback. . . . . . Books ship from the US and Ireland.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Published by Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Language: English
US$ 135.49
Convert currencyUS$ 57.49 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketCondition: New. Über den AutorErik Seligman is currently a Senior Product Engineering Architect at Cadence Design Systems, where he helps to plan and support the Jasper Formal Verification tool suite. Previously he worked at Intel Corporation in .
-
US$ 180.73
Convert currencyUS$ 33.89 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
-
Formal Verification : An Essential Toolkit for Modern VLSI Design
Published by Elsevier Science & Technology Mai 2023, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Language: English
US$ 139.83
Convert currencyUS$ 75.57 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware - 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.
-
US$ 110.66
Convert currencyUS$ 9.39 shipping from Italy to U.S.A.Quantity: Over 20 available
Add to basketCondition: new. Questo è un articolo print on demand.
-
US$ 129.90
Convert currencyUS$ 75.03 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.
