IBM®
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)

Using the .proto files

  • In the second screen, you are asked to provide a name for the tutorial project. We suggest using the name "GENBUF".

  • In the third screen, you are asked about the top-level environment and rules file. Our 'school solution' recommendation is to use the envs file (under the genbuf directory). In the next sections of this tutorial, you can find instructions on making your own envs file. Make sure that the "PSL/Sugar 2, GDL Flavor" option in the "Specification Language" is selected and the PSL version is set to IEEE.

  • In the fourth screen, you are required to select the design type file that describes the GENBUF block. The GENBUF implementation is already compiled and created as a .proto file. Therefore, choose the "User Supplied .proto File" option in the combo box.

  • The top-level GENBUF.RTL_VIEW.proto file can be found in the work_dir/compile_dir/dbout sub-directory structure. In the fifth screen, you are required to specify where this .proto file can be found. In the "Proto Name" value field, you must choose the GENBUF.RTL_VIEW.proto file from its location. As VHDL is not a case-sensitive language, it is recommended that you choose the "Insensitive" option from the "Case Sensitivity" setting options.

  • Skip the sixth screen and click Finish in the final screen.

After selecting Finish, the Project Configuration Wizard closes, and the RuleBase/PE GUI main screen is displayed, with all the available features.



 
 





    About IBMPrivacyContact