A systemC-based modular design and verification framework for C-model reuse in a HW/SW-codesign design flow | IEEE Conference Publication | IEEE Xplore