Title: Sequential Logic Testing and Verification
Subjects: Systems engineering, Engineering, Computer-aided design, Computer engineering