基于功能信息的验证工程学过程模型研究

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:kongs874
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对当前集成电路功能验证面临的问题,通过引入工程学思想,研究了集成电路功能验证的工程学问题.以功能验证的过程模型为研究对象,在已有过程模型的基础上,提出了一种全新的功能验证过程模型--基于功能信息的验证工程学过程模型,并讨论了模型中的若干具体问题.该模型在提高验证并行度和促进验证重用等方面有积极意义.
其他文献
<正> 心内电生理检查极大地推动了心律失常的诊治,目前国内成人已广泛开展。由于小儿对诱发的心律失常耐受力较低,与成人相比可能有较大的潜在危险,加之系有创检查,因此在小
为探讨恶性血液病的有效治疗方法,应用自体骨髓移植(ABMT)38例,自体外周血造血干细胞移植(ABSCT)13例,自体外周血造血干细胞与自体骨髓联合移植15例。治疗白血病54例,恶性淋
目的:探讨小儿支原体肺炎的临床特点,提高其诊断率.方法:分析113例小儿支原体肺炎的临床资料.肺炎支原体(MP)检测采用聚合酶链反应(PCR)技术进行测定.结果:小儿支原体肺炎发
目的:探讨发生急性高原反应时和习服后心功能变化.方法:对比研究高原(日喀则,海拔3900m)56例发生急性高原反应者和平原(西安,海拔400m)56例年龄和性别匹配的健康对照者心功能
目的:评价心率对64层螺旋CT冠状动脉造影图像质量的影响及解决方案。方法::将112例冠心病按心率快慢分为4组:A组≤60次/min,B组(61~74)次/min,C组(75~89)次/min,D组≥90次/min。分别对重建图像
目的:探讨动脉性上消化道出血的休克病人经导管栓塞止血治疗的临床应用价值.方法:3例十二指肠球部出血伴休克的病人,腹腔动脉造影示腹腔动脉显影差,经导管注入利多卡因后,腹
目的:考察药材市场的生、制首乌的药材质量.方法:采用Zorbax SB-C18柱,用乙腈-水(25:75)为流动相,在320nm处检测二苯乙烯甙的含量.结果:二苯乙烯甙平均含量生首乌为1.4016%,
准分子激光角膜切削术(Photorefrac-tive Keratacomy,PRK),目前,在国内外已逐渐被眼科界接受,并逐渐普及。在正常眼球上作治疗,医生及病人共同担心的问题是PRK的并发症。二年
<正> 肝硬化并上消化道出血原因多系食管、胃底静脉曲张破裂,但也有不少病例是由于非静脉曲张破裂因素所致。随着内镜检查的普及,后者越来越为人们所重视。本文对近十年来我
病例 胡某,男,74岁,住院号:108576。2001年患者在市内某医院门诊检查空腹血糖为13.9mmol/L,诊断为“Ⅱ型糖尿病”。即服“盐酸二甲双胍片0.25,tid,美吡达片5mg,tid”,治疗2年。后因血糖控