Reuse issues on the verification of embedded MCU cores | IEEE Conference Publication | IEEE Xplore