Moayad Fahim Ali

• Satisfiability-based debugging of sequential and hierarchical designs