: Includes the Incisive Formal Verifier for advanced diagnostics and assertion debug capabilities to identify design flaws faster. Mixed-Signal Simulation
That being said, here's an essay on the topic: cadence incisive enterprise simulator crack