Real Intent is a provider of assertion-driven formal verification systems. Verix, Real Intent's assertion-driven formal verification system, can be used in an automatic Implied Intent mode or a user-driven Expressed Intent (user assertions) mode. Verix' scalable hierarchical formal methodology is an industry first. SimLink, another Verix feature, tightens the links between its formal functional methodology and simulation. Verix Clock Intent Verification, uses the power of formal verification to perform exhaustive clock domain analysis.