Design and verification of SystemC transaction-level models

Ali Habibi, Sofiène Tahar. Design and verification of SystemC transaction-level models. IEEE Trans. VLSI Syst., 14(1):57-68, 2006. [doi]

Abstract

Abstract is missing.