Title: Constraint-based verification
Subjects: Digital electronics, Constraints (Artificial intelligence), Testing, Electronic systems, Design and construction, Systems engineering, Computer engineering, Computer-aided design, Engineering, Artificial intelligence, Electric engineering