• ISDL

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

  • Referenced in 77 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • Metropolis

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