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


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 , Sun, and Intel machines:
  • IBM: RS/6000 running AIX
  • Solaris
  • Linux Kernel, Red-hat
  • For details regarding versions, please contact IBM Haifa

The Mechanics of Starting an Evaluation



 
 





    About IBMPrivacyContact