覆盖率驱动的随机仿真综述.doc

覆盖率驱动的随机仿真综述.doc受约束随机仿真研究综述姚爱红I李玲I孙盟哲I唐滨I袁莉娜2M哈尔滨工程大学计算机科学与技术学院哈尔滨15000))?(中国科学院电子学研究所空间信/处理与应用系统重点实凝室 北京100190)摘要:受约束随机仿真技术通过分析覆盖率信息指导随机激励生成,提高SoC等复杂数字系统验证过程的效率和自动化程度。本文根据激励生成过程中是否需要待验证设计的结构信息,将受约束随机仿真分为基于学****的仿真和基于构造的仿真两类。从约束自动生成、覆盖率分析、面向SoC的随机仿真以及硬件加速技术等方面,对受约束随机仿真涉及的关键技术进行了介绍和分析,并对未来的发展趋势和研究方向进行了展望。关键词:功能验证;随机仿真;SoC;覆盖率中图分类号TP302 文献标识码ASurveyofConstrainedRandomSimulationYaoAi-hong1LiLing1SunMeng-zhe1TangBin1YuanLi-na2'(puterScienceandTechnology,HarbinEngineeringUniversity,Harbin150001,China)2(KeyLaboratoryofTechnologyinGeo-SpatialInfomialionProcessingandApplicationSystem,InstituteofElectronics,ChineseAcademyofSciences,Beijing100190,China)Abstract:Constrainedrandomsimulationtechniquesmaketheverificationprocessmoreefficientandhigherdegreeofautomationwithcoverage-,constrainedrandomsimulationcanbecategorizedintothelearning-basedsimulationandtheconstruction-,coverageanalysis,SoC-eleration,:FunctionalVerification;ConstrainedRandomSimulation;SoC;,生产能力、设计能力和验证能力上的不协调愈加严重。而形式化验证受限于状态爆炸等问题,所能处理的设计规模和复杂度都还远不能满足复杂数字系统验证的需要。基于仿真的验证通过输入测试向昂:搜索设计空间,具有宜观、易用并能在早期发现绝大多数缺陷的优点,是目前广泛应用的验证方法。在基于仿真的验证过程中普遍采用了随机激励生成技术以提高验证过程的自动化程度,其收