SystemC kernel extensions for heterogeneous system modeling : a framework for multi-MoC modeling & simulation - Patel, Hiren D.