Title: Formal Verification of Circuits
First published: January 15, 2000
Subjects: Electronic circuits, Decision trees, Testing