Constraint-Based Verification [electronic resource] /
by Jun Yuan, Carl Pixley, Adnan Aziz.
- Boston, MA : Springer Science+Business Media, Inc., 2006.
- v.: digital
9780387307848
Engineering Computer aided design Systems engineering Engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Electronic and Computer Engineering