Efficient Digital System Design Methodology with SystemC Register Transfer Level Modeling | IEEE Conference Publication | IEEE Xplore