FoCs Property Checkers Generator

Overview

Requirements

Download

FAQs

Forum

Reviews

Platform requirements

Operating systems: Linux®, Solaris, and AIX®

Hardware:

• 128 MB RAM
• 50 MB disk space (recommended)

Software: Access to a Verilog or a VHDL simulator (in order to use the checkers generated by FoCs in those languages).

Installation instructions

1. Create a new directory.
2. Download into this directory the FoCs "gzipped" TAR file appropriate for your platform.
3. Type the following command: gzip -d <focs tar file name> .gz; tar xvf <focs tar file name>.tar; rm focs.tar

   (This command will unzip the TAR file and will copy the individual installation files into their appropriate locations.)

4. Please follow the set-up and operation instructions in the documentation.
5. Obtain the evaluation license key by sending an e-mail to focs@il.ibm.com with the log-in name of the person who will be using FoCs.