Forum on specification and Design Languages · 2003 · 27 citations · 5 references
ComputingSystems EngineeringVisualizationDesign AutomationInformation VisualizationInteractive VisualizationDesign RepresentationDesign VisualizationSoftware DesignSystem RepresentationInteractive Design VisualizationObject SearchSchematic RepresentationSystemc Modeling
Complex designs can only be understood, if the underlying information is provided in a concise way. In this context visualization is becoming an essential part of system design, understanding and debugging. In this paper we present an approach to visualization of designs described in SystemC. For the visualization an industrial tool including many features, like e.g. schematic viewing, cross-probing between schematic view and source code view, critical path fragment navigation or object search, is used by an API. The techniques how to extract the information from SystemC are described and examples are provided.
5
Simulation-guided property checking based on a multi-valued AR-automata
J. Ruf, Dirk W. Hoffmann, Thomas Kröpf et al. · 2001 · 57 citations
Formal verification of LTL formulas for SystemC designs
Rolf Drechsler · 2003 · 54 citations
Reachability analysis for formal verification of SystemC
Rolf Drechsler · 2003 · 38 citations