导读:本文包含了数字系统设计自动化论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,会议,简讯,中国电子,控制器,非标准,故障诊断。
数字系统设计自动化论文文献综述
沙毅[1]（2005）在《数字系统设计自动化中控制器综合的验证研究》一文中研究指出EDA技术日新月异,自顶向下硬件设计方法的应用日益广泛,不断显示出它的强大优越性。支持自顶向下设计方法的基本技术是自动综合,综合是EDA的关键技术之一。为了保证综合结果的正确,就必须对它进行验证。自动综合技术的发展给硬件设计正确性验证带来了新的问题。 数字系统高级综合包括数据通道综合和控制器综合。本文研究基于完全确定有限状态机模型的控制器综合的正确性验证,给出了基于图同构求解的验证方法。为了利用图同构方法对控制器综合进行验证,本文采用状态转换图STG_org表示控制器的源行为描述。状态转换图顶点中的多输入多输出逻辑函数表示对应状态的输出,图中边上的单输出逻辑函数表示状态转移条件;用一个八元组NetList表示控制器综合结果的结构实现,八元组包括输入符号,输出符号,状态存储器的输入,输出网络,状态转换网络,状态存储器,状态存储器的输出和状态存储器的初始输出。本文先从NetList逆向分析得到与控制器结构实现的行为等价的状态转换图STG_ext,然后分别对两个STG状态最小化,最后对两图利用图同构方法判定控制器综合前源行为描述与综合结果的行为描述是否等价。 在对控制器综合结果的正确性验证研究中,本文主要解决了下列两个问题: (1) 从控制器综合结果到控制器行为描述的逆向分析 (2) 两个完全确定有限状态机的状态转换图的同构证明 在解决上述问题过程中,设计了下列算法: (1) 逆向分析算法 (2) 两个完全确定有限状态机的状态转换图的同构算法 并对算法进行了较为详细的分析,给出了算法的时间复杂度。(本文来源于《安徽大学》期刊2005-05-01）
梅宏亮,陈泽文,孙晓光[2]（2004）在《数字系统自动化实验板的设计与实现》一文中研究指出FPGA技术给设计创新、管理、模拟和综合提供了一个完整的、无缝的解决方案,它使系统开发人员能够很快速地实现从概念到具体实现的转换,从而具有缩短开发周期、降低开发成本的优点。FPGA的广泛应用正成为一种必然趋势。于是设计开发了这一款数字系统自动化实验板,并在此实验板上实现了一个比较有难度的例子:MP3播放器。此实验板适用于教学和个人自学。(本文来源于《计算机工程与设计》期刊2004年05期）
[3]（1997）在《第七届全国数字系统设计自动化学术会议在忻州召开》一文中研究指出第七届全国数字系统设计自动化学术会议在忻州召开由中国计算机学会计算机辅助设计与图形学专业委员会数字系统设计自动化学组主办的第七届全国数字系统设计自动化学术会议（原“全国逻辑设计自动化学术会议”）于１９９７年６月９日至１２日在山西省忻州胜利召开。本届会...(本文来源于《计算机学报》期刊1997年09期）
彭建华[4]（1990）在《南航推出数字系统设计自动化软件》一文中研究指出南京航空学院研制成功适合于中、小企业应用的数字系统设计自动化软件SDSD,并于最近通过了省级技术鉴定.(本文来源于《航空工艺技术》期刊1990年06期）
[5]（1984）在《第叁次全国数字系统设计自动化(DA)会议简讯》一文中研究指出中国电子学会计算机学会于今年10月8日至13日在烟台市召开了第叁次全国数字系统设计自动化学术交流会。涉及逻辑模拟、测试诊断、布线布局、辅助设计和系统支撑等领域的112篇论文得到交流。两位代表在大会上介绍了1984年美国第21届DA会议和1984年第14届(本文来源于《电子学报》期刊1984年06期）
真鸣[6]（1983）在《全国数字系统设计自动化(DA)会议在昆明召开》一文中研究指出一九八二年九月廿日至二十五日召开了全国数字系统设计自动化(DA)第二次学术交流会。参加这次会议代表164名,收到论文92篇。从学术报告中可见:目前我国在DA方面的研究已遍及DA的各个领域,并取得了有实用价值的成果,出现了近年来新开拓的领域如自动逻辑综合等,这表明了我国数字系统设计自动化方面的工作,正处于蓬勃发展的阶段。(本文来源于《计算机学报》期刊1983年01期）
[7]（1983）在《全国数字系统设计自动化学术交流会在明昆召开》一文中研究指出去年九月在昆明召开了全国数字系统设计自动化(DA)第二次学术交流会。收到论文102篇,内容涉及系统及DA数据库、各级模拟、故障诊断与测试、自动逻辑综合以及实体设计等DA领域的各个方面。来(本文来源于《电子学报》期刊1983年01期）
数字系统设计自动化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
FPGA技术给设计创新、管理、模拟和综合提供了一个完整的、无缝的解决方案,它使系统开发人员能够很快速地实现从概念到具体实现的转换,从而具有缩短开发周期、降低开发成本的优点。FPGA的广泛应用正成为一种必然趋势。于是设计开发了这一款数字系统自动化实验板,并在此实验板上实现了一个比较有难度的例子:MP3播放器。此实验板适用于教学和个人自学。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
数字系统设计自动化论文参考文献
[1].沙毅.数字系统设计自动化中控制器综合的验证研究[D].安徽大学.2005
[2].梅宏亮,陈泽文,孙晓光.数字系统自动化实验板的设计与实现[J].计算机工程与设计.2004
[3]..第七届全国数字系统设计自动化学术会议在忻州召开[J].计算机学报.1997
[4].彭建华.南航推出数字系统设计自动化软件[J].航空工艺技术.1990
[5]..第叁次全国数字系统设计自动化(DA)会议简讯[J].电子学报.1984
[6].真鸣.全国数字系统设计自动化(DA)会议在昆明召开[J].计算机学报.1983
[7]..全国数字系统设计自动化学术交流会在明昆召开[J].电子学报.1983
论文知识图
