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