模拟验证中的激励产生和覆盖评估.pdf

模拟验证中的激励产生与覆盖评估：摘要 更加全面； (2)针对基于模拟的激励生成问题的特点，采用合理的参数设置；(3) 结合遗传算法以及激励生成问题的特点，实现了一种全局一局域混合搜索机制。实验 结果显示采用该方法可以高效地产生具有较高语句覆盖率，分支覆盖率、RTL传输故 障覆盖率，以及对应门级固定型故障覆盖率的模拟激励。 关键词： 设计验证，模拟，激励生成，覆盖评估 IN VECTORGENERATIONANDCOVERAGEMETRICS RESEARCHON DESIGNVERIFICATIONVIASIMULATION Wei Lu(ComputerArchitecture) DirectedProf．XiaoweiLi By Abstract verificationisthetaskof thata atwhatever Design verifyinggivendesign，specified certain a teams more level，has propertiesrequiredbyspecification．Usually,designspend than50％effortofthe onverification farsimulationisstill development nowadays．By for verificationand inverificationwill the workhorse 40％70％time primary design spent this therestillsome theverification consumed are problemsboring duringprocess．While verificationvia onehandthe of design simulation．On qualitypatterns engineersduring on other metrics can’tbe the hand often，and guaranteed coveragetaking intoaccountarenot atthese dissertationcovers