Taxonomies for the Development and Verification of Digital Systems - Bailey, Brian; Martin, Grant; Anderson, Thomas; SpringerLink (Online service) (Boston, MA : Springer US, 2005)
Keywords: Engineering; Logic design; Computer aided design; Electronics; Systems engineering; Engineering; Circuits and Systems; Electronics and Microelectronics, Instrumentation; Logic Design; Electronic and Computer Engineering; Computer-Aided Engineering (CAD, CAE) and Design