A SystemC-based framework for properties incompleteness evaluation | IEEE Conference Publication | IEEE Xplore