【摘 要】
：
随着芯片复杂度以及市场对集成电路上市时间要求的不断提高，对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个
论文部分内容阅读
随着芯片复杂度以及市场对集成电路上市时间要求的不断提高，对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要，利用CDFG，研究了基于CDFG的验证体系，给出了CDFG的几种定义，讨论了CDFG的表示方法，提出了基于CDFG的验证流程，研究了基于DFS的生成树算法、CDFG的分割算法和CDFG的搜索算法，并以实例说明了这些算法在验证流程中的作用。
其他文献
目的观察高频通气膈肌起搏器(HDP)治疗慢性阻塞性肺疾病(COPD)合并Ⅱ型呼吸衰竭的临床疗效.方法将72例COPD合并Ⅱ型呼吸衰竭患者随机分为两组:治疗36例,在常规治疗的基础上加
<正> 一九六一年美国肯尼迪就任总统时,他决定邀请一位诗人参加他的就职典礼。他自然而然地选中了罗伯特·弗洛斯特(Robert Frost 1874—1963);一则他们是新英格兰(New E
<正> In the history, there was a famous Englishman, Sir WalterRaleigh, who lived four hundred years ago. Once he laidhis cloak over a puddle of water so that Qu
目的了解乙型肝炎病毒(HBV)感染者血清中前S1(Pre Sl)抗原检测状况及其临床价值.方法对481例检测对象定性检测乙型肝炎标志物"两对半"、Pre S1以及肝功能试验.结果 Pre S1抗
<正> so(such)…that引导出结果状语从句,作“这么(如此)……以致……”解,但值得注意的是“so”和“such”的用法,稍不注意,就容易用错。为了使我们在运用中有个清楚的概念,
目的了解儿童各年龄组幽门螺杆菌(Hp)感染率,并探讨Hp对儿童微量元素的影响.方法应用Hp尿素酶IgG抗体(ELISA)法检测377例1-14岁儿童血清中Hp-IgG抗体,同时测量头发微量元素锌
目的分析HCG对卵巢癌细胞株3AO凋亡的影响,探讨HCG在卵巢癌发生发展中的作用.方法首先用顺铂诱导3AO细胞凋亡,然后在顺铂处理前后用不同浓度的HCG作用48 h,采用丫啶橙(AO)和
目的观察盐酸丁咯地尔用于脑梗死的疗效及用药反应,并对该药在治疗脑组织缺血方面的作用进行了探讨.方法选择68例脑梗死病人,用盐酸丁咯地尔(针剂)100mg加入5%葡萄糖或生理盐
目的探讨生殖道沙眼衣原体(CT)和解脲支原体(UU)感染与女性不孕的关系,并分析其在原发不孕和继发不孕中的作用.方法采用衣原体一步免疫层析法及支原体培养法,对37例原发不孕
以基于网络的动态测试为研究背景,在无GPS等时钟同步设备的条件下,设计一个基于LMS算法的自适应估计器,对参比系统、被测系统及误差处理器的时钟源同步误差进行在线估计,实现了对网络时延引起的时滞误差的动态补偿。仿真结果表明,该自适应时延估计器能够有效地对时钟源同步误差进行估计,网络化测试系统动态补偿后的总误差比补偿前下降了85%。