Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

RuleBase Parallel Edition

Formal Verification

Generalized Buffer (PSL/Sugar version)


To install the RuleBase/PE tutorial, you must first download the tutorial.tar file and save it. Then, untar it using the command line: tar xvf tutorial.tar.

You can launch RuleBase/PE from the genbuf directory created during the un-tarring of the tutorial.tar file.


After launching RuleBase/PE from the tutorial directory, a Project Configuration Wizard with seven steps is launched. You can click Next to navigate the wizard options and screens.

You can set your GENBUF project in two ways:
  1. Skip over the compilation step by using the supplied .proto design files.
  2. Compile the VHDL design files yourself, using the "Portals VHDL compiler".


    About IBMPrivacyContact