Automatic Synthesis of Interfaces Between Incompatible Protocols.

Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.