High-Level Verification
Subtitle: Methods and Tools for Verification of System-Level Designs
By: by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
Contributors: Lerner, Sorin; Gupta, Rajesh K.; SpringerLink (Online service)
Publisher: Springer Science+Business Media, LLC
Published: 2011
Place of publication: New York, NY
Language: eng
Format: [electronic resource] :
ISBN-13: 9781441993588; 9781441993595
Subjects: Systems engineering; Engineering; Computer-aided design