Data extraction from SystemC designs using debug symbols and the SystemC API | IEEE Conference Publication | IEEE Xplore