Automatic generation of transaction level models for rapid design space exploration | IEEE Conference Publication | IEEE Xplore