Mentor Graphics公司，西门子公司，很高兴地宣布可以使用Questa Formal 2021.1。该解决方案在模拟测试环境可用之前发现模糊的bug，通过详尽的分析增加设计信心，并且通过针对难以完成的验证任务提高生产力和功能验证质量。
Questa Formal Apps会根据给定的一组属性静态分析设计的行为;然后以宽度优先搜索的方式彻底探索所有可能的输入序列。这揭示了设计错误，否则可能会被忽略，或无法用基于模拟的方法发现。
Questa正式应用程序通过全面解决传统方法难以完成的验证任务，提高了验证效率和设计质量，而且它们不需要正式的或基于断言的验证经验。
