Microprocessor Modeling and Simulation with SystemC | IEEE Conference Publication | IEEE Xplore