A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. - Suleiman Abu Kharmeh; Kerstin Eder; David May 001 (FORMATS, 2011)