Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model | IEEE Conference Publication | IEEE Xplore