Formal Verification
The Formal Verification group focuses on the research and development of new tools and methodologies to perform hardware model checking. Throughout the years the group has developed RuleBase PE, IBM's formal verification platform. The tool incorporates many novel model checking algorithms that can be run in parallel to achieve the fastest results. In addition to developing the technology, the group also has expertise in executing tough formal verification tasks, including large blocks, complex logic, and more.
Activities
