• POWER-TRUCTOR

  • Referenced in 2 articles [sw38043]
  • gradually shrinking power requirements in the system-on-chip designs, sophisticated global power management policies...
  • xMAML

  • Referenced in 2 articles [sw21580]
  • norms and applications, usually implemented on system-on-chip (SOC), increases architecture performance and flexibility...
  • STABLE

  • Referenced in 2 articles [sw11913]
  • based property checking flow for System-on-Chip (SoC) designs. When verifying industrial data path...
  • PISA

  • Referenced in 65 articles [sw01397]
  • PISA consists of two parts: PISA is a...
  • TIMES

  • Referenced in 26 articles [sw01403]
  • TIMES -- a tool for modelling and implementation of...
  • FastLSA

  • Referenced in 3 articles [sw01958]
  • FastLSA: A fast, linear-space, parallel and sequential...
  • ISDL

  • Referenced in 10 articles [sw02314]
  • ISDL: An instruction set description language for retargetability...
  • POLIS

  • Referenced in 6 articles [sw03141]
  • An enhanced POLIS framework for fast exploration and...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

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

  • Referenced in 68 articles [sw04086]
  • GAlib: A C++ Library of Genetic Algorithm Components...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • SIGOA

  • Referenced in 31 articles [sw05065]
  • SIGOA: The Simple Interface for Global Optimization Algorithms...
  • SPEA2

  • Referenced in 486 articles [sw06686]
  • SPEA2 - The Strength Pareto Evolutionary Algorithm 2: SPEA2...
  • B4Free

  • Referenced in 6 articles [sw07085]
  • Academic tool enabling the operational use of formal...
  • Xilinx

  • Referenced in 96 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable...
  • SystemC

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

  • Referenced in 1 article [sw07837]
  • eCos is a free open source real-time...