Skip to main content

RuleBase Parallel Edition

Formal Verification

The RuleBase Log to VCD Converter

The converter software is now distributed with RuleBase. It resides within the $RBROOT/utils directory.

The converter is a Python program, and the Python interpreter must be installed on your machine.

Python is very common and may already be installed on your Solaris and Linux machines. To check if Python is installed, type 'python' from your shell (exit Python by pressing Ctrl-D).

In the rare case that it is not installed on your system, download it from http://www.python.org.

Requirements:
Python 1.5.2 or higher. The converter has been tested on Python 1.5.2 and 2.0.1, but should also work on higher versions.

Additional Notes:
You may find GTKWave, a freeware VCD viewer, to be of interest. http://www.cs.man.ac.uk/amulet/tools/gtkwave/
It runs on Solaris, Linux, and other operating systems.

A Windows version is available at: http://www.geocities.com/SiliconValley/Campus/3216/GTKWave/gtkwave-win32.html