重用控制器综合技术实现RTL综合

讨论在RTL综合中重用高级综合中控制器综合技术的可行性,提出一种通过将RTL描述划分为时序逻辑与组合逻辑后,重用控制器综合中的组合逻辑综合和时序逻辑综合实现RTL综合的方法。此方法有效地利用了已有了成熟技术,为缩短RTL综合的开发时间提供了一种有效途径。     

神经元计算芯片的VHDL算法级与RTL级模型的建立及模拟

本文针对神经元计算芯片的指令系统和体系结构，详细讨论了复杂电路的ＶＨＤＬ建模及模拟验证方法，分别给出了该芯片的算法级描述和ＲＴＬ级描述，并用相同的测试台对两级描述进行了模拟，验证了描述的正确性和功能的等价性。     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

高级综合中循环的综合方法研究

循环语句是高级综合中非常重要的语法现象^[1]。不同的循环语句（无限循环语句，有限循环语句和条件循环语句）应用于不同的场合，对不同循环语句的综合方法也不同。从VHDL语言的循环语句入手，研究高级研究中循环的综合方法，说明了VHDL语言中应用到不的各种情况和它们的综合方法，同时阐明了循环中的exit语句和next语句的综合方法。     

系统级仿真中单片机的VHDL建模和应用

VHDL是目前通用的硬件描述语言,它支持行为级和结构级的硬件描述,其描述的层次可以从最抽象的系统级一直到可实现的逻辑级的最底层。在描述数字系统时,VHDL可以使用前后一致的语义和语法,并可以使用跨越多个级别的混合描述仿真该系统。因此,可以对由高层次行为描述和低层次详细实现组成的系统进行仿真。     

基于模糊理论和ANN的复杂对象系统综合评价方法研究

对应用模糊综合评价方法和人工神经网络解决复杂对象系统综合评价问题的原理和特点进行了分析和比较,提出了模糊综合评价方法与ANN相结合的综合评价方法是复杂对象系统行之有效的一种评价方法,并就二者的结合,即模糊神经网络模型的建立及其关键技术进行了探讨。     

静电探测器信号采集与基于数字综合算法的干扰抑制滤波器方法研究

通过对静电目标特性的介绍,了解到静电探测器采集到信号是个低频的变化过程.为了准确的识别目标,提出一种基于数字综合算法的干扰抑制滤波器方法.该方法通过在滤波器频率响应的副瓣区放置大量的干扰信号,改变干扰信号的功率强度,从而自适应地控制滤波器频率响应的副瓣电平.这种方法所设计的滤波器,在其副瓣区域可以设计为任意形状,很容易满足实际应用的要求.设计实例证实了这种方法的有效性.     

对象式程序的正确性验证方法研究

介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．     

基于平台的系统级芯片设计方法

介绍了系统设计方法和基于平台的SoC设计，描述了基于模块和系统统的IP复用设计方法，讨论了硬件和软件的协同设计以及系统芯片设计发展中所需要改进的关键问题并展望了未来的研究方向。     

利用直接数字式频率综合技术（DDFS）综合低频扫频系统的的原理和方法

本文论述利用ＤＤＦＳ技术综合低频扫频系统的原理方法以及ＤＤＦＳ技术的特点．     

Verilog HDL语言RTL级描述的可综合性

所谓逻辑综合就是将较高抽象层次的描述自动转换到较低层次描述的一种方法。由于Ｖｅｒｉｌｏｇ ＨＤＬ（Ｖｅｒｉｌｏｇ Ｈａｒｄｗａｒｅ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌａｎｇｕａｇｅ）本身的特点，许多面向仿真的语句虽符合语法规则却是不能综合的，这在设计中必须加以避免。同时讨论了如何写出Ｖｅｒｉｌｏｇ ＨＤＬ可综合风格的ＲＴＬ（Ｒｅｇｉｓｔｅｒ Ｔｒａｎｓｆｅｒ Ｌｅｖｅｌ）级语言描述的程序。     

优先级资源共享在RTL综合中的实现

针对现场可编程门阵列内部复杂算术操作资源有限、资源占用面积较大以及RTL级(寄存器传输级)综合中面积优化大多仅针对一般逻辑操作的问题,提出了一种优先级资源共享方法.该方法通过改进普通的资源共享方法,使不同时刻进行的算术逻辑单元(ALU)按照相同输出、相同输入、无共同端口的优先级顺序依次进行共享.实验结果表明:该方法不仅可以减小ALU的个数,达到面积优化的效果,而且和普通的资源共享方法相比,其所需多路选择器更少,时序结果更好,还能避免数据流冲突.     

基于遗传机制的图着色分配算法的研究

高层次综合中通过对冲突围着色方式把操作，变量值，数据传输映到共享资源中，然而寻找图着色所需的最小颜色数目是个ＮＰ难题，现将遗传算法与图着色分配算法有机结合在一起，提出了基于遗传机制的图着色分配算法，最后通过实验验证了该算法的有效性。     

I/O通讯中时序和同步的高级综合

研究VHDL中表示时序和约束的方法和综合前后模拟一致性在不同设计中的含义.根据这一含义,说明并实现了VHDL中循环语句的综合方法、条件语句和分支语句的综合方法,并实现了与循环有关的其它语句的综合.通过典型的例子给出程序的运行结果,说明实现的方法具有正确性和实用性.     

高温高压下合成立方氮化硼的方法

研究温度，压力和升压速率对使用催化剂合成琥珀色立方氮化硼的影响，结果表明，在本实验条件下，合成立方氮化硼所用的温度，压力都低于合成金刚石的值；减慢超压速度有利于改善立方氮化硼的合成效果。     

N-酰化脯氨酰氯合成及其机理研究

对不同类型N－酰化脯氨酸进行酰氯化反应，合成了N－酰化脯氨酰氯，并对该酰氯反应机理稳定性作了探讨。     

负荷动特性综合方法研究

针对如何建立同类负荷动特性的综合模型问题,提出了基于实测响应空间的负荷动特性直接综合方法.该方法首先应用重心法确定同一类负荷特性的聚类中心,再通过对聚类中心等效样本进行参数辨识,以得到的模型参数作为该类负荷特性的综合模型参数.通过对某一变电站现场采集的负荷特性数据进行综合建模,结果表明该方法正确有效,而且其实现比综合辨识建模以及参数加权平均综合建模更为简便.