基于功能虚拟原型的验证方法.pdfVIP

No．2 第37卷第2期 电子科技大学学报 、7|01．37 ofElectronicScienceand ofChina Mar．2008 2008年3月 Journal Technology ofUniversity 基于功能虚拟原型的验证方法 江洪波1，黄盈2 (I．华中科技大学电子与信息工程系武汉510006；2．电子科技大学计算机科学与工程学院成都610054) 【摘要】为解决片上系统验证和设计不能同步、系统级验证效率低下的问题，该文基于统一验证方法提出一种基于可演 化模型的三级验证过程模型．该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成，在不同设计阶段复用相同 的系统级验证环境，可减少验证的重复工作，将其应用于设计的整个流程，可成功地实现验证和设计同步，提高验证效率． 关键词仿真；功能虚拟模型：片上系统：统一验证方法 中图分类号TP391．9 文献标识码 A Verification BasedonFVP Methodology JIANG andHUANG Hong-B01 yin92 and Wuhan ofElectronicsandInformation ofScience 510006； (1．Department Engineering,HuazhongUniversity Technology 2．School Scienceand ofElectronicScienceandTechnologyofChina ofComputvrEngineering,University Chengdu610054) AbstractGiventhe ofthe of on ofthemain of complexityfunctionalitysystemchip(SOC)，onechallenges currentIC iSnomorethanverification．Weafunctionalvirtual to design implemente in the ofunifiedverification tosolvethe betweenandverification blueprint methodologysynchronizationdesign SOC FVPiSbasedonthreelevelsof development．The ofverificationCanbe FvPasa model． level(RTL)．Theemciency improvedbyUSing system．1evel words functionalvirtual on unifiedverification system meth