On the Transformation of SystemC to AsmL Using Abstract Interpretation

Ali Habibi, Sofiène Tahar. On the Transformation of SystemC to AsmL Using Abstract Interpretation. Electronic Notes in Theoretical Computer Science, 131:39-49, 2005. [doi]

Abstract

Abstract is missing.