• Pinapa

  • Referenced in 6 articles [sw09955]
  • systems-on-a-chip. It enables system-level descriptions of SoCs: the same language ... realistic SoCs designs for anything else than simulation: it is able to extract both architecture ... various analysis tools, ranging from ”superlint” to model-checking. It is open source and available...
  • SCOOT

  • Referenced in 3 articles [sw09954]
  • SystemC models. SystemC is a system-level modeling language and offers support for concurrency ... Scoot, a model extractor for SystemC based on a C++ frontend. The models generated ... serve multiple purposes, ranging from verification and simulation to synthesis. Exemplarily, we report results indicating...
  • Simscape

  • Referenced in 3 articles [sw10165]
  • provides an environment for modeling and simulating physical systems spanning mechanical, electrical, hydraulic, and other ... your models match the structure of the system you are developing. Simscape models ... used to develop control systems and test system-level performance. You can extend the libraries ... systems for your physical system in Simulink®. To deploy your models to other simulation environments...
  • ImmunoGrid

  • Referenced in 2 articles [sw15735]
  • integrative environment for large-scale simulation of the immune system for vaccine discovery, design ... conceptual models of the immune system, models of antigen processing and presentation, system-level models ... common conceptual models and ontologies. The ImmunoGrid portal offers access to educational simulators where previously...
  • Simscape Driveline

  • Referenced in 2 articles [sw15526]
  • modeling and simulating rotational and translational mechanical systems. It includes models of worm gears, lead ... hydraulic, pneumatic, and other physical systems into your model using components from the Simscape™ family ... Driveline helps you develop control systems and test system-level performance. You can create custom ... systems for your physical system in Simulink®. To deploy your models to other simulation environments...
  • ReDO

  • Referenced in 0 articles [sw25850]
  • algorithm exploits a system-level Bayesian reliability estimation model to analyze the effect of different ... mechanisms on the reliability of the full system. A new heuristic based on the extremal ... aims at optimizing the reliability of the system alone. It is suited in those cases ... system’s components that, when protected, allow the designer to reach the desired reliability level...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool...
  • SystemC

  • Referenced in 41 articles [sw07807]
  • SystemC: From the ground up. SystemC provides a...
  • vUML

  • Referenced in 20 articles [sw09471]
  • vUML: a tool for verifying UML models. The...
  • gem5

  • Referenced in 10 articles [sw10707]
  • The gem5 Simulator System. A modular platform for...
  • DiskSim

  • Referenced in 13 articles [sw11963]
  • DiskSim is an efficient, accurate, highly-configurable disk...
  • Fossy

  • Referenced in 1 article [sw11998]
  • Fossy – Functional Oldenburg System Synthesiser. FOSSY stand for...
  • Zemax

  • Referenced in 2 articles [sw15108]
  • The Matlab-Zemax toolkit is a set of...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...
  • Esterel

  • Referenced in 162 articles [sw20012]
  • Esterel is both a programming language, dedicated to...
  • C2e2

  • Referenced in 8 articles [sw20139]
  • C2e2: A verification tool for stateflow models. Compare...