Software installed on pedernales.cs

This is a list of WatForm installations in /watform/pkg

concept
  - gatevisionpro hardware browser


cudd-2.4.0
  - Binary decision diagram package
  - obsolete?

ece427
  - hardware synthesis scripts

eclipse
  - platform for constructing integrated development environments

fpga-advantage
  - hardware synthesis software

hol-4-kananaskis-4
  - HOL theorem prover

modelsim
  - symbolic link to modelsim-common

modelsim-common
  - hardware simulation software
 

mosml
  - symbolic link to mosml-2.01

mosml-2.01
  - MOSML functional programing language

Note: Related files on /watform/pkg/x folder

quartus
  - symbolic link to quartus-7.2
  
quartus-7.2
  - Altera's hardware synthesis software

README
  - this file

rulebase
  - symbolic link to rulebase-2.02

rulebase-2.02
  - IBM model checker (smv style)

sml-mode
  - emacs mode for MOSML

smv
  - symbolic link to smv.10-11-02p46
  - !!obsolete, should be updated?

smv.10-11-02p46
  - Cadence SMV model checker

Edit | Attach | Watch | Print version | History: r1 | Backlinks | Raw View | WYSIWYG | More topic actions
Topic revision: r1 - 2009-07-17 - LawrenceFolland
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback