Verification of ICs and digital intellectual property. Products include Solidify, a static functional verification engine that provides vectorless verification, code coverage, simulation monitors, and testbenches; and SolidAC, which automatically checks a circuit for common design problems. The company also provides SolidPC, an automatic AMBA protocol verifier to verify design module compliance with protocols; and SolidTC, an automatic timing constraint verifier to verify the correctness of false-path and multi-path constraints in a timing exceptions file.
