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.