基于覆盖率驱动的高性能DSP指令集验证方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户:chentongxu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码。对“银河飞腾”高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50%,操作数覆盖率提高
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
在汉语到维语的统计机器翻译中,2种语言在形态学及语序上差异较大,导致未知词较多,且产生的维语译文语序混乱。针对上述问题,在对汉语和维语的语序进行研究的基础上,提出一种
面对严峻的大学生就业形势,提高就业率和就业质量已成为高校工作的重中之重,加强职业指导促进高校毕业生就业工作势在必行,意义重大.目前,高校职业指导存在诸多问题,表现为教
人体解剖学是一门古老的学科,研究正常人体的构造,属生物学形态学课,是医学各专业的基础课程。其专业词语繁多、知识枯燥,如何提高学生学习兴趣,使学生熟练掌握正常人体的构造,为将
目的本研究是对清肺化痰汤治疗小儿咳嗽痰热壅肺型的临床疗效进行评价。方法本研究采用随机对照临床试验,共纳入病例96例,所有病例均为2017年11月至2018年11月期间就诊于山西中医药大学附属医院儿科门诊,诊断为咳嗽,并符合本课题中西医诊断标准、纳入标准、排除标准、脱落及剔除标准的患儿。依据随机数字进行分组,采用1:1的比例分配,分为治疗组和对照组,每组各48例,治疗组给予清肺化痰汤;对照组给予盐酸
阳茂高速公路全线存在大量的高液限土,高液限土具有天然含水量大、亲水性和持水性强、透水性差等特性,晾晒有困难且不易粉碎,施工难度大,对工程的质量及经济效益有比较大的影
Investigations of technological characteristics and bonding mechanism of field-assisted bonding are done, which are for bonding of electrolytes (Pyrex glass) to
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
在革命战争年代,中国共产党人从来没有放松被称为没有硝烟的战争――反腐败斗争。在中央苏区,反腐败斗争深入持久,卓有成效。1934年春,中共中央和中华苏维埃共和国临时中央政
自学考试是专科职业院校在校学生学历提升的重要途径,本文结合多年专本套读自学考试本科的教学实践,从以下四方面进行探索和总结:在专科职业院校实施专本套读教育模式的内涵;专本