CTIMES- 思源新版功能验证系统提升侦测与检验功能 :思源

思源科技（Springsoft）於日前宣布，Certitude功能验证系统将能够以更多元且更具效率的方式配置验证方法。新推出的自动侦测与验证环境检验功能是其中主要的创新，以更少的资源，迅速确认晶片验证环境中的潜在问题，同时持续改良验证流程。

功能验证就是确认晶片设计建置依据指定方式运作的流程。Certitude软体是市面上独家提供，能够客观验证IP与系统单晶片(SoC)设计检验机制与测试的工具。Certitude技术平台扩充的目的在於尽早、且更频繁地检查重要功能，确保验证环境拥有高信心水准的「signoff」品质。

思源科技的Certitude软体结合专利自动化技术，以及以变异为基础(mutation-based)的技术与静态分析，能够评估效能、确认重大缺失，并且改善HDL模拟验证的结果品质。换句话说，这套系统会将错误(人为变异)置入暂存器转换阶层(RTL)设计中，并且使用工程师选择的数位逻辑模拟工具，针对每一项变异进行测试。
...
...