A mixed abstraction level co-simulation case study using SystemC for system on chip verification | IEEE Conference Publication | IEEE Xplore