Title: Sequential logic testing and verification
Subjects: Computer-aided design, Logic circuits, Logic design, Testing