Cooperation of synthesis, retargetable code generation and test generation in the MSS | IEEE Conference Publication | IEEE Xplore