Protocol Selection and Interface Generation for HW—SW Codesign. Manuscript received July 31, 1996. This work was supported by France-Telecom/CNET under Grant 94 I B 113 and SGS-Thomson.The authors are with TIMA/INPG Laboratory, Institut National Polytechnique de Grenoble, Grenoble F-38031, France.Publisher Item Identifier S 1063-8210(97)00736-1.