Formal specification of DSP gateway for data transmission between processor cores of OMAP platform.

Saulo Oliveira Dornellas Luiz, Genildo de Moura Vasconcelos, Leandro Dias da Silva

Browse the full SAC paper archive.