【摘 要】
：
该文主要讨论高级综合系统ＲＴＬ（ｒｅｇｉｓｔｅｒｔｒａｎｓｆｅｒｌｅｖｅｌ）级综合结果正确性验证策略的确定及验证系统设计中ＤＦＧ（ｄａｔａｆｌｏｗｇｒａｐｈ）逆向获取算法的设计与实现．算法主要包括４个处理阶段：ＦＳＭ（ｆｉｎｉｔｅｓｔａｔｅｍａｃｈｉｎｅ）动态分析及控制输出获取；ＦＳＭ当前状态下数据通道有效
论文部分内容阅读
该文主要讨论高级综合系统ＲＴＬ（ｒｅｇｉｓｔｅｒｔｒａｎｓｆｅｒｌｅｖｅｌ）级综合结果正确性验证策略的确定及验证系统设计中ＤＦＧ（ｄａｔａｆｌｏｗｇｒａｐｈ）逆向获取算法的设计与实现．算法主要包括４个处理阶段：ＦＳＭ（ｆｉｎｉｔｅｓｔａｔｅｍａｃｈｉｎｅ）动态分析及控制输出获取；ＦＳＭ当前状态下数据通道有效元件分析；数据通道结构到ＤＦＧ操作结点转换；ＤＦＧ结点间数据依赖关系分析、共享寄存器变量分离及有向边的形成．
This paper mainly discusses the confirmation of the correctness of RTL (registertransferlevel) level synthesis verification scheme and the design and implementation of DFG (dataflowgraph) reverse acquisition algorithm in the verification system design. The algorithm mainly includes four processing stages: dynamic analysis of FSM (finitestatemachine) and acquisition of control output; effective element analysis of data channel in FSM current state; conversion of data channel structure to DFG operation node; data dependency analysis of DFG nodes, shared register Variable separation and the formation of directed edges.
其他文献
地下水防治在深基坑工程中是一项事关全局的工作,是导致工程事故最直接的因素之一,针对当前地下水防治中存在的主要问题,在工程进行中的不同阶段,提出了几点预防措施.
[目的]探讨妊娠期高血压疾病合并急性左心衰竭的处理要点及终止妊娠的时机、方式.[方法]回顾性分析27例妊娠高血压疾病并发急性左心衰患者的临床资料.[结果]27例患者经积极控
目的探讨分析老年性胃病的临床表现及治疗体会.方法38例于2011年6月-2012年5在我院消化内科接受治疗的老年慢性胃炎患者,随机将其分成对照组和观察组各19例,对照组患者通过三
医院现代化离不开医学装备现代化,医院医疗设备管理制度的不完善、设备的配置不合理和设备维护的非专一性等是医院一直存在的问题,医疗设备管理引入精细化管理,它是社会分工
有关标称秤量、分段秤量、集中载荷秤量以及r-因子这类术语往往被误解或误用。在此对这些术语的来源、意义以及如何用其正确描述汽车衡做一回顾。
Terms such as nominal we
总结1例乳头结缔组织增生性毛发上皮瘤的护理.认为护理的要点为:加强心理护理,指导患者自我观察伤口情况、自我观察肿物大小,及时发现异常情况.
图书文献资源共享是图书馆事业高度发展的一个重要标志,也是现代图书馆发展必然趋势.本文从现代化科技发展和图书馆事业自身发展两个方面分析了图书馆文献资源共享的必要性,
随着房屋建筑标准要求的提高,深基坑支护工程随之增多,也越来越收到行业的重视,尤其是安全问题是重中之重,本文重点介绍深基坑支护的方法和注意事项
通过Windows Media技术以及流媒体编辑软件AsfTools2.30、Windows Media编码器实现节目的录制,以及网络上的节目在线点播和在线直播,把广播和网络有机地结合起来,拓展了新的
文章分析了当前乌海气象信息网络安全的现状和面临的威胁以及网络安全问题的特点,提出和归纳了相应的网络安全措施。
This paper analyzes the status quo and threats of t