DOI: 10.1109/date.2003.1253811
View full text
F. Carbognani, C.K. Lennard, C.N. Ip, A. Cochrane, P. Bates

Abstract: The increasing complexity of Systems on Chip (SoC) has introduced the need for abstract executable specifications (models) covering both hardware and embedded software. The new capabilities of SystemC 2.0, such as those added for transaction-based communication and test-bench Specification and monitoring, facilitate this SoC modeling. However, an obstacle to the adoption of abstract modeling as standard design practice is the lack of well establishes methodologies for the assessment of model precision. We de…

expand abstract