Title: SAT-based scalable formal verification solutions
Subjects: Verification, Integrated circuits, Systems engineering, Computer engineering, Computer-aided design, Electronic circuits