【摘 要】
：
模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交
论文部分内容阅读
模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.
其他文献
目的 分析胸腺肽辅助抗菌药物对于AECOPD的治疗价值.方法 选取我院进行治疗的AECOPD患者92例,分为两组,分别使用胸腺肽联合抗菌药物和单纯使用抗菌药物,观察实验组和对照组的
在Web挖掘中,应用关联规则发现方法可以发现Web页面之间用户访问的关联度.由于Web站点内含丰富的页面结构信息,也由于用户的访问总是要遵循一定的访问顺序,因此提出一种新的
目的 探讨支气管肺泡灌洗氨溴索治疗支气管扩张并感染的疗效.方法 将120例支气管扩张并感染患者随机分为用氨溴索灌洗的治疗组60例和用生理盐水灌洗的对照组60例,均每3天灌洗
人类文化遗产的数字化应用是数字图书馆计划的重要组成部分.目前,数字化手书中文古籍尚缺乏有效的内容检索手段.提出了一种基于视觉相似性的计算机古籍内容检索方法,研制出关
目的 分析标准化化疗加胸腺肽治疗纵隔淋巴结核的临床疗效.方法将42例纵膈淋巴结核患者随机分组为胸腺肽干预组及对照组,其中干预组19例,对照组23例,治疗中有2组退出,对照组
肺部疾病以往临床主要依靠X线、CT等放射学检查。随着彩色多普勒超声技术的普及应用，成为诊断肺部疾病的手段之一[1]。本文分析2005年一2011年本院住院及门诊病人426例，均经临
现代光学技术正日新月异、大放异彩，而大学物理的光学课程课堂效果却不甚理想，学生学习的积极不高、自主解决问题的能力较差。针对这些问题，作者结合自身和其他相关教师的授课经
深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其
未来的世纪需要大批创新型人才，这就要求学校教育在全面推进素质教育的过程中注重培养学生的创新能力。英语作为一门重要的工具学科，其教学目的是让学生具有扎实的英语基础知识
目的观察胸腔镜下实施肺癌根治术的临床疗效及安全性。方法选取我院收治的90例肺癌根治术患者作为研究对象,按照手术方法不同分为观察组与对照组各45例,观察组给予胸腔镜下肺