Facing the challenge of new design features: an effective verification approach.

Wisam Kadry, Ronny Morad, Alex Goryachev, Eli Almog, Christopher A. Krygowski

Browse the full DAC paper archive.