RuleBase SixthSense Edition       

links

 Gadiel Auerbach photoZiv Nevo photo

RuleBase SixthSense Edition - overview


RuleBase SixthSense Edition is IBM's formal verification platform, jointly developed by the EDA team in IBM's Systems and Technology Group and the Formal Verification Group in IBM's Haifa Research Lab.

Visit our official website.