ACS: Automatic Converter Synthesis for SoC Bus Protocols.

Karin Avnit, Arcot Sowmya, Jorgen Peddersen

Browse the full TACAS paper archive.