Skip to main content

RuleBase Parallel Edition

Formal Verification

Evaluate RuleBase PE

Evaluation Platforms

Support is available for both VHDL and Verilog:

  • Verilog: via IBM Portals Verilog compiler.
  • VHDL: via IBM Portals VHDL compiler or Synopsys compiler Compiler.

RuleBase/PE currently runs on IBM and Intel machines:

  • IBM: RS/6000 running AIX
  • Linux Kernel, Red-hat
  • For details regarding versions, please contact IBM Haifa