Facing the Challenge of New Design Features: An Effective Verification Approach. - Kadry, Wisam; Morad, Ronny; Goryachev, Alex; Almog, Eli; Krygowski, Christopher (DAC: Annual ACM/IEEE Design Automation Conference, 2011)