Automatic Transactor Generation in TLM by Exploiting EFSMs

One of the main critical tasks in a design flow based on Transaction Level Modeling (TLM) is the implementation of transactors. In fact, even if transactors represent the key objects to allow TLM-RTL mixed simulation, testbench and assertion reuse, their implementation is still manual, tedious and error-prone. The paper firstly classifies two scenarios as starting points to generate transactors and then, for each scenario, a suitable methodology is presented to automate the generation process exploiting the Extended Finite State Machine (EFSM) model.