XDL网表的前向电路图生成算法

作为描述FPGA(Field Programmable Gate Array)电路网表的XDL(Xilinx Design Language)描述文件,不仅能用于解析抽取FPGA设计的Inst电路单元和Net电路信号,而且能用于构建FPGA电路网表中信号传播的前向电路图模型。采用有向超图来构建FPGA电路网表中信号的前向拓扑关系,其中FPGA电路单元的有效管脚表示为超图结点,管脚间的外部连线、管脚内的电路逻辑功能表示为有向超边。给出了XDL网表级电路描述文件编译所需的EBNF表达式,提出了基于有向超图的XDL网表的前向电路图生成算法,进行了算法的时空复杂度分析。在Windows平台下基于RapidSmith开源软件实现了前向电路图生成算法,并选用基于Virtex-4型号FPGA测试用例的XDL网表,生成相应的前向电路图以验证XDL网表的前向电路图生成算法的正确性和有效性。

一种XDL网表电路到有向超图的转换系统

FPGA电路网表的XDL描述文件,不仅能通过解析来抽取FPGA设计的Inst电路单元和Net电路信号,而且能用于构建FPGA电路网表中信号传播的抽象数学模型.本文通过有向超图来构建FPGA电路网表中信号的前向拓扑关系,其中FPGA电路单元的有效管脚表示为超图结点,管脚间的外部连线、管脚内的电路逻辑功能表示为有向超边.进而,本文阐述了XDL网表级电路描述文件到有向超图的转换流程,给出了XDL网表级电路描述文件编译所需的EBNF表达式、XDL网表级电路到有向超图的转换算法.最后,本文基于RapidSmith开源软件和Java语言实现了转换系统,并选用基于Xilinx公司的Virtex-4型号FPGA的测试用例,实现了XDL网表级电路描述文件转换至有向超图,验证了XDL网表级电路描述文件到有向超图转换系统的有效性和正确性.

崇左XDL4500t/d生产线烧成系统热工分析

对崇左XDL4500t/d熟料生产线进行热工标定,其运行产量达到6351t/d,熟料综合煤耗为96.53kg/t、可比熟料综合煤耗为89.03kg/t。同时C1出口含尘浓度29.20g/m^3,计算得分离效率99%;出篦冷机熟料温度为68.7℃,烧成系统、篦冷机系统各项参数均处于领先水平。

一种评估单粒子效应的XDL网表级电路拓扑关系构建方法

针对空间环境中的单粒子效应对可编程逻辑器件电路信号传播的影响,提出了一种可评估单粒子软错误传播的网表级电路传播拓扑关系的构建方法。该方法借助综合后的XDL网表与器件资源映射关系,以深度搜索方法和单粒子敏感控制配置位匹配法则,构建基于器件底层资源架构的电路逻辑拓扑关系,细化了电路中的单粒子软错误传播过程。最终,以16分频电路为例简述本方法的实现过程,证明该方法在提升单粒子软错误率计算精度方面的有效性。

XDL高固气比预热分解窑长期运行情况分析

我公司现有一条Ф4.0 m×60 m生产线,窑尾预热器采用XDL高固气比水泥熟料煅烧工艺。该生产线原属陕西阳山庄水泥有限公司,于2010年8月建成投产。2011年底,该公司被陕西西部水泥收购改制为韩城尧柏阳山庄水泥有限公司。随着对该工艺的深入了解和管理的提升,该生产线较笔者管理过的其他同规模生产线而言,表现出节煤、节电。

高镁石灰石煅烧制度对熟料性能及熟料中方镁石形成的影响

采用高镁石灰石原料煅烧熟料通常会因熟料中方镁石含量多而造成水泥安定性不良,这严重制约了水泥行业的发展,本文借助化学分析、岩相分析、胶砂试验研究、光学显微镜,XRD、SEM等检测方法,探讨了XDL系统与NSP系统煅烧高镁石灰石原料生产熟料的适应性情况。对采用XDL系统煅烧高镁石灰石原料与NSP系统煅烧高镁石灰石原料的对比研究结果表明:XDL系统煅烧的熟料强度增幅快,方镁石含量低,尺寸小,熟料中生成了更多的A矿和B矿,且A矿晶粒形状规则,平均尺寸达30μm;采用NSP系统煅烧的熟料中A矿以M3型为主,XDL系统煅烧高镁石灰石原料能够将熟料中A矿稳定为M1型。

高固气比技术在2500t/d水泥熟料线的改造案例介绍

采用高固气比悬浮预热分解技术对宝江2 500 t/d生产线烧成系统进行技改后,预热系统出口温度从351℃降低至279℃,粉尘浓度(标况下,以下同)从151.6 g/m3减少至43.9 g/m3,系统分离效率大幅提高;入窑生料分解率从90.5%提高至98%,生产线熟料烧成煤耗从119.4kg/t降低至100.80kg/t,熟料产量从2744t/d提高至3840t/d,各指标均属领先水平。

一种用于FPGA连线资源测试的配置方法

FPGA在实际应用中,故障发生于互连资源的概率远大于逻辑功能块其他故障概率,因而FPGA连线资源测试成为保证其在航空航天等领域高可靠性应用的极为重要的手段,对FPGA连线资源进行测试,首先要根据所要测的资源来配置电路。传统的基于HDL的配置方法存在待测资源不可控的问题,论文以Xilinx公司Spartan-3系列FPGA连线资源为研究对象,提出了一种基于XDL的FPGA配置方法,并采用BIST测试结构,通过C++代码方式生成XDL程序,实现对FPGA有CLB的行列双长线资源、有CLB的行列智能型长线资源、无CLB的行列双长线资源及无CLB行列智能型长线资源的测试,为其它测试配置电路结构的设计及其xdl程序编写奠定了基础。

基于Virtex 4 FPGA的全覆盖二倍线内建自测试

随着集成电路技术的发展,高集成度和高复杂度的器件不断出现,大规模集成电路的测试技术成为重要的研究方向。自建内测试方法是一种有效的系统级大规模集成电路FPGA测试方法。提出了一种基于Xilinx公司Virtex-4(V4)系列芯片全覆盖的FPGA二倍线内建自测试方法,该方法采用脚本生成Xilinx设计语言(XDL),对V4芯片二倍线进行全局布线,然后进行FPGA配置,施加测试向量,从而对固定故障或者桥接故障进行测试。同时给出了基于XC4VLX100芯片的实际测试结果,验证了该测试方法的正确性。

第三代短波链路建立系统分析与测试

首先简要分析了第三代短波自动建立系统的组成及其特点 ,然后介绍了一个用以对比第二、第三代短波自动建立系统有效性的实验方法及数据。

一种SRAM型FPGA单粒子故障注入实验集的筛选方法

针对目前单粒子故障注入实验中存在的故障注入位置盲目导致的效率低下、耗费大量的时间人力成本从而难以在工程项目中推广的问题,提出一种SRAM型FPGA故障注入实验集的筛选方法用来指导单粒子故障注入.该方法剖析SRAM型FPGA芯片结构,归纳单粒子故障的时间特性,确定单粒子故障模式;并结合具体FPGA设计的资源占用情况、资源特性、资源连接关系等给出故障注入实验集的筛选和优先级排序方法;搭建单粒子故障注入原型系统对所提方法进行了工程验证.结果表明提出的单粒子故障注入实验集的筛选和优先级排序方法正确、有效,能快速定位出设计中与功能密切相关的配置位,缩短故障注入的时间成本,使得故障注入方法广泛应用于实际工程成为可能.

基于Virtex5的FPGA全覆盖五倍线确定性布线测试

确定性布线可根据测试要求,对特定的线段进行特定布线,是一种有效的FPGA互联资源测试方法。提出一种基于Virtex5的全覆盖五倍线确定性布线方法,该方法采用脚本生成XDL语言,对Virtex5的五倍线进行全覆盖全局布线,然后进行FPGA配置,施加测试向量,从而对固定故障或者桥接故障进行测试。同时给出了基于V5LX330的测试结果。

一种用perl编写FPGA内建测试向量的方法

随着IC技术的发展,高集成度和高复杂度的器件不断出现,其相应的测试技术也成为了一个重要的研究方向。对资源丰富的FPGA芯片来说,编写合适的内建测试向量显得尤为重要。介绍了用perl语言编写基于XDL语言测试向量的方法。在对FPGA芯片进行测试设计时,由于软件本身的编辑和约束功能有局限性,其设计效率和便利性不足,并且在某些情况下不能达到设计者对芯片内部资源使用和连线通路的特殊设计要求,因此可使用该研究的XDL编辑方法对设计文件进行高效、高自由度的约束和编辑,从而达到较高的测试覆盖率和较好的测试效率。