高级综合

摘要： 处理器设计自动化领域的领导者Codasip已启动其大学计划,以帮助下一代处理器工程师进行“面向差异化的设计(Design for Differentiation)”,并应对未来的技术挑战。该项目通过提供教学材料和作业,以及授予工业级Codasip RISC-V定制开发工具和CodAL高级综合语言的访问权限,丰富了研究生和本科生计算机工程课程的内容。

摘要： 针对基于卷积神经网络(CNN)的单图像去雾模型在移动/嵌入式端部署难,不易用做实时视频去雾的问题,提出一种基于Zynq片上系统(SoC)的去雾模型硬件重构加速方法。首先,提出量化-反量化算法,对两个代表去雾模型进行量化;其次,基于视频流存储器架构和软硬件协同、流水线等技术以及高级综合(HLS)工具,对量化后的去雾模型硬件重构并生成具有高性能扩展总线接口(AXI4)的硬件IP核。实验结果表明,在保证去雾效果的前提下,可以实现模型参数从float32到int5(5 bit)的量化,从而节省约84.4%的存储空间;所生成硬件IP核的最高像素时钟频率为182 Mpixel/s,能够实现1080P@60 frame/s的视频去雾;单帧640×480的雾图去雾仅需2.4 ms,而片上功耗仅为2.25 W。这种生成带有标准总线接口的硬件IP核也便于跨平台移植和部署,从而可以扩大这类去雾模型的应用范围。

摘要： 针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状态空间爆炸和复杂的数据结构等挑战,并对该领域今后的研究方向进行了展望.

摘要： 线上教学会给高级汉语综合课的课程讲授带来一些不利影响。教师应根据各国留学生的个体情况以及课程性质与教材目标,选择合理的教学应对策略,以克服不利因素,达到提升留学生汉语综合能力的教学目标。

摘要： 为了提高基于FPGA平台的SoC设计方案的开发速度和运行性能,提出一种基于高层次代码转换的高级综合优化方法.首先将高级语言算法进行软硬件划分,确定在硬件上执行的部分;然后针对在硬件上执行的算法部分,通过代码转换去除函数间数据依赖性、提高循环体并行性,并对循环体进行流水线化;最后将优化方法应用到Alpha-beta搜索算法,完成Blokus-Duo设计.实验结果表明,该方法将高级语言描述自动转化为适于高级综合工具优化的代码模式,提高高级综合生成电路的性能,优化后高级综合生成电路的速度比优化前提高了14倍.%To improve the performance of the SoC based on FPGA designs and reduce the time to market,this paper pro-poses an optimization approach for high-level synthesis based on the transformation of the high-level codes.Firstly,hardware and software partition of the high-level algorithm is explored to determine which part will be executed on the FPGA.Secondly,in allusion to hardware partition,approaches are applied to remove the data dependency between different functions,improve the parallelism of the loops and pipeline the loop body.Finally,the proposed method is applied to the Alpha-beta searching algorithm,which is used for designing Blokus-Duo game player.The experimental results show that the high-level codes can be transformed automatically to the appropriate pattern which is fit for the high-level synthesis to improve the performance.In comparison with the hardware implementation without code transformation,the proposed optimization method improves the running speed by 14 times.

摘要： 随着光学遥感相机视频数据实时处理算法复杂度的不断增加,直接使用硬件描述语言进行设计难度越来越大,急需引入一种新流程——通过EDA工具直接将高级语言描述转化为HDL语言描述的RTL代码。本设计选择Catapult C工具完成数字滤波算法从C语言到RTL的设计,最后验证经Catapult设计的RTL代码与C、MATLAB功能一致,经硬件实现后性能相当,设计速度比直接使用硬件描述语言快几倍到几十倍。

摘要： 为了实现多项式数据通路的高层次综合,采用有序的、简化的和正则的带权值广义表模型表达该多项式.提出了基于带权值广义表的优化方法,该方法以自顶向下的方式遍历带权值广义表中的节点,迭代地识别其相应的加法割和乘法割,进而形成一个可允许割序列;根据可允许割序列产生相应可调度的数据流图.实验结果表明,采用该方法得到的数据流图与已有方法得到的相比,在延迟上具有一定的优势.

摘要： 随着SoC技术的不断发展以及集成应用设计规模和复杂度的不断提升,使用传统的RTL设计方法难度越来越大.高级综合技术(High-level synthesis,HLS)可以实现将C语言描述的算法级设计自动转换成HDL语言描述的寄存器级设计.使用Synphony C Compiler综合工具进行RS编、译码算法设计,利用综合工具快速的架构探索以及高效的验证方法,在综合性能、面积、功耗等要求之后,完成算法C语言到Verilog HDL语言的快速转换.这种设计方法大大缩短了设计周期.

摘要： 在基于FPGA的软硬件协同设计中,对硬件面积和延迟时间进行快速准确地评估是快速生成片上异构多处理器系统的关键步骤.使用传统的逻辑综合工具将会耗费大量的时间才能获得面积-时间的度量值,导致在软硬件协同设计流程中,抑制了设计空间的有效探索.本文关注将C程序映射到FPGA,对寄存器数量进行快速和准确的评估.提出的技术以高级综合工具LegUp和底层虚拟机LLVM为基础,利用信号位宽优化信息、特殊指令信息以及编码方式对寄存器进行评估.实验结果表明,该技术能够对CHStone基准测试程序进行寄存器数量的评估;以Altera CycloneⅡ和StratixⅣFPGA为平台,实验结果的误差分别只有13.75％和10.48％,与使用Quartus工具的逻辑综合运行时间相比,能够实现84倍的加速.

摘要： 杜邦先锋8月10日宣布发布两项先锋品牌技术-Nutrivail饲料技术和快速有氧反应稳定性技术＊.二者代表了先锋在牧草管理和高级综合饲料解决方案方面的技术突破.杜邦先锋牧草高级市场经理Kyle Whitaker说“革命性的产品线Nutrivail饲料技术,将有助于提高牲畜对于饲料养分的吸收利用率,而快速有氧反应稳定性技术则可以在-周内提供稳定的喂养饲料.这两项技术将最大限度的为生产者提高牧草的价值.”

摘要： 大规模、超大规模集成电路高级综合系统是当今EDA领域的研究热点,而硬件描述语言编译器更是高级综合系统的重要的组成部分.结合北京理工大学新一代弱工艺相关高级综合系统的开发,从高性能硬件描述语言编译系统及其测试方法中关键技术的研究的角度,阐述了高性能、高质量、高可靠性、可跨平台运行的VHDL编译系统MTC的设计实现方法,并说明了VHDL编译系统MTC的测试方法及测试工具的设计.

摘要： 循环语句是高级综合中非常重要的语法现象.不同的循环语句(无限循环语句,有限循环语句和条件循环语句)应用于不同的场合,对不同循环语句的综合方法也不同.本文从VHDL语言的循环语句入手,研究了高级综合中循环的综合方法,说明了VHDL语言中应用到循环的各种情况和它们的综合方法,同时说明了循环体中的exit语句和next语句的综合方法.

摘要： 该文主要讨论基于ＤＦＧ子图同构求解验证高级综合结果的基本思想，概括总结了该验证方法的特点，并对该系统的实现结果进行简要分析。

摘要： 本文提出一种基于执行路径的Petri网生成算法,该算法提取VHDL源描述中的功能和对序信息,生成与源描述完全等价的Petri网结构.算法采用条件树结构保存条件,语句执行条件和Petri网迁移条件都依据条件树生成.生成的Petri网能够准确保存源描述中的I/O时序信息,形成调度过程中I/O操作处理的基础.从该结构出发,能够方便地实现各种I/O模式的调度.

摘要： 本发明技术一般涉及焦化设备中对焦炉的综合控制以便最佳化焦化速率、产品回收率、副产品和/或单位石灰消耗量。通过操控经受约束的可用处理量(被称作操控变量)和影响受控变量的系统扰动控制某些变量(被称作控制变量)来实现最佳化目标。

摘要： 提供了基于高级网络(例如，4G、5G、6G以及更高版本)的综合接入和回程概念促进移动中继的操作和支持。实施例涉及一种通信网络架构，其可以包括中继节点设备的控制面架构。所述控制面架构可以包括星型架构。进一步地，所述通信网络架构可以包括所述中继节点设备的用户面架构。所述用户面架构可以与所述控制面架构分离(或独立于所述控制面架构)。进一步地，所述用户面架构可以包括多跳架构。所述中继节点设备可以被配置为根据第五代无线网络通信协议或其他高级通信协议进行操作。

摘要： 本实用新型涉及一种高级嵌入式综合实验箱，属于教学实验箱技术领域，包括箱体，所述箱体的上部设置有箱盖，所述箱体和箱盖之间通过合页活动连接，所述箱体的内部设置有主板和收纳槽，所述主板包括LCD电容屏、Zigbee节点板区域、外接USB接口、系统电源区、主处理器核心板功能区、扩展外设区、下载调试与串口通信区和扩展模块区，所述扩展外设区包括红外检测器，所述红外检测器包括光电传感电路和电压比较电路。本实用新型，通过设置有实验拓展模块区和下载调试与串口通信区，实验箱可涵盖嵌入式与物联网完整的技术实训；通过设置有Zigbee/GPS模块区和RFID/指纹模块区域，可安装各种扩展模块，进行相关的扩展实验。

摘要： 本实用新型公开了一种初中高级电力拖动综合实训考核装置，涉及电工实训教学领域，通过在承载板上合理布局单相电度表、三级断路器、熔断器、明装双联开关、五孔插座、灯头、交流接触器、热继电器、时间继电器等模块，通过圆孔插头完成插拔线操作。本实用新型能加快实训课题进度；在完成课题的同时，不用使用新的导线，起到节能降耗的效果；不需要安装在固定的位置，可以移动到方便的地方进行电力拖动的教学实训；在电力拖动考试、考核工作室更快捷、方便、适用。

摘要： 本发明涉及一种基于粒子群算法的连续微流体生物芯片高级综合设计方法，包括以下步骤：步骤S1:根据时序图以及所给定的组件类型与数量对粒子群进行初始化；步骤S2:对每个粒子使用列表调度算法，进一步得到每个粒子的调度解;步骤S3:根据该绑定与调度解计算该粒子的适应度函数值；步骤S4:根据个体历史最优解和全局历史最优解迭代更新粒子，若当前迭代次数达到迭代阈值，则得到最优的绑定与调度方案。本发明能在不牺牲生化反应执行时间的前提下，得到需要更少流通道交叉点数量的绑定与调度方案。

摘要： 本公开的实施例涉及高级综合方法、高级综合装置和高级综合系统。生成实现任何功能安全系统的RTL描述。一种用于生成RTL描述的高级综合方法，其中通过使用定义功能逻辑的操作描述、定义高级综合约束的高级综合脚本和指定要在高级综合过程中插入的功能安全系统的功能安全系统实现规范来插入功能安全系统。高级综合方法包括：控制数据流程图生成步骤，其中高级综合单元使用操作描述生成控制数据流程图；以及第一功能安全系统插入处理步骤，其中在控制数据流程图生成步骤之后，高级综合单元根据功能安全系统实现规范将功能安全系统插入到控制数据流程图中。

摘要： 本发明属于软件测试技术领域，尤其涉及一种基于差分测试的高级综合工具优化选项缺陷检测方法。本发明通过对随机生成的测试用例代码进行基于代码特征向量余弦相似度的筛选，得到优化空间差异性较大的测试用例代码，对每个通过筛选的测试用例代码进行基于组合覆盖测试的优化选项选择，得到一系列优化选项组合，将得到优化选项插入到测试用例代码中，使用待检测高级综合工具对测试用例代码进行综合，即可对高级综合工具优化选项缺陷进行检测；本发明解决了高级综合工具优化选项缺陷检测过程中，测试用例产生以及优化选项选择等问题，提高了测试用例多样性，扩大了测试空间，避免了冗余的测试，从而提高高级综合工具优化选项缺陷检测效率。

摘要： 对于指定用于在设备的数据处理引擎DPE阵列内实现的软件部分和具有用于在所述设备的可编程逻辑PL内实现的高级综合HLS内核的硬件部分的应用程序，生成第一接口方案，所述第一接口方案将由所述软件部分使用的逻辑资源映射到耦接DPE阵列和PL的接口块的硬件资源。生成连接图和框图，所述连接图指定要在所述DPE阵列中实现的所述软件部分的节点和所述HLS内核之间的连接性，以及所述框图基于连接图和所述HLS内核。所述框图是可综合的。实施流程是在基于所述第一接口方案的框图上执行的。所述应用程序的软件部分被编译以在所述DPE阵列的一个或多个DPE中实现。

摘要： 本发明涉及一种连续微流控生物芯片下存储最小化的高级综合设计方法，基于路径调度算法,其特征在于，包括以下步骤：步骤S1:根据给定时序图，遍历计算所有操作的优先权，确定操作的调度顺序；步骤S2:优先调度具有较小优先权的操作，计算特定组件的准备时间，选择准备时间最早的组件，绑定并执行所调度的操作；步骤S3:调度该操作优先权最小且就绪的子操作，进行绑定；步骤S4:调度执行给定时序图中所有的操作，得到一组绑定和调度解，以及组件之间的流体运输任务，完成高级综合设计。本发明能获得具有较少存储次数的连续微流控生物芯片的高级综合设计方案。

摘要： 本发明属于软件测试技术领域，尤其涉及一种基于多样性导向变异的高级综合工具缺陷检测方法。本发明通过对随机生成的测试用例进行多样性导向变异，得到一系列语句差异性较大的测试用例，以解决在测试高级综合工具过程中高效测试用例产生问题，提高了测试用例多样性，扩大了测试空间，避免了冗余的测试，从而提高高级综合工具缺陷检测效率。