SixthSense Formal Verification - overview
SixthSense: Sequential Equivalence Checking and (Semi-) Formal Verification
SixthSense is a toolset for formal and semi-formal verification. It is used for functional verification (i.e., property checking), as well as sequential equivalence checking. Technically, SixthSense is built upon a transformation-based verification framework encompassing numerous synergistic transformation and abstraction algorithms. These algorithms iteratively simplify and decompose complex problems until they become tractable for formal reasoning engines. This framework allows for high scalability in proof and semi-formal falsification efforts.