Automatic timing-coherent transactor generation for mixed-level simulations | IEEE Conference Publication | IEEE Xplore