High-Level Verification: Methods and Tools for Verification of System-Level Designs
by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
ISBN 13: 9781441993588
Format: Hardcover (180 pages) Publisher: Springer Published: 19 May 2011
Save for later