RuleBase SixthSense Edition
RuleBase SixthSense Edition represents the third generation of successful formal verification technology in IBM. The tool combines powerful property checking capabilities with advanced sequential equivalence checking technology and a unique transformation-based verification framework.
The widening verification gap forces VLSI teams to reconsider existing methodologies and processes. An emerging trend is breaking the traditional partitioning between design teams and verification teams, making designers more involved in the verification process of their own code.
Soft Error Verification
Soft errors are transient bit-flips caused mainly by cosmic radiation, package radioactivity, or signal integrity issues--and can contribute to performance degradation and silent data corruption. We develop tools to help ensure that reliability requirements are properly met, especially in high end systems running mission-critical applications.
Quantum Circuit Simulation
As part of the global development effort of IBM Q, IBM’s quantum computer, and the related software stack QISKit,we develop and analyze approximate noise models to better understand the behavior of quantum algorithms when run on noisy (i.e., non-fault-tolerant) quantum machines. These also serve as efficient, realistic reference models for the hardware.
IBM Functional Coverage Unified Solution (IBM FOCUS)
IBM FOCUS is an advanced test planning tool to improve the testing of applications. The tool uses Combinatorial Test Design to generate an efficient test plan, providing consistent coverage across the test space at a known depth, while significantly reducing the required resources.