期刊文献+
共找到63篇文章
< 1 2 4 >
每页显示 20 50 100
静态时序分析在高速FPGA设计中的应用 被引量:12
1
作者 周海斌 《电子工程师》 2005年第11期41-44,共4页
介绍了采用STA(静态时序分析)对FPGA(现场可编程门阵列)设计进行时序验证的基本原理,并介绍了几种与STA相关联的时序约束。针对时序不满足的情况,提出了几种常用的促进时序收敛的方法。结合设计实例,阐明了STA在高速、大规模FPGA开发中... 介绍了采用STA(静态时序分析)对FPGA(现场可编程门阵列)设计进行时序验证的基本原理,并介绍了几种与STA相关联的时序约束。针对时序不满足的情况,提出了几种常用的促进时序收敛的方法。结合设计实例,阐明了STA在高速、大规模FPGA开发中的应用。实践表明,随着数字设计复杂度的增加,在后端的时序验证环节,与传统的动态门级时序仿真相比,采用STA方法的优势在于可以全面、高效地完成验证任务。 展开更多
关键词 静态时序分析(STA) 验证 FPGA 时序约束 时序收敛
下载PDF
一种求解多处理器作业调度的Hopfield神经网络方法 被引量:7
2
作者 王秀利 吴惕华 《系统工程与电子技术》 EI CSCD 北大核心 2002年第8期13-16,共4页
多处理器作业调度是一类非常复杂的组合优化问题 ,而Hopfield神经网络通常被广泛用于求解各种组合优化问题。针对具有时间约束 (执行时间和最后执行期限 )和若干资源约束的多处理器作业调度问题 (已知是NP难解的 ) ,提出了一种基于离散... 多处理器作业调度是一类非常复杂的组合优化问题 ,而Hopfield神经网络通常被广泛用于求解各种组合优化问题。针对具有时间约束 (执行时间和最后执行期限 )和若干资源约束的多处理器作业调度问题 (已知是NP难解的 ) ,提出了一种基于离散的Hopfield神经网络的求解新方法。该方法直接把问题的各种约束表示为Hopfield神经网络的能量函数项 ,进而导出神经网络模型。实验仿真结果表明了该方法的有效性。 展开更多
关键词 多处理器 作业调度 Hopfield神经网络方法 作业车间 调度工作 时间约束 资源约束
下载PDF
FPGA设计中优化时序的原则与方法 被引量:7
3
作者 林昌辉 樊晓桠 《微处理机》 2007年第3期6-9,13,共5页
对数字电路而言,提高工作频率至关重要,因为更高的工作频率意味着更加强大的处理能力。以可编程逻辑设计基本原则之一的“面积与速度的平衡与互换原则”为指导思想,介绍了几种FPGA设计中通过消耗逻辑资源提高工作频率的设计思想和技巧。
关键词 现场可编程逻辑 面积和速度 时序约束 逻辑复制
下载PDF
带时间约束的UML序列图的分析工具(英文) 被引量:3
4
作者 谭文凯 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2001年第10期1423-1433,共11页
统一建模语言 (UML)是一种多用途的可视化建模语言 ,它可用于软件系统的规约、可视化的构造和建档 .UML序列图描述了交互对象间的协作 ,如在实时和分布式系统中通讯实体间的信息交互 .与其它的规约和设计过程类似 ,UML序列图的规约也易... 统一建模语言 (UML)是一种多用途的可视化建模语言 ,它可用于软件系统的规约、可视化的构造和建档 .UML序列图描述了交互对象间的协作 ,如在实时和分布式系统中通讯实体间的信息交互 .与其它的规约和设计过程类似 ,UML序列图的规约也易出错 ,所以对它进行分析是很有必要的 .文章描述了一个对带时间约束的 展开更多
关键词 可视化建模语言 时间约束 UML 序列图
下载PDF
UML时间顺序图的可达性分析 被引量:5
5
作者 龚嘉宇 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2005年第6期169-175,共7页
对于实时系统来说,UML顺序图描述了对象之间的交互。对象之间的交互展现了系统行为的场景。本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究。尽管这个问题可以转换为相应的时间自动机,然后进行处理,但其转化为之后,... 对于实时系统来说,UML顺序图描述了对象之间的交互。对象之间的交互展现了系统行为的场景。本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究。尽管这个问题可以转换为相应的时间自动机,然后进行处理,但其转化为之后,状态空间巨大,解决的开销比较大,效率不高。针对部分可达性问题,本文采用更为高效的基于线性规划的解决方案,其思想如下:首先遍历所有到达给定节点的简单路径片断来验证可达性,随后遍历到达给定节点的并且包含所有循环至多一次的路径片断来验证可达性。由于我们并没有遍历所有路径片断,因此用本文的方法判定给定节点的可达性的时候,结果会有三种:可达,不可达和不确定。由于有些循环与可达性是无关的,我们进一步通过识别哪些循环与可达性无关,对算法进行改进。 展开更多
关键词 顺序图 UML 可达性分析 时间自动机 实时系统 系统行为 状态空间 解决方案 线性规划 行处理 片断 路径 节点 遍历 循环 不确定 交互 对象 场景 验证 算法
下载PDF
一种数据存储SoC芯片的静态时序约束设计
6
作者 王涛 赵启林 《单片机与嵌入式系统应用》 2023年第8期8-10,14,共4页
静态时序分析主要依赖于时序模型和时序约束,是数字芯片时序验证的重要方法,其中时序约束是用来描述设计人员对时序的要求,如时钟频率、输入/输出延迟等。正确的时序约束可以缩短芯片设计周期,更快更好地完成静态时序分析。针对一款数... 静态时序分析主要依赖于时序模型和时序约束,是数字芯片时序验证的重要方法,其中时序约束是用来描述设计人员对时序的要求,如时钟频率、输入/输出延迟等。正确的时序约束可以缩短芯片设计周期,更快更好地完成静态时序分析。针对一款数据存储SoC芯片中的多时钟域异步设计要求,以及如何正确处理时序约束存在的问题,提出一种多分组异步时钟的全芯片时序约束,采用虚假路径、多时钟域分组、禁用单个寄存器多时钟分析设置等方法修复和优化设计规则、建立时间和保持时间违例,解决SoC存储芯片静态时序分析中的时序问题,保证所有时序路径正常满足时序逻辑功能要求,完成时序收敛,达到签核标准。 展开更多
关键词 静态时序分析 时序约束 SOC芯片 时序收敛
下载PDF
基于ECA规则的工作流时间约束分析 被引量:3
7
作者 李德芳 刘鲁 +2 位作者 张朝俊 乔颖 王宏安 《中国管理科学》 CSSCI 2008年第5期110-117,共8页
本文着重研究了工作流中各活动间的定量时序关系,提出了一种分析工作流中时间约束的方法。该方法针对基于ECA规则的工作流,通过建立及分析工作流的约束图,对工作流中活动间定量时序约束的一致性进行了分析,从而保证了工作流的正常运行。
关键词 工作流 时间约束 ECA规则 活动 事件
下载PDF
基于国产FPGA的红外图像处理算法实现 被引量:3
8
作者 杨德振 李凯峰 +2 位作者 蔡佳一 喻松林 李万崇 《激光与红外》 CAS CSCD 北大核心 2022年第8期1223-1229,共7页
随着国内政策与资源的倾斜,国产化芯片取得长足进步,但核心器件与高端芯片仍需在探索与应用中发展。现场可编程门阵列(FPGA)作为信号处理与数据传输的通用芯片需要大量应用,另一方面,因国产红外探测器存在盲元、闪元等无效像元,使盲闪... 随着国内政策与资源的倾斜,国产化芯片取得长足进步,但核心器件与高端芯片仍需在探索与应用中发展。现场可编程门阵列(FPGA)作为信号处理与数据传输的通用芯片需要大量应用,另一方面,因国产红外探测器存在盲元、闪元等无效像元,使盲闪元剔除成为红外机芯必要的图像处理算法。因此采用国产化的FPGA进行基于时空滤波的红外盲闪元实时检测算法的移植,对FPGA进行逻辑优化和时序约束,并通过片上RAM和片外DDR3分别进行数据缓存。经算法移植,红外图像缺陷像元被有效抑制,盲闪元率从5‰降为0.73‰,验证了在国产FPGA上实现算法移植的可行性,对促进我国自主可控的核心芯片的工程应用与推广具有深远意义。 展开更多
关键词 国产FPGA 红外图像处理 时序约束 算法移植
下载PDF
空间制冷控制器的SPWM波相位调整设计
9
作者 田园 康建兵 +1 位作者 于婷婷 刘成 《单片机与嵌入式系统应用》 2023年第8期87-91,共5页
空间制冷控制器输出的交流电在整星母线上会产生反射纹波,进而对整星配电器造成恶劣影响,为解决这一问题,传统方法为通过扼流器减小母线上反射纹波的幅值,弊端在于增加了载荷的负重。本文提出一种软件设计方案,基于冲量等效原理,通过并... 空间制冷控制器输出的交流电在整星母线上会产生反射纹波,进而对整星配电器造成恶劣影响,为解决这一问题,传统方法为通过扼流器减小母线上反射纹波的幅值,弊端在于增加了载荷的负重。本文提出一种软件设计方案,基于冲量等效原理,通过并行进程同步生成无符号正弦波和无符号三角载波,通过自然采样法生成SPWM波。采用发送遥控指令的方式将目标相位发送给制冷控制器,通过时序逻辑的约束设计对遥控指令计数进行双采样处理,以建立正确的计时机制,通过嵌套算法实现计时机制的退出和从零点输出SPWM波时机的抓取实现了对SPWM波相位的精确调整,当两台制冷控制器的SPWM波相位差达到180°时,产生在母线上反射纹波的整体幅值最小,起到了抑制反射纹波的作用。经仿真和实验验证,该软件设计方案可替代扼流器抑制反射纹波,从而达到为载荷降低成本、减少负重的效果。 展开更多
关键词 SPWM波 相位调整 抑制反射纹波 时序约束
下载PDF
时序约束下的调度算法
10
作者 朱长云 葛宁 《计算机工程与应用》 CSCD 北大核心 2005年第13期46-48,140,共4页
在通讯ASIC设计中,时序行为是设计者考虑的主要目标。高层次综合领域中时序约束下的调度算法对ASIC设计的优化结果起着重要作用。论文在时序约束下的调度算法在算子可调度的前提下通过修正的ASAP与ALAP算法缩小设计的搜索空间,最后通过... 在通讯ASIC设计中,时序行为是设计者考虑的主要目标。高层次综合领域中时序约束下的调度算法对ASIC设计的优化结果起着重要作用。论文在时序约束下的调度算法在算子可调度的前提下通过修正的ASAP与ALAP算法缩小设计的搜索空间,最后通过遗传算法进行优化,得到最优调度方案。根据文中算法建立了一个时序约束下的综合系统,并进行了实验,说明了算法的有效性。 展开更多
关键词 高层次综合 时序约束 调度 遗传算法
下载PDF
带时间约束实时任务图模型上可调度性分析算法研究 被引量:2
11
作者 孙景昊 关楠 邓庆绪 《计算机学报》 EI CSCD 北大核心 2016年第12期2481-2493,共13页
带时间约束的实时任务图(TCDRT)模型具有接近于时间自动机的丰富表达性,但是其关联的可调度性分析(SA)问题却是强NP困难的.目前的研究仅关注一类约束个数为常数K的易解模型:K-TCDRT,且局限于SA问题的图转换求解方法.这种间接求法使得问... 带时间约束的实时任务图(TCDRT)模型具有接近于时间自动机的丰富表达性,但是其关联的可调度性分析(SA)问题却是强NP困难的.目前的研究仅关注一类约束个数为常数K的易解模型:K-TCDRT,且局限于SA问题的图转换求解方法.这种间接求法使得问题的计算复杂度随约束宽度呈指数倍增长.该文研究TCDRT模型上可调度性分析问题的直接求解方法,为两个核心子问题给出新的理论结果:第一,针对需求上界函数(DBF)的计算问题,提出了考虑时间约束的路径需求结构,并据此设计了新的动态规划算法,其时间复杂度与约束宽度无关;第二,对于可调度分析上界T的限定问题,从理论上证明了该问题是伪多项式时间可解的,且计算复杂度不再与K指数相关,这使得文中算法性能较已有结果有指数级提升.更进一步地,该文方法还蕴含着一类新的TCDRT易解模型.该类模型突破了约束个数必须为常数的局限,其分析难度也较K-TCDRT有指数倍地下降. 展开更多
关键词 时间约束 实时任务图 可调度性分析 需求上界函数 动态规划
下载PDF
A method for timing constrained redundant via insertion
12
作者 王俊平 许丹 苏永邦 《Journal of Semiconductors》 EI CAS CSCD 2014年第4期146-150,共5页
Redundant via (RV) insertion is a useful mechanism to enhance via reliability. However, when extra vias are inserted into the design, the circuit timing might be changed. Therefore, how to insert RV under the timing... Redundant via (RV) insertion is a useful mechanism to enhance via reliability. However, when extra vias are inserted into the design, the circuit timing might be changed. Therefore, how to insert RV under the timing constraints is the main challenge. In this paper, we introduce a new model to compute the distance between a RV and the corresponding single via, put forward a new RV type, which is called the long length via (LLV), and then present an improved RV insertion method considering the timing constraints. This computing model can certify that the timing, which is obtained aider inserting a RV, is not greater than the original timing. Meanwhile, the new RV type LLV can increase the possibility of RV insertion; this method provides a global perspective for the RV insertion. Considering the timing constraints, the total redundant via insertion rate is 85.38% in the MIS-based method, while our proposed method can obtain a high insertion rate 88.79% for the tested circuits. 展开更多
关键词 redundant via timing constraints integrated circuit
原文传递
基于规则推理的实时信息物理监控系统 被引量:1
13
作者 彭程 乔颖 王宏安 《计算机系统应用》 2020年第7期70-81,共12页
基于规则的CPS监控方法在降低监控复杂度和提升监控灵活性等方面具有显著优势.目前基于规则的CPS监控方法未考虑CPS监控场景的时间约束,仅仅利用各种优化技术来缩短监控的响应时间.为此,本文基于实时规则引擎建立了一个CPS的实时监控系... 基于规则的CPS监控方法在降低监控复杂度和提升监控灵活性等方面具有显著优势.目前基于规则的CPS监控方法未考虑CPS监控场景的时间约束,仅仅利用各种优化技术来缩短监控的响应时间.为此,本文基于实时规则引擎建立了一个CPS的实时监控系统RTCPMS.该系统采用Rete网络表示监控规则,其核心是一个新的实时推理算法Rete-TC.Rete-TC算法引入了规则截止期,通过基于优先级的Beta节点调度方法,使得CPS监控的时间约束尽可能地被满足.模拟实验与智慧建筑应用案例验证了RTCPMS系统的有效性,且实验结果表明其核心算法Rete-TC的调度成功率优于传统的规则推理算法Rete. 展开更多
关键词 监控系统 规则推理 RETE 时间约束 信息物理系统
下载PDF
基于仿真的月球着陆器制导控制系统时序研究 被引量:1
14
作者 孙帅 王磊 王志文 《计算机仿真》 北大核心 2018年第2期29-32,38,共5页
针对目前月球着陆器制导与控制研究中只考虑动力学过程而忽略嵌入式系统处理能力的问题,提出了一种考虑控制时序约束的着陆器月面着陆过程制导与控制周期选择方法,为系统时序参数设计提供了一定的理论依据。首先基于仿真分析,对着陆过... 针对目前月球着陆器制导与控制研究中只考虑动力学过程而忽略嵌入式系统处理能力的问题,提出了一种考虑控制时序约束的着陆器月面着陆过程制导与控制周期选择方法,为系统时序参数设计提供了一定的理论依据。首先基于仿真分析,对着陆过程制导与控制周期进行初步筛选;再根据实时系统性能,选择满足时序约束的回路周期。最后将实时系统时序与动力学过程进行联合仿真研究,验证了方法的有效性。 展开更多
关键词 月面着陆 信息物理系统 制导与控制 时序约束
下载PDF
基于CML的高速数据传输电路设计 被引量:1
15
作者 马放 任勇峰 +1 位作者 单彦虎 彭巧君 《电子器件》 CAS 北大核心 2016年第1期94-97,共4页
针对现代数据传输速度越来越快、数据量越来越大的现状,提出了基于CML数据传输标准的高速数据传输电路的设计。以FPGA为主控制器,协议芯片选用接口标准为CML的内部编码方式为8 b/10 b编码的TLK1501芯片,以此实现高速数据传输。在FPGA中... 针对现代数据传输速度越来越快、数据量越来越大的现状,提出了基于CML数据传输标准的高速数据传输电路的设计。以FPGA为主控制器,协议芯片选用接口标准为CML的内部编码方式为8 b/10 b编码的TLK1501芯片,以此实现高速数据传输。在FPGA中对时钟信号进行了时序约束实现逻辑控制的修正,解决了因内部时钟占空比失真而导致产生误码的问题。电路经试验验证,具有较高的稳定性和可靠性。 展开更多
关键词 CML 时序约束 8 b/10 b编码 TLK1501
下载PDF
基于28nm工艺的CCOpt技术高效时钟树设计 被引量:1
16
作者 陈力颖 翦彦龙 吕英杰 《天津工业大学学报》 CAS 北大核心 2019年第2期62-67,共6页
为了设计合理高效的时钟树网络,对建立和保持时间约束以及时钟偏差进行分析,基于28 nm工艺设计了一款高速数字芯片,采用Innovus工具实施布局布线,在时钟树综合(CTS,clock tree synthesis)阶段采用CCOpt(clock concurrent optimization)... 为了设计合理高效的时钟树网络,对建立和保持时间约束以及时钟偏差进行分析,基于28 nm工艺设计了一款高速数字芯片,采用Innovus工具实施布局布线,在时钟树综合(CTS,clock tree synthesis)阶段采用CCOpt(clock concurrent optimization)技术,合理利用时钟偏差,同时优化时钟路径和逻辑路径,对时钟网络进行优化,并考察时钟树延时、时序和时钟网络功耗等指标。结果标明:与传统CTS技术相比,采用CCOpt技术时,最差时序违例和违例路径数量减少50%;布局布线时间减少2 h;芯片时钟网络内部互连功耗减少55%,泄漏功耗减少80%,有效提高了数字芯片的性能。 展开更多
关键词 数字芯片 CCOpt 有用偏差 时钟树综合 时序约束 功耗
下载PDF
基于MCU芯片的逻辑综合研究
17
作者 翁洁娜 王仁平 何明华 《中国集成电路》 2014年第10期52-55,共4页
本文主要阐述了在深亚微米下面的逻辑综合的过程。对综合过程的主要的逻辑约束进行详细分析,并根据MCU芯片的结构特点,进行时钟的定义。同时,本文详细分析了时钟定义、电源、复位等问题的处理方法,最后达到时序收敛。再对满足时序的综... 本文主要阐述了在深亚微米下面的逻辑综合的过程。对综合过程的主要的逻辑约束进行详细分析,并根据MCU芯片的结构特点,进行时钟的定义。同时,本文详细分析了时钟定义、电源、复位等问题的处理方法,最后达到时序收敛。再对满足时序的综合结果进行可测性设计,测试覆盖率达到99.5%。 展开更多
关键词 时序约束 时序收敛 测试覆盖率
下载PDF
基于时间约束的序列模式挖掘算法研究
18
作者 闪四清 李晓娜 《石家庄铁路职业技术学院学报》 2007年第3期11-16,共6页
传统关联规则挖掘算法所讨论的只是一次事务内部的模式,但实际应用中随着时间的推移,事务之间会有某种联系或发展趋势,传统关联规则算法则无法揭示其中的规律。将在SPAM算法的基础上进行改进,加入通用时间约束,提出一个新算法——TSPAM... 传统关联规则挖掘算法所讨论的只是一次事务内部的模式,但实际应用中随着时间的推移,事务之间会有某种联系或发展趋势,传统关联规则算法则无法揭示其中的规律。将在SPAM算法的基础上进行改进,加入通用时间约束,提出一个新算法——TSPAM算法。TSPAM算法采纳SPAM算法中的相关概念和方法,在SPAM算法的裁减部分和候选集的生成部分进行改进,对其加入时间约束。实验表明新算法对挖掘具有时间特征的序列模式是行之有效的。 展开更多
关键词 SPAM TSPAM 序列模式 时间约束
下载PDF
支持AFTER子句的综合算法研究
19
作者 程利新 石峰 《北京理工大学学报》 EI CAS CSCD 北大核心 2005年第2期116-120,共5页
为了提高综合系统的效率 ,减少对综合系统的人工干预 ,提高其自动化程度 ,对 VHDL 硬件描述语言中的AFTER子句进行研究 .通过对其行为综合语义的定义 ,给出了在 AFTER子句时延约束下的 ASAP和 AL AP算法 ,建立了 AFTER子句时延约束下的... 为了提高综合系统的效率 ,减少对综合系统的人工干预 ,提高其自动化程度 ,对 VHDL 硬件描述语言中的AFTER子句进行研究 .通过对其行为综合语义的定义 ,给出了在 AFTER子句时延约束下的 ASAP和 AL AP算法 ,建立了 AFTER子句时延约束下的调度模型 ,并采用整数线性规划法求解调度模型 .实验结果表明 ,在综合过程中考虑 AFTER子句 ,不仅提供了一个有效给出时序约束的手段 ,而且使得设计描述方式更能够符合思维习惯 ,同时扩大了行为描述中可用语法范围 。 展开更多
关键词 高级综合 数据路径 时序约束
下载PDF
基于时间约束Petri网的电网警报处理及故障诊断 被引量:15
20
作者 杨健维 何正友 《电力系统保护与控制》 EI CSCD 北大核心 2012年第1期77-84,90,共9页
充分利用警报信息的时序属性和保护断路器动作的逻辑规则,提出了一种基于时间约束Petri网的电网警报处理及故障诊断方法。介绍了电力系统警报信息间的时序关系,以及常见警报差错信息的分类。提出了时间约束Petri网方法,引入时间约束通... 充分利用警报信息的时序属性和保护断路器动作的逻辑规则,提出了一种基于时间约束Petri网的电网警报处理及故障诊断方法。介绍了电力系统警报信息间的时序关系,以及常见警报差错信息的分类。提出了时间约束Petri网方法,引入时间约束通路的概念,直观地表达了警报信息之间的时序属性。提出了警报差错信息的识别算法,有效地识别警报信息中的误报、丢失以及时序不一致等情况。对不考虑时间约束与考虑时间约束两种情况下的故障诊断结果进行比较分析。结果表明所提出的警报处理方法,更加精确地描述了故障警报信息间的逻辑关系,使故障诊断结果更加准确。 展开更多
关键词 警报 时序属性 时间约束通路 PETRI网 电力系统 故障诊断
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部