Verification problems in reusing internal design components. - Warren Stapleton; Paul Tobin (DAC, 2009)