Designer-Level Verification - an Industrial Experience StoryStephen BergmanGabor Boboket al.2015DATE 2015Short paper