RuleBase to FSDB Converter

Home

Links

Download

Howto

RB2FSDB is for those who are seeking a way to view the waveforms produced by IBM's
RuleBase Formal Verification tool with Novas Software's Debussy nWave viewer.  For
more information on these tools see their appropriate web pages:


If you have any problems please email me, especially if your
having problems on SunOS which is where I have the most experience
with this project.  Comments/questions on other platforms are
welcome, but I can't promise I'll be able to help.

Please direct all negative comments to /dev/null, or better yet
recycle your energy and start your own project  ;)
SourceForge Logo

Weston Sewell
Last modified: Fri Feb 22 02:31:23 CST 2002