新思科技(Synopsys)与智原科技(Faraday Technology)日前共同宣布,智原科技已经运用Synopsys的VCSR全系列RTL验证解决方案和VeraR测试平台自动化工具,有效提升智原32位RISC FA5 CPU内核验证整体效率。
智原科技研发副经理谢汉卿表示:“在我们建构CPU Core验证的过程中,采用了新思科技的VCS RTL验证解决方案的代码覆盖(code coverage)功能,来快速便捷地检验出我们RTL验证的完整度。另外,我们也采用了Vera去建立一个完整的验证环境,以确认当初所定义的功能覆盖是否都能达到目标。”
新思科技与智原科技在智原FA5 CPU Core的验证工作的共同努力下,达成了智原FA5 CPU Core高品质的目标。由于整合新思科技的VCS和Vera验证解决方案,以及智原科技随机约束(constrained-ramdom)测试方法,智原的CPU Core才得以快速的量产。运用Vera所建立的随机约束模型和功能覆盖的测试基准,让智原的验证团队快速的达到功能覆盖的目标。同时,VCS的内置覆盖准则,让验证团队能够在模拟过程中判断其RTL代码覆盖的完整度。
京公网安备 11011202001138号
