RuleBase SixthSense Edition
RuleBase SixthSense Edition represents the 3rd generation of formal verification technology in IBM. The tool combines strong property checking capabilities along with advanced sequential equivalence checking technology and a unique transformation-based verification framework. These capabilities originated in the two former IBM FV tools, namely RuleBase Parallel Edition and SixthSense. Altogether RuleBase SixthSense Edition supersedes its two predecessors in terms of capacity and is the most powerfull formal verification tool ever made by IBM.
RuleBase SixthSense Edition is used intensively by IBM verification engineers and logic designers, as well as by several external customers. It offers a full-fledged support for VHDL, Verilog and SystemVerilog HDL languages, along with excellent PSL and SVA property specification language capabilities.
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.
Diver is built to be an easy-to-use, yet very powerful tool for designer-level verification. With Diver, logic designers are able to exercise various levels of verification-related tasks on their logic blocks, ranging from initial design exploration to complex bug hunting. Diver does not require learning a new verification description language but rather provides an intuitive graphical user interface for specifying design behavior and expected results.
Soft Error Verification
Soft errors are transient bit-flips mostly caused by cosmic radiation, package radioactivity, or signal integrity issues. While not indicating a permanent hardware defect, soft errors may still be hazardous to the design with their effect ranging from possible performance degradation to silent data corruption. As resiliency against soft errors is important, especially in high-end systems running mission-critical applications, tools and methodologies to effectively ensure that reliability requirements are properly met are needed.
In this activity we are developing a technology aimed at assisting design and verification teams in their reliability analysis and verification tasks. The goal is to have a tool which is able to accurately quantify chip reliability and point at logic areas which need to become more robust in order to meet the given chip reliability requirements.