search for books and compare prices
Formal Verification: An Essential Toolkit for Modern Vlsi Design
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher
Morgan Kaufmann Pub
Publication date
August 14, 2015
Pages
408
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9780128007273
ISBN-10
0128007273
Dimensions
1 by 7.50 by 9 in.
Weight
1.70 lbs.
Original list price
$99.95
Amazon.com says people who bought this book also bought:
Finding Your Way Through Formal Verification | Logic Design and Verification Using SystemVerilog (Revised) | RTL Modeling with SystemVerilog for Simulation and Synthesis: Using SystemVerilog for ASIC and FPGA Design | The RISC-V Reader: An Open Architecture Atlas | SystemVerilog for Verification | Systemverilog Assertions Handbook
Finding Your Way Through Formal Verification | Logic Design and Verification Using SystemVerilog (Revised) | RTL Modeling with SystemVerilog for Simulation and Synthesis: Using SystemVerilog for ASIC and FPGA Design | The RISC-V Reader: An Open Architecture Atlas | SystemVerilog for Verification | Systemverilog Assertions Handbook
Summaries and Reviews
Editions
Paperback
The price comparison is for this edition
With Tom Schubert, Erik Seligman |
from Morgan Kaufmann Pub (August 14, 2015)
9780128007273 | details & prices | 408 pages | 7.50 × 9.00 × 1.00 in. | 1.70 lbs | List price $99.95
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.