MARC Record
Leader
001
001928352
003
BE-GnUNI
005
20230803105157.0
008
080414s2006 ||||||||||||||||| ||eng||
020
a| 0387259473
040
a| Howest
041
0
a| eng
080
a| 681.323
084
a| 663
2| vsiso
245
0
0
a| Constraint-based verification.
260
a| New York :
b| Springer,
c| 2006.
520
a| Introduction.- Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving.-
700
1
a| Yuan, Jun,
d| ....-
0| (viaf)
700
1
a| Aziz, Adnan,
d| ....-
0| (viaf)
700
1
a| Pixley, Carl,
d| ....-
0| (viaf)
852
4
b| HWPNT
c| PENTA
j| PENTA.663 YUAN 06
p| 3010569
920
a| book