High-Level Verification [E-Book] : Methods and Tools for Verification of System-Level Designs / by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta.
Kundu, Sudipta.
Lerner, Sorin. / Gupta, Rajesh K.
New York, NY : Springer Science+Business Media, LLC, 2011.
online resource
9781441993595
Full Text
Description not available.