Verification Methodology Manual for SystemVerilog
by Janick Bergeron, Eduard Cerny, Alan Hunter, Andy Nightingale
ISBN 13: 9781461498131
Format: Paperback (524 pages) Publisher: Springer Published: 05 Dec 2014
Save for later
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
by Eduard Cerny
ISBN 13: 9781461375692
Format: Paperback (232 pages) Publisher: Springer Published: 12 Oct 2012