IBM Labs in Haifa © Copyright IBM Challenges in Constraint Programming for Hardware Verification Eyal Bin IBM Haifa Research Lab [email protected].