Toolset resources

The following table lists the various tools that are available for lab and project use.

"Where" column:

  • 114 is the Grad Pool in Reynolds. These PCs are dual-boot (Linux and Win2K), but all the tools marked "114" run on Windows.
  • 114* means that the software could not be loaded in time to put on the master "ghost" image. It can be installed on a case-by-case basis as needed.
  • X is any X-Windows server, such as built into Linux or X-Win32. You need an account on the tool host carmel .

    • Tool

    Where

    Licensed

    Model

    For

    Targets

    Checker, Probe, and FDR (Formal Systems)

    Binaries: /opt/{checker,probe,fdr}

    Checker doc: /opt/checker/README

    Probe & FDR docs: /opt/fsel_docs/index.html

    The FDR manual is also in one file: /opt/fdr/manual/fdr2manual.ps

    CSP files for "practicals": /opt/fdr/demo

    formal modeling tools for process algebraic system design

    X

    yes

    CSP

    SW, HW

    any gcc