Taxonomies for the Development and Verification of Digital Systems
by
ISBN 13: 9780387240190
Format: Hardcover (180 pages) Publisher: Springer Published: 10 May 2005
Save for later
ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)
by Brian Bailey,Grant Martin
ISBN 13: 9781441909640
Format: Hardcover (470 pages) Publisher: Springer Published: 22 Dec 2009
by Grant Martin, Thomas Anderson, Brian Bailey
ISBN 13: 9781441936813
Format: Paperback (200 pages) Publisher: Springer Published: 29 Oct 2010