Kundu, Sudipta.
High-Level Verification Methods and Tools for Verification of System-Level Designs / [electronic resource] : by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta. - New York, NY : Springer New York, 2011. - digital.
9781441993595
10.1007/978-1-4419-9359-5 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815
High-Level Verification Methods and Tools for Verification of System-Level Designs / [electronic resource] : by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta. - New York, NY : Springer New York, 2011. - digital.
9781441993595
10.1007/978-1-4419-9359-5 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815