A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design | IEEE Conference Publication | IEEE Xplore