AnyBook4Less.com | Order from a Major Online Bookstore |
![]() |
Home |  Store List |  FAQ |  Contact Us |   | ||
Ultimate Book Price Comparison Engine Save Your Time And Money |
![]() |
Title: Assertion-Based Design by Harry Foster, Adam Krolnik, David Lacey ISBN: 1-4020-7498-0 Publisher: Kluwer Academic Publishers Pub. Date: 01 June, 2003 Format: Hardcover Volumes: 1 List Price(USD): $130.00 |
Average Customer Rating: 5 (1 review)
Rating: 5
Summary: When assertion fires ...
Comment: Once again, after "Principles of Verifiable RTL Design" written with L. Bening, Harry Foster wrote the book that made new level of standards in ASIC community. Even with notice that, as a Verplex Systems guy, he evidently advertise specific Formal Verification techniques, this book could not get anything then 5 big stars. Not only that this is the only book on the market that cover important topics like Assertions, this is also well and systematically written book, full of examples in OVL, PSL and SystemVerilog. And whatever ASIC designers say that they don't have time for Assertions, future is going in this direction. Book is written equally for design and verification engineers, but also for system architects and everybody involved in ASIC development. This book probably will not shake ASIC design world as previous bestseller from the same author, but it presents state of the art in covered area from the man who knows his job very well ...
![]() |
Title: Writing Testbenches: Functional Verification of HDL Models, Second Edition by Janick Bergeron ISBN: 1402074018 Publisher: Kluwer Academic Publishers Pub. Date: 01 February, 2003 List Price(USD): $120.00 |
![]() |
Title: Introduction to Formal Hardware Verification by Thomas Kropf ISBN: 3540654453 Publisher: Springer-Verlag Pub. Date: January, 2000 List Price(USD): $67.95 |
![]() |
Title: Using PSL/Sugar with Verilog and VHDL, Guide to Property Specification Language for ABV by Ben Cohen ISBN: 0970539444 Publisher: VhdlCohen Publishing Pub. Date: 19 May, 2003 List Price(USD): $68.00 |
![]() |
Title: Design Verification with e by Samir Palnitkar ISBN: 0131413090 Publisher: Prentice Hall PTR Pub. Date: 25 September, 2003 List Price(USD): $89.00 |
![]() |
Title: System Verilog for Design: A Guide to Using System Verilog for Hardware Design and Modeling by Stuart Sutherland, Simon Davidmann, Peter Flake, Phil Moorby ISBN: 1402075308 Publisher: Kluwer Academic Publishers Pub. Date: 01 January, 2004 List Price(USD): $130.00 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments