Transaction-level system modeling

MaRDI QIDQ3574321zbMATH OpenFDO

Authors Daniel Gajski, Samar Abdi

Publication date 9 July 2010

zbMATH Keywords

embedded systemsTLM classification

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
• Specification and encoding of transaction interaction properties
• A cycle-accurate transaction level SystemC model for a serial communication bus
• scientific article; zbMATH DE number 5046457
• scientific article; zbMATH DE number 2079650

Cited in

(3)

• Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
• Specification and encoding of transaction interaction properties
• A cycle-accurate transaction level SystemC model for a serial communication bus

This page was built for publication: Transaction-level system modeling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3574321)