Thread- and data-level parallel simulation in SystemC, a Bitcoin miner case study | IEEE Conference Publication | IEEE Xplore