Linking codesign and verification by mean of E-LOTOS FDT | IEEE Conference Publication | IEEE Xplore