Taxonomies for the Development and Verification of Digital Systems
Taxonomies for the Development and Verification of Digital Systems [electronic resource] /
edited by Brian Bailey, Grant Martin, Thomas Anderson.
- Boston, MA : Springer Science+Business Media, Inc., 2005.
- xx, 179 p. : ill., digital ; 25 cm.
9780387240213 (electronic bk.) 9780387240190 (paper)
Digital integrated circuits--Design and construction.
Integrated circuits--Verification.
Digital communications.
Engineering.
Electronic and Computer Engineering.
Electronics and Microelectronics, Instrumentation.
Logic Design.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
TK7874.65 / T39 2005
621.3815
9780387240213 (electronic bk.) 9780387240190 (paper)
Digital integrated circuits--Design and construction.
Integrated circuits--Verification.
Digital communications.
Engineering.
Electronic and Computer Engineering.
Electronics and Microelectronics, Instrumentation.
Logic Design.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
TK7874.65 / T39 2005
621.3815