Title: A Roadmap for Formal Property Verification
Subjects: Systems engineering, Logic design, Engineering, Computer-aided design, Computer science, Electronics, Computer engineering, Verification, Integrated circuits, Electronic circuits