VERDECT can be used for the verification of speed-independent or
delay-insensitive circuits, in particular control circuits. VERDECT
has a simple user interface, can verify safety and various progress
conditions, and allows a modular verification. 

The file verdect2.3_sparc.tar.gz contains the following files and
directories.

- manual   , a brief manual on VERDECT in plain ascii.
- about.ps , a brief paper in postscript on VERDECT, 
             which appeared in the IEEE newsletter of TCCA, Oct. 1995.
- verdect  , the executable of version 2.3 for a sparc machine.
- examples , a directory containing several subdirectories with
             basic examples, examples relating to micropipelines,
             examples relating to the counterflow processor, 
             and examples illustrating what VERDECT cannot do.
- libraries, a directory containing two small libraries of 
             frequently used basic elements.

Currently we only have an executable for a sparc machine.
If you need an executable for another machine or the source code (in C), 
please let us know.

VERDECT is distributed "AS IS." 
There is absolutely no warranty whatsoever.
You may use it at your own risk.