Catalog

Record Details

Catalog Search


Search Results Showing Item 2 of 2

High-Level Verification Methods and Tools for Verification of System-Level Designs

Kundu, Sudipta. (Author). Lerner, Sorin. (Added Author). Gupta, Rajesh K. (Added Author). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781441993595
  • Physical Description: electronic
    electronic resource
    access
    remote
    XIII, 167p. 31 illus. digital.
  • Publisher: New York, NY : Springer New York, 2011.
Subject: Engineering
Computer aided design
Systems engineering
Engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Search Results Showing Item 2 of 2

Additional Resources