Stem transactor$ (all stems)
5 papers:
DATE-2008-BombieriDF #automation #design #generative- Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation (NB, ND, FF), pp. 15–20.
DATE-2006-BalarinP #functional #generative #interface #specification #verification- Functional verification methodology based on formal interface specification and transactor generation (FB, RP), pp. 1013–1018.
DATE-2006-BombieriFP #evaluation #on the #reuse #verification- On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL (NB, FF, GP), pp. 1007–1012.
DATE-2005-ChureauSA #functional #prototype #uml- The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application (AC, YS, EMA), pp. 698–703.
POPL-2005-FieldV #consistency #distributed #maintenance #named #programming- Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments (JF, CAV), pp. 195–208.