Title: Advanced Formal Verification
First published: January 31, 2004
Subjects: Electronic circuits, Decision trees, Testing