• SystemC

  • Referenced in 41 articles [sw07807]
  • SystemC: From the ground up. SystemC provides a robust set of extensions to C++ that ... reader through the finer points of the SystemC language. par This work provides: A step ... build-up of syntax; NEW features of SystemC 2.1; Code examples for each concept; Many ... lines); Exercises throughout the book; How SystemC fits into the system design methodology; Why features...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • programs. It also supports SystemC using Scoot. It allows verifying array bounds (buffer overflows), pointer...
  • OMNet++

  • Referenced in 65 articles [sw04170]
  • alternative programming languages (Java, C#), database integration, SystemC integration, and several other functions...
  • ModelSim

  • Referenced in 17 articles [sw11960]
  • unified debug environment for Verilog, VHDL, and SystemC. The combination of industry-leading, native...
  • SPRINT

  • Referenced in 11 articles [sw01362]
  • high-level concurrent model such as a SystemC transaction-level model can provide early feedback ... developed a tool to generate a concurrent SystemC transaction-level model for user-selected task...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • framework that automatically transforms PLC software to SystemC is presented. The integrated flow of synthesis...
  • KRATOS

  • Referenced in 7 articles [sw07808]
  • KRATOS: A software model checker for SystemC. he growing popularity of SystemC has attracted research ... aimed at the formal verification of SystemC designs. In this paper we present Kratos ... software model checker for SystemC. Kratos verifies safety properties, in the form of program assertions ... First, by relying on the translation from SystemC designs to sequential C programs, Kratos...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • Pinapa: An extraction tool for SystemC descriptions of Systems-on-a-Chip. SystemC is becoming ... extract both architecture and behavior information from SystemC code, with very few limitations. Pinapa ... /pinapa/. There exists no equivalent tool for SystemC...
  • LusSy

  • Referenced in 5 articles [sw14918]
  • systems-on-a-chip described in SystemC at the transactional level. The tools are able ... extract information from SystemC code, and to build a set of parallel automata that capture ... semantics of a SystemC design, including the transaction-level specific constructs ... provides the first executable formal semantics of SystemC. Being implemented as a traditional compiler front...
  • SCOOT

  • Referenced in 3 articles [sw09954]
  • Scoot: A tool for the analysis of SystemC models. SystemC is a system-level modeling ... vector arithmetic. The existing static analyzers for SystemC consider only small fragments of the language ... present Scoot, a model extractor for SystemC based on a C++ frontend. The models generated...
  • ArchC

  • Referenced in 2 articles [sw07845]
  • called ArchC, which is an open-source SystemC-based language that is specialized for processor ... capability, the possibility of integration with other SystemC IPs and the automatic generation of high ... level SystemC simulators and assemblers. We have used ArchC to synthesize both functional and cycle...
  • SoCLib

  • Referenced in 1 article [sw16538]
  • platform is a library of SystemC simulation models for virtual components (IP cores). The main ... cores. All simulation models are written in SystemC, and can be simulated with the standard ... SystemC simulation environment. Two types of models are available for each IP-core: CABA (Cycle...
  • RTOS

  • Referenced in 1 article [sw03087]
  • abstract real-time operating system model in SystemC with dynamic binary translation for fast Instruction ... only factor two compared to native SystemC. Furthermore, the simulation speed increases almost linearly according...
  • Fossy

  • Referenced in 1 article [sw11998]
  • tool for transforming system-level SystemC models to synthesisable VHDL. FOSSY enables a seamless design...
  • RTMemController

  • Referenced in 1 article [sw15637]
  • behavior to a memory controller implementation in SystemC. The following sections introduce how this tool...
  • Noxim

  • Referenced in 0 articles [sw20785]
  • extendible, cycle-accurate NoC simulator developed in SystemC, which allows to analyze the performance...
  • Matlab

  • Referenced in 11969 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8180 articles [sw00771]
  • R is a language and environment for statistical...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • FoCs

  • Referenced in 20 articles [sw01591]
  • FoCs -- automatic generation of simulation checkers from formal...