Cadence设计系统公司宣布，Unisys公司已经将Cadence Incisive Formal Verifier( IFV)纳入它的设计流程，以便进行基于断言的形式分析。利用Incisive Formal Verifier，Unisys在众多场所提供先进复杂的芯片时获得了生产率的提高和整体质量的改善。