LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level

Moy, Matthieu; Maraninchi, Florence; Maillet-Contoz, Laurent

doi:10.1109/acsd.2005.23

Cited by 50 publications

(35 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There have been several work on to the formal verification of SystemC designs [5,6,8,9,11,14,17,21]. We have already discussed in Section 4.3 the work in [16,21], that are the most closely related to our work.…”

Section: Related Workmentioning

confidence: 95%

See 1 more Smart Citation

An Analytic Evaluation of SystemC Encodings in Promela

Campana

Cimatti

Narasamdya

et al. 2011

Model Checking Software

View full text Add to dashboard Cite

Abstract. SystemC is a de-facto standard language for high-level modeling of systems on chip. We investigate the feasibility of explicit state model checking of SystemC programs, proposing several ways to convert SystemC into Promela. We analyze the expressiveness of the various encoding styles, and we experimentally evaluate their impact on the search carried out by SPIN on a significant set of benchmarks. We also compare the results with recent approaches to symbolic verification of SystemC. Our approach never returns false positives, detects assertion violations much faster than recent formal approaches, and has the novel feature of pinpointing non-progressing delta cycles.

show abstract

Section: Related Workmentioning

confidence: 95%

“…Formal verification of SystemC has recently gained significant interests with the use of software model checking [5,6,14] and bounded model checking [8,9] techniques, or by reduction to model checking for finite state [17,21] and timed [11] systems.…”

Section: Introductionmentioning

confidence: 99%

An Analytic Evaluation of SystemC Encodings in Promela

Campana

Cimatti

Narasamdya

et al. 2011

Model Checking Software

View full text Add to dashboard Cite

show abstract

“…One major difference to [11] is the usage of an own graphical user interface that has been especially designed for this approach but does not support features like crossprobing or path fragment navigation. Contrary to the works described above, SystemCXML [2] and LusSy [12] do not use data introspection for the purpose of analysis. While the extraction of the hierarchy in SystemCXML is done via Doxygen, LusSy uses PINAPA [13].…”

Section: Related Workmentioning

confidence: 99%

An Integrated SystemC Debugging Environment

Rogin

Genz

Drechsler

et al. 2008

Embedded Systems Specification and Design Languages

View full text Add to dashboard Cite

show abstract

“…Another interesting approach is LusSy [5]. LusSy is a project that integrates a backend for visualization and a frontend for analysis of SystemC, i.e.…”

Section: Related Workmentioning

confidence: 99%

Quality-Driven SystemC Design

Groe¹,

Drechsler²

2010

View full text Add to dashboard Cite

Abstract-The open source library SystemC aids the composition of system level designs. The library offers a wide variety of datatypes and a simulation kernel. Both components help to describe VLSI designs very close to the RT level or at the more abstract system level. Since SystemC is based on C++, it allows the integration of several techniques into the model which do not contribute to the model itself, e.g. for verification, system exploration or debugging. But especially for debugging it is helpful to hide all these additional elements.This work addresses the problem of SystemC visualization for debugging backends. Besides displaying a system's behavior and its structure, our approach also excludes non-relevant data which is part of the system description, but does not define its behavior or its structure.

show abstract

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level

Abstract: We describe a toolbox for the analysis of Systems-on-achip

Cited by 50 publications

References 13 publications

An Analytic Evaluation of SystemC Encodings in Promela

An Analytic Evaluation of SystemC Encodings in Promela

An Integrated SystemC Debugging Environment

Quality-Driven SystemC Design

Contact Info

Product

Resources

About