Constraint-Based Verification - Yuan, Jun.; Pixley, Carl.; Aziz, Adnan; SpringerLink (Online service) (Boston, MA : Springer US, 2006)
Keywords: Engineering; Computer aided design; Systems engineering; Engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronic and Computer Engineering