Title: Symbolic model checking
Subjects: Circuits, Data processing, Design, Electronic digital computers, Logic design, Symbolic circuit analysis