数字集成电路验证方法学2013年12月31日2016-11-192主要内容?验证的必要性?验证方法学介绍?验证工具介绍?演示共69页2016-11-193主要内容?验证的必要性?验证方法学介绍?验证工具介绍?演示共69页2016-11-194验证的必要性?验证的概念,验证与测试的区别。?经验表明,验证已经占到整个产品开发周期的70%以上,它已经成为复杂SOC(System on-Chip)开发中的重要壁垒。?制造、设计和验证能力之间的鸿沟共69页2016-11-195典型流程时序不满足动态仿真正确Verification is not just very hard, it is very, very hard?没有一个简单的工具可以解决你所有的验证问题。(VSIA,VirtualSocketInterfaceAlliance)系统功能不满足系统规划满足功能不正确系统结构不合理时序不满足动态仿真正确功能正确共69页2016-11-196主要内容?验证的必要性?验证方法学介绍?验证工具介绍?演示共69页2016-11-197验证方法学?方法学:又称方法论,是一门学问采用的方法、规则与公理;一种特定的做法或一套做法。?验证方法学:指完成验证过程中的一系列方法、技术和规范。? ?? -11-198仿真技术?基于事件的仿真--任何一个输入的变化都被标记为事件,即常说的功能仿真,精度高,速度慢。比如Modelsim, VCS。?基于周期的仿真--单周期内只检查一次输入并计算设计的输出逻辑值。速度快,无时序、毛刺。比如Cyclone。?事务级仿真--一堆事件的集合即为事务,即常说的验证平台。?软硬件协同验证--需要专门的软硬件,成本高。共69页传统验证系统2016-11-199?DUT:Design Under Test?适用于基于事件的仿真和基于周期的仿真。?适用于简单的设计。缺点:-11-1910适用于事务级仿真优点:
数字电路验证方法学创新 来自淘豆网m.daumloan.com转载请标明出处.
