• LusSy

  • Referenced in 5 articles [sw14918]
  • LusSy: A toolbox for the analysis of systems-on-a-chip at the transactional level...
  • veriSoft

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

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

  • Referenced in 86 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • Pinapa: An extraction tool for SystemC descriptions of...
  • Esterel

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

  • Referenced in 25 articles [sw21386]
  • Doxygen : Source Code Documentation Generator Tool. Generate documentation...
  • PROMETHEUS

  • Referenced in 3 articles [sw24043]
  • PROMETHEUS -- a compositional modeling tool for real-time...