A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design