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 ;) |