论文部分内容阅读
随着设计复杂度的增加,以及SoC 应用的普及,功能验证的重要性在日益增加。传统的基于仿真的验证需要数百万的测试向量来验证一个行为,而且仿真一般都处于系统集成完成后,因而设计返工次数多,验证的可靠性不能保证。Verisity 公司提供的前端验证工具 SPECMAN 和 e 语言是为验证工作量身定做的系统。Verisity 在中国大陆的唯一授权代理商新益(NewPlus)系统科技有限公司总裁彭
As design complexity increases, and the popularity of SoC applications, the importance of functional verification is on the rise. Traditional simulation-based verification requires millions of test vectors to verify a behavior, and the simulation is generally completed after the system integration, so the design rework frequency, the reliability of verification can not be guaranteed. The SPECMAN and e languages, the front-end verification tools provided by Verisity, are systems tailored to verification efforts. Verisity’s sole authorized agent in mainland China NewPlus System Technology Co., Ltd. President Peng