Verification of a DSP IP cores by model checking | IEEE Conference Publication | IEEE Xplore