时序约束相关论文
静态时序分析是目前通用的芯片时序验证的重要方法，其依赖于时序模型和时序约束。时序约束是检验设计电路时序的准则，好的时序约束可......
针对多机器人协同制造系统处理复杂产品时任务的时序约束复杂、避碰和效率优化目标难实现的问题，提出一种时序约束（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的正确使用以......
