Cover Image

Constraint-Based Verification

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal method...

Full description

Saved in:
Bibliographic Details
Main Authors: Yuan, Jun. (Author, http://id.loc.gov/vocabulary/relators/aut), Pixley, Carl. (http://id.loc.gov/vocabulary/relators/aut), Aziz, Adnan. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Subjects:
Electronic circuits.
Computer-aided engineering.
Electrical engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electrical Engineering.
Online Access:https://doi.org/10.1007/0-387-30784-2
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/0-387-30784-2

Similar Items