时序约束相关论文
静态时序分析是目前通用的芯片时序验证的重要方法，其依赖于时序模型和时序约束。时序约束是检验设计电路时序的准则，好的时序约束可......
针对多机器人协同制造系统处理复杂产品时任务的时序约束复杂、避碰和效率优化目标难实现的问题，提出一种时序约束（TOC）建模方法与结......
2010年以来存储行业的竞争激烈程度不断加剧,对于内存产品来说更是如此,内存芯片生产厂商为了维持产品的竞争力保持着1～1.5年推出一......
为了解决保护和断路器误动、拒动及其告警信息传输错误等不确定性因素影响故障诊断结果与精度的问题,建立了融合多源信息的电网多......
程序中的时序约束是一类广泛存在的约束，其规定了组件的接口函数之间调用的先后顺序关系。例如：调用java.util.Stack类的peek()函数......
目前，随着计算机和网络技术的迅速发展，实时系统已越来越广泛地应用于国防工业、航空航天工业、交通运输业、制造加工业、流程生产行......
国际船舶制造业市场竞争十分激烈，各国的船舶企业为了获得更高的经济效益，不断研究和探索新的船舶建造工艺和高效的管理理念，其中如CI......
自希格斯粒子被发现以来,精确测量该粒子的特性和探索超越标准模型的新物理逐渐成为高能物理领域的研究热点。为精确测量希格斯粒......
LCoS(Liquid Crystal on Silicon)芯片是一种在硅基液晶技术基础上发展起来的微显示芯片,常用于如可穿戴式设备的电子产品中,具有......
上世纪50年代末出现的计划评审法(PERT)和关键路径法(CPM)已经被证明是项目管理非常有效的工具。但是,这两种管理方法在应用中忽略......
本文针对目前国内外基于FPGA实现模糊控制器的发展现状，根据模糊控制理论、EDA软件工具以及FPGA技术，对模糊控制器的FPGA实现进行了......
规划识别是人工智能领域近年来发展起来的一个重要分支。规划识别是指根据观察到的智能体的片断的、琐碎的动作来推断智能体的目标......
本文研究智能变电站的在线智能警报信息处理方法。首先讨论了电力系统警报处理的各种方法及其优缺点，针对其存在问题，探讨了基于回溯......
随着嵌入式SRAM在SOC应用中的需求不断加大,在不牺牲性能的情况下,缩短SRAM的设计周期有着深远的意义。而且随着SRAM需求量增加并......
标准单元库在整个ASIC后端设计中的各个阶段扮演着极其重要的角色,一个性能优良的标准单元库可以给设计最终的成功提供有力的保障......
元数据信息是理解基本对象模型(Basic Object Models)重用能力的关键,也是BOM检索、选取和应用过程的前提和保证。BOM的正确使用以......
本文通过对电路布局的多电压代价进行分析,提出把电路按照不同的路径长度成组分离为不同的区域时,易于采用多电压实现,且采用多电......
为了解决工作流时间建模与时序一致性验证问题，以时序逻辑和模型检查为基础，提出了一种工作流时间建模与时序一致性验证方法．该方法用......
工作流模型验证已经成为工作流的重要研究领域之一，工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts......
为有效地处理工作流运行中出现的时间异常，分析了工作流系统对时间异常处理的需求，给出了工作流时间异常处理和工作流时序约束相关活......
提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和......
时序约束下的大规模数据分发在互联网环境下有着越来越广泛的应用.现有的系统大多采用mesh结构组织结点,并通过运行在请求结点的调......
基于时序约束的QoS感知的Web服务组合（TC-QSC）问题是在考虑时序约束的基础上寻找满足QoS约束或效用最大化的Web服务组合问题,受到了......
为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概......
基于构件的软件系统要求构件能够被正确的理解和使用．构件交互协议的描述为此提供了有效的途径。本文给出了一种基于时序的构件交互......
针对动态同步存储器在高速运行时出现的读写错误，设计了一种自动测试仪，允许自动改变电压，自动调整同步内存的参数，通过大量数据读写内......
在通讯ASIC设计中，时序行为是设计者考虑的主要目标。高层次综合领域中时序约束下的调度算法对ASIC设计的优化结果起着重要作用。论......
分析国内外卫星控制系统时序分析与设计方法和方法的现状，阐述了对时序进行数学建模的重要性．提出了针对时序设计过程的数学建模分析......
柔性工作流在应对业务建模过程中的动态不确定因素、提高工作流系统的柔性具有巨大的优势,然而,柔性活动的动态细化一直是柔性工作......
JPEGXR编码算法中重叠双正交变换(LBT)传统的FPGA实现都是基于线性提升结构,无时序约束,存在亚稳态、码流不受控等问题。为此,设计......
现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有......
为了提高综合系统的效率,减少对综合系统的人工干预,提高其自动化程度,对VHDL硬件描述语言中的AFTER子句进行研究.通过对其行为综......
针对目前月球着陆器制导与控制研究中只考虑动力学过程而忽略嵌入式系统处理能力的问题,提出了一种考虑控制时序约束的着陆器月面......
本文详细分析了实时工作流中的时序约束。同时，为了对实时工作流时序约束进行形式化描述，本文利用时间自动机建模实时工作流的时序约......
对数字电路而言，提高工作频率至关重要，因为更高的工作频率意味着更加强大的处理能力。以可编程逻辑设计基本原则之一的“面积与速度......
通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建......
针对传统数据库缓冲池脏数据回写磁盘策略实时性与安全性差的问题，提出基于Hash算法与先入先出（FIFO）双向链表的数据库缓冲池脏数据回......
电网发生故障后利用大量告警信息快速准确地识别故障元件是保障可靠供电和电网安全稳定运行的首要任务。为适应电网运行调控需求,......
期刊
随着电网结构的日趋复杂、人们提高电力系统监控水平需求的增强,当大电网发生故障时,海量的故障信息将涌入调度中心,给调度员及时......
学位
本文以ePro系统为例,使用Synopsys公司的Design Compiler(DC)工具进行逻辑综合,介绍了综合所需的各种时序约束.......
针对网格仿真中的事件调度问题,提出一种新的时序管理方法。该方法同时考虑网格仿真成员的按需模型服务调用与成员间的交互,对仿真......
分析了工作流管理系统中主要应该考虑的时间问题,然后建立了一个工作流时序条件有向图模型,在该模型基础上进行了一些关于时序逻辑......
作为分析和验证电路时序行为的新手段,静态时序分析(STA)技术以其无需仿真、快速、占用内存少以及测试覆盖面全等优点越来越多的应......
随着半导体特征工艺尺寸的缩小,IC芯片的物理参数和电学参数的波动越来越明显,特别是在高速芯片的设计中,那些满足简单功能性验证......
