Constraint-Based Verification - Yuan, Jun.; Pixley, Carl.; Aziz, Adnan; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, Inc., 2006)
Keywords: Constraints (Artificial intelligence); Digital electronics -- Testing; Electronic systems -- Testing; Electronic systems -- Design and construction; Engineering; Electronic and Computer Engineering; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems