Transaction-level modeling (TLM) is the most promising technique to deal with the increasing complexity of modern embedded systems. TLM provides designers with high-level interfaces and communication protocols for abstract modeling and efficient simulation of system platforms involving both hardware and software components. The Open SystemC Initiative (OSCI) has recently released the TLM-2.0 standard, to standardize the interface between component models for bus-based systems. The standard TLM aims at facilitating the interchange of models between suppliers and users, and thus encouraging the use of virtual platforms for fast simulation prior to the availability of register-transfer level (RTL) code. This paper discusses on the mutation analysis concept applied to the TLM context and proposes a mutation model for perturbing TLM SystemC descriptions. In particular, the main constructs provided by the latest OSCI TLM-2.0 standard are analyzed, and a set of mutants is proposed to perturb the primitives related to the TLM communication interfaces.

On the Mutation Analysis of SystemC TLM-2.0 Standard

BOMBIERI, Nicola;FUMMI, Franco;PRAVADELLI, Graziano
2009-01-01

Abstract

Transaction-level modeling (TLM) is the most promising technique to deal with the increasing complexity of modern embedded systems. TLM provides designers with high-level interfaces and communication protocols for abstract modeling and efficient simulation of system platforms involving both hardware and software components. The Open SystemC Initiative (OSCI) has recently released the TLM-2.0 standard, to standardize the interface between component models for bus-based systems. The standard TLM aims at facilitating the interchange of models between suppliers and users, and thus encouraging the use of virtual platforms for fast simulation prior to the availability of register-transfer level (RTL) code. This paper discusses on the mutation analysis concept applied to the TLM context and proposes a mutation model for perturbing TLM SystemC descriptions. In particular, the main constructs provided by the latest OSCI TLM-2.0 standard are analyzed, and a set of mutants is proposed to perturb the primitives related to the TLM communication interfaces.
2009
9780769540009
9781424464791
TLM; Verification; Mutation Analysis
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/341656
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 0
social impact