Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog
by Lionel Bening,Harry D. Foster
ISBN 13: 9780792373681
Format: Hardcover (312 pages) Publisher: Springer Published: 31 May 2001
Save for later
Creating Assertion-Based IP (Integrated Circuits and Systems)
by Harry D. Foster,Adam C. Krolnik
ISBN 13: 9780387366418
Format: Hardcover (312 pages) Publisher: Springer Published: 06 Dec 2007