Mind the Gap(s): Creating & Closing Gaps Between Design and Verification Author(s): Chris Giles and Kurt Takara Download