时序约束相关论文
静态时序分析是目前通用的芯片时序验证的重要方法,其依赖于时序模型和时序约束。时序约束是检验设计电路时序的准则,好的时序约束可......
针对多机器人协同制造系统处理复杂产品时任务的时序约束复杂、避碰和效率优化目标难实现的问题,提出一种时序约束(TOC)建模方法与结......
2010年以来存储行业的竞争激烈程度不断加剧,对于内存产品来说更是如此,内存芯片生产厂商为了维持产品的竞争力保持着1~1.5年推出一......
在机械设备自动制造过程中,常见的资源调度方法在动态环境下信息延迟比较大,调度方法整体适应性比较差.为了解决这一问题,提出机械......
逻辑器件的延迟问题在传统数字电路课程中通常是被忽略的内容,但在现代数字逻辑电路设计过程中,逻辑器件的传输延迟及相关时序问题......
为了解决保护和断路器误动、拒动及其告警信息传输错误等不确定性因素影响故障诊断结果与精度的问题,建立了融合多源信息的电网多......
全球导航卫星系统(Global Navigation Satellite System,GNSS)是衡量一个国家科学技术发达水平与国防军事实力的重要标准之一,而在GNS......
程序中的时序约束是一类广泛存在的约束,其规定了组件的接口函数之间调用的先后顺序关系。例如:调用java.util.Stack类的peek()函数......
目前,随着计算机和网络技术的迅速发展,实时系统已越来越广泛地应用于国防工业、航空航天工业、交通运输业、制造加工业、流程生产行......
国际船舶制造业市场竞争十分激烈,各国的船舶企业为了获得更高的经济效益,不断研究和探索新的船舶建造工艺和高效的管理理念,其中如CI......
自希格斯粒子被发现以来,精确测量该粒子的特性和探索超越标准模型的新物理逐渐成为高能物理领域的研究热点。为精确测量希格斯粒......
台风、暴雨等强对流灾害性天气给沿海地区的人民生命安全和社会经济发展带来巨大的威胁和损失。因此,利用卫星实现对地观测,并在灾......
LCoS(Liquid Crystal on Silicon)芯片是一种在硅基液晶技术基础上发展起来的微显示芯片,常用于如可穿戴式设备的电子产品中,具有......
专用集合通信加速芯片是一个16+1端口的交换芯片,它的物理实现是采用180nm Hejian标准单元库工艺,最终面积为12.5mm×12.5mm,芯片规模......
时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测......
基于Altera FPGA的LogicLock(逻辑锁定)设计方法提高了复杂系统设计时的效率,在设计整合时,能更好的继承各个模块的实现结果;Assignme......
静态时序分析方法不依赖于激励,且可以穷尽所有路径,运行速度很快,占用内存很少,克服了动态时序验证的缺陷.探讨了时序路径、路径......
在进行数字电路系统的设计时,时序是否能够满足要求直接影响着电路的功能和性能.本文首先讲解了时序分析中重要的概念,并将这些概......
上世纪50年代末出现的计划评审法(PERT)和关键路径法(CPM)已经被证明是项目管理非常有效的工具。但是,这两种管理方法在应用中忽略......
本文针对目前国内外基于FPGA实现模糊控制器的发展现状,根据模糊控制理论、EDA软件工具以及FPGA技术,对模糊控制器的FPGA实现进行了......
规划识别是人工智能领域近年来发展起来的一个重要分支。规划识别是指根据观察到的智能体的片断的、琐碎的动作来推断智能体的目标......
物联网被认为是继计算机、互联网和移动通信网络之后的第三次信息产业浪潮。物联网通过传感设备获取“物”信息,并通过网络实现信......
本文研究智能变电站的在线智能警报信息处理方法。首先讨论了电力系统警报处理的各种方法及其优缺点,针对其存在问题,探讨了基于回溯......
该论文讨论了针对亚微米和深亚微米超大规模集成电路的时序驱动设计方法.该方法包括了:系统设计、逻辑综合、仿真、静态时序分析、......
随着嵌入式SRAM在SOC应用中的需求不断加大,在不牺牲性能的情况下,缩短SRAM的设计周期有着深远的意义。而且随着SRAM需求量增加并......
标准单元库在整个ASIC后端设计中的各个阶段扮演着极其重要的角色,一个性能优良的标准单元库可以给设计最终的成功提供有力的保障......
元数据信息是理解基本对象模型(Basic Object Models)重用能力的关键,也是BOM检索、选取和应用过程的前提和保证。BOM的正确使用以......
研究一种计及时序信息检查的电网故障诊断分层模糊Petri网模型。为了简化诊断模型,构造线路与母线的分层模糊Petri网。深入分析了......
针对面向混合任务的制造云服务组合问题,建立了优化模型并提出求解算法.首先对该问题流程进行了描述,分为混合任务分解,候选云服务......
服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对......
本文通过对电路布局的多电压代价进行分析,提出把电路按照不同的路径长度成组分离为不同的区域时,易于采用多电压实现,且采用多电......
为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用......
工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts......
片上系统包含的嵌入式存储器数量在迅速增加,这需要高速的提取静态随机存储器(SRAM)时序的方法.传统的SRAM建立时间提取方法(search b......
为有效地处理工作流运行中出现的时间异常,分析了工作流系统对时间异常处理的需求,给出了工作流时间异常处理和工作流时序约束相关活......
针对时序约束情况下Web服务组合的迫切需求,提出一种基于有限状态自动机的服务组合兼容性分析及修正方法。该方法首先根据组合有限......
提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和......
时序约束下的大规模数据分发在互联网环境下有着越来越广泛的应用.现有的系统大多采用mesh结构组织结点,并通过运行在请求结点的调......
基于时序约束的QoS感知的Web服务组合(TC-QSC)问题是在考虑时序约束的基础上寻找满足QoS约束或效用最大化的Web服务组合问题,受到了......
为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概......
基于构件的软件系统要求构件能够被正确的理解和使用.构件交互协议的描述为此提供了有效的途径。本文给出了一种基于时序的构件交互......
针对动态同步存储器在高速运行时出现的读写错误,设计了一种自动测试仪,允许自动改变电压,自动调整同步内存的参数,通过大量数据读写内......
在通讯ASIC设计中,时序行为是设计者考虑的主要目标。高层次综合领域中时序约束下的调度算法对ASIC设计的优化结果起着重要作用。论......
分析国内外卫星控制系统时序分析与设计方法和方法的现状,阐述了对时序进行数学建模的重要性.提出了针对时序设计过程的数学建模分析......
柔性工作流在应对业务建模过程中的动态不确定因素、提高工作流系统的柔性具有巨大的优势,然而,柔性活动的动态细化一直是柔性工作......
分析了故障诊断信息的主要来源,对比了各个信息的相同点和不同点,建立了面向元件的故障诊断模型,该模型简化了以往的故障诊断计算......
JPEGXR编码算法中重叠双正交变换(LBT)传统的FPGA实现都是基于线性提升结构,无时序约束,存在亚稳态、码流不受控等问题。为此,设计......
现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有......