西门子数字化工业软件于近日推出Questa Verification IQ软件，该突破性解决方案有助逻辑验证团队克服下一代集成电路（IC）的复杂设计挑战。Questa Verification IQ是以团队为基础的云计算软件，由数据文件驱动，采用人工智能（AI）技术，有助加速验证收敛、简化追溯性、优化资源，并加快上市速度。
传统上，IC开发周期中有超过70%的时间都在执行逻辑验证。随着新一代IC设计的复杂度不断提高，实现设计收敛（即了解工程师已充分执行正确的验证类型，以确保设计能完美运行）就成为日益严峻的挑战。Wilson Research在2022年开展的一项产业研究显示，取得首次晶体硅设计成功的验证团队比例已从2014年的31%下降至2022年的仅24%，而这也是过去20年来的最低记录。
Questa Verification IQ专为协助设计团队更快实现设计收敛而打造，其与业界最先进的Siemens Polarion REQUIREMENTS软件紧密集成后打造的平台，能从项目生命周期内自动截取由引擎运行产生的所有资料，并协助客户在整个设计与验证流程中管理要求、编码、测试与发布。新平台同时针对功能安全性合规任务，提供优化的数字主线，实现从要求一直到验证结果再到实例的追溯性。
Questa Verification IQ可统一来自不同环境的形式验证和模拟引擎的覆盖率资料，包括西门子Questa平台、OneSpin软件、Symphony模拟和混合信号模拟平台，以及用于硬件模拟和原型验证的西门子Veloce。Questa Verification IQ的机器学习功能将随即分析资料，以预测时序特征和漏洞、识别根本原因，并为潜在问题提供解决方案；进而帮助提高效率，并为团队提供所需的资讯，令其可充满信心地进行Signoff。
西门子EDA的设计验证技术副总裁暨总经理Abhi Kolpekwar表示，全球一流的芯片设计与验证企业正皆在运用大数据，以推动创新、简化运行与提高效率。西门子全新的Questa Verification IQ以先进的数据文件驱动，利用分析、协作与可追溯性加快并简化验证流程，与西门子的Polarion REQUIREMENTS结合使用，将取得更优异的效果。
Questa Verification IQ基于网络的应用架构，能以最少的安装成本提供可扩展的验证管理，无需指定的设备与操作系统。Questa Verification IQ支持公用、私人与混合云计算配置，实现本地协作和集中式资料访问，可帮助全球工程团队即时协作，加快验证管理流程，并提供即时项目曝光率。Questa Verification IQ也充分集成Jenkins等常用持续集成（CI）工具，以实现工作流程自动化。
(首图来源：西门子提供)