SoC静态时序分析中时序约束策略的研究及实例 被引量：10

1

作者 谈晓婷 付宇卓 谢凯年 《微电子学与计算机》 CSCD 北大核心 2006年第4期64-67,共4页

文章简要描述了静态时序分析的原理,并在一款音频处理SoC芯片的验证过程中,详细介绍了针对时钟定义、多时钟域、端口信号等关键问题的时序约束策略。实践结果表明,静态时序分析很好地满足了该芯片的验证要求,而且比传统的动态验证效率... 文章简要描述了静态时序分析的原理,并在一款音频处理SoC芯片的验证过程中,详细介绍了针对时钟定义、多时钟域、端口信号等关键问题的时序约束策略。实践结果表明,静态时序分析很好地满足了该芯片的验证要求,而且比传统的动态验证效率更高。 展开更多

关键词 SOC设计 静态时序分析 静态验证 时序约束

下载PDF 职称材料

红外空空导弹抗干扰性能验证方法研究 被引量：9

2

作者 陈晓娟 《红外技术》 CSCD 北大核心 2013年第7期425-429,共5页

抗干扰性能是衡量红外空空导弹作战效能高低的重要指标之一,如何有效地进行测试与验证是当前研究的重点。提出了一系列包括静态验证,虚拟样机仿真,半实物仿真以及实物试验等完整的验证方法,可以全面考核红外空空导弹的抗干扰性能,其试... 抗干扰性能是衡量红外空空导弹作战效能高低的重要指标之一,如何有效地进行测试与验证是当前研究的重点。提出了一系列包括静态验证,虚拟样机仿真,半实物仿真以及实物试验等完整的验证方法,可以全面考核红外空空导弹的抗干扰性能,其试验效果真实、有效。 展开更多

关键词 红外空空导弹 抗干扰性能 静态验证 虚拟样机仿真 半实物仿真

下载PDF 职称材料

一种基于Petri网的时间工作流模型的研究与验证 被引量：8

3

作者 李丹 陈启璋 刘强 《计算机工程》 CAS CSCD 北大核心 2007年第7期78-80,共3页

时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时... 时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。 展开更多

关键词 工作流 时间模型 时序依赖 静态验证

下载PDF 职称材料

数字电路芯片验证方法研究综述

4

作者 曹庆年 姚翌 孟开元 《工业控制计算机》 2024年第2期53-55,83,共4页

目前验证的方法和工具种类繁多,对动态验证、静态验证和硬件加速仿真三种典型的芯片验证方法进行综述,在验证设计质量、验证时间和验证成本三个方面说明各自的特点。最后提出了芯片验证的展望。对于芯片验证方法的研究,以期对后续研究... 目前验证的方法和工具种类繁多,对动态验证、静态验证和硬件加速仿真三种典型的芯片验证方法进行综述,在验证设计质量、验证时间和验证成本三个方面说明各自的特点。最后提出了芯片验证的展望。对于芯片验证方法的研究,以期对后续研究人员了解芯片验证方法,在今后的芯片验证设计过程中结合设计特点,选择正确的验证方法有所帮助。 展开更多

关键词 动态验证 静态验证 硬件加速仿真

下载PDF 职称材料

瞬态激励法动态测试重组竹弹性模量、剪切模量和泊松比

5

作者 徐齐云 谷晓雨 +3 位作者 王正 陈林碧 许斌 陈清平 《林业工程学报》 CSCD 北大核心 2023年第5期70-78,共9页

重组竹是一种竹质新材料,其是以竹束为构成单元,经干燥与施胶后于模具中胶合而成的一种型材,完全弥补了原生竹材的结构缺陷。重组竹拥有良好的力学性能、优良的质感以及较高的美学价值,且其本身为绿色环保、可持续供给的生物质材料,因... 重组竹是一种竹质新材料,其是以竹束为构成单元,经干燥与施胶后于模具中胶合而成的一种型材,完全弥补了原生竹材的结构缺陷。重组竹拥有良好的力学性能、优良的质感以及较高的美学价值,且其本身为绿色环保、可持续供给的生物质材料,因此作为建筑材料的潜力极强。弹性常数是衡量重组竹作为建筑材料的力学性能重要指标,为了快速、简便、无损、准确地检测重组竹材料的弹性常数,分别采用自由板和悬臂板瞬态激励法动态测试了重组竹试件的弹性模量E、剪切模量G和泊松比μ,利用静态四点弯曲法试验验证了重组竹动态弹性模量、剪切模量和泊松比的准确性和可靠性,并对重组竹整板质量等级、均质性和尺寸效应等进行了机理分析与评价。结果表明,重组竹的动态弹性模量、剪切模量和泊松比均值分别为11797 MPa,1579 MPa和0.311,符合GB/T 40247—2021《重组竹》中结构用重组竹的要求。重组竹为各向异性材料,动、静态法测得的重组竹试件弹性常数一致,且本动态测试法相较于其他传统方法具有快捷、便利、重复性好和精度高等优势。 展开更多

关键词 重组竹 弹性常数 动态测试 静态验证 自由板瞬态激励 悬臂板瞬态激励 四点弯曲法验证试验

下载PDF 职称材料

多媒体数字处理芯片W99711的静态验证 被引量：1

6

作者 王建中 《计算机与信息技术》 2006年第Z1期55-58,共4页

本文以多媒体处理数字芯片W99711为例,详细描述了静态验证在W99711中的应用。

关键词 静态验证 形式验证 静态时序分析 媒体数字处理芯片

原文传递

SOC设计验证技术 被引量：1

7

作者 蒋安平 《中国集成电路》 2004年第5期48-52,共5页

本文论述了SOC正确性验证所使用的模拟、形式验证技术和静态验证技术等,并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。

关键词 SOC 正确性验证 形式验证 静态验证 模拟技术

下载PDF 职称材料

粉针T800/H2/C3型层流式隧道烘箱调试验证 被引量：1

8

作者 张小清 张勇 《中国药业》 CAS 2006年第21期44-45,共2页

目的调试T800/H2/C3型层流式隧道机械设备,确认其机械性能。方法在层流式隧道空载、不加热、只开风机条件下检测各工段的风速、压差、沉降菌、悬浮粒子及选用抗生素玻璃瓶的初始微生物、清洁度、灭菌效果等。结果风速、压差均合格。沉... 目的调试T800/H2/C3型层流式隧道机械设备,确认其机械性能。方法在层流式隧道空载、不加热、只开风机条件下检测各工段的风速、压差、沉降菌、悬浮粒子及选用抗生素玻璃瓶的初始微生物、清洁度、灭菌效果等。结果风速、压差均合格。沉降菌检测培养为0；粒径≥0．5μm的悬浮粒子小于或等于100个/Cf,无粒径≥5μm的悬浮粒子,空气洁净度达100级；进隧道口的抗生素玻璃瓶初始微生物、清洁度及其灭菌效果等检查均符合《T800/H2/C3型层流式隧道验证方案》规定。结论该隧道设备在空载、不加热、开风机条件下静态验证符合《T800/H2/C3型层流式隧道验证方案》,可进行动态满载加热试生产运行验证。 展开更多

关键词 层流式隧道 空载不加热 风机空气洁净度 玻璃瓶清洁虚 静态验证

下载PDF 职称材料

支持契约式设计的Java静态验证器的研究 被引量：1

9

作者 章程 赵建军 +1 位作者 沈备军 陈昊鹏 《计算机应用与软件》 CSCD 北大核心 2008年第5期134-136,共3页

基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了... 基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。 展开更多

关键词 契约式设计(DBC) JAVA 静态验证

下载PDF 职称材料

ASIC综合后的静态验证方法的研究 被引量：4

10

作者 舒适 唐长文 闵昊 《微电子学》 CAS CSCD 北大核心 2004年第1期56-59,共4页

　介绍了基于深亚微米CMOS工艺ASIC电路设计流程中的静态验证方法。将这种验证方法与以往的动态验证方法进行了比较,结果表明,前者比后者更加高效和准确。由此可以说明,静态验证完全可以取代动态验证,并且静态验证比动态验证更加适合超... 　介绍了基于深亚微米CMOS工艺ASIC电路设计流程中的静态验证方法。将这种验证方法与以往的动态验证方法进行了比较,结果表明,前者比后者更加高效和准确。由此可以说明,静态验证完全可以取代动态验证,并且静态验证比动态验证更加适合超大规模集成电路的发展趋势。 展开更多

关键词 ASIC 静态验证方法 深亚微米CMOS工艺 电路设计 劝态验证 集成电路

下载PDF 职称材料

概念模型验证方法研究综述

11

作者 顾闯 贾希胜 +2 位作者 刘彬 田书超 孙王虎 《军械工程学院学报》 2013年第6期19-24,共6页

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法... 概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题. 展开更多

关键词 概念模型验证 非形式化验证方法 静态验证方法 动态验证方法 形式化验证方法

下载PDF 职称材料

基于属性的形式验证技术及应用 被引量：1

12

作者 游余新 《中国集成电路》 2013年第12期31-36,50,共7页

为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳。传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对corner case进行快速验证,有效避免了一些设计缺陷。Mentor... 为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳。传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对corner case进行快速验证,有效避免了一些设计缺陷。Mentor公司的Questa Formal工具可以对代码进行常规的功能检查,并可用Formal引擎证明设计代码及其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。 展开更多

关键词 功能覆盖率 静态验证技术 FORMAL 断言

下载PDF 职称材料

利用Formal引擎提升复杂设计跨时钟域的检查和验证效率 被引量：1

13

作者 游余新 《中国集成电路》 2017年第3期70-75,共6页

为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对... 为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的Questa CDC和Formal工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。 展开更多

关键词 亚稳态 跨时钟域检查 静态验证技术Formal 断言

下载PDF 职称材料

“静态验证法”在故障诊断中的应用

14

作者 高福恩 《汽车杂志》 1990年第8期16-17,共2页

关键词 静态验证法 故障诊断 应用

原文传递

网上问答

15

《农村电气化》 2013年第3期63-63,共1页

虚端子正确性的验证方式？ 现场虚端子正确性是如何验证的？是查看SCD配置文件,还是实际操作或动作去验证？ weahappy：首先要静态验证,即检查SCD文件自身配置是否正确和有效。

关键词 静态验证 配置文件 SCD D文件 端子

下载PDF 职称材料

导弹仿真模型验证系统的研究与实现 被引量：6

16

作者 刘慧英 孙真 刘昕 《现代电子技术》 2012年第3期1-4,共4页

为评估数字仿真系统的仿真模型与实际物理模型之间的接近程度,确保仿真结果的可信性,在对现有模型验证方法的优缺点及适用性分析的基础上,研究开发一套仿真模型验证系统。该系统采用自顶向下的模块化结构设计,实现了仿真模型验证方法在... 为评估数字仿真系统的仿真模型与实际物理模型之间的接近程度,确保仿真结果的可信性,在对现有模型验证方法的优缺点及适用性分析的基础上,研究开发一套仿真模型验证系统。该系统采用自顶向下的模块化结构设计,实现了仿真模型验证方法在系统中的高度集成,为仿真系统的整体性能评估奠定了坚实的基础。 展开更多

关键词 仿真模型验证 数据预处理 静态性能验证 动态性能验证

下载PDF 职称材料

导弹武器系统六自由度仿真模型验证方法 被引量：3

17

作者 廖瑛 梁加红 +1 位作者 杨雪榕 邓方林 《上海航天》 北大核心 2007年第6期34-38,共5页

为验证某导弹系统六自由度仿真模型,根据导弹武器系统输出数据的特点,讨论了适于小样本输出统计分析的Bayes法。给出了导弹系统仿真模型静、动态性能的验证方法,用Wigner-Ville分布(WVD)验证导弹系统仿真模型。根据三次实弹发射的遥外... 为验证某导弹系统六自由度仿真模型,根据导弹武器系统输出数据的特点,讨论了适于小样本输出统计分析的Bayes法。给出了导弹系统仿真模型静、动态性能的验证方法,用Wigner-Ville分布(WVD)验证导弹系统仿真模型。根据三次实弹发射的遥外测数据完成的仿真模型验证结果表明,该导弹系统六自由度仿真模型可信。 展开更多

关键词 导弹武器系统 仿真模型验证 Bayes法 WIGNER-VILLE分布 静态性能验证 动态性能验证

下载PDF 职称材料

双频双模导航基带芯片的静态时序分析 被引量：4

18

作者 常江 张晓林 苏琳琳 《微电子学》 CAS CSCD 北大核心 2011年第3期350-353,358,共5页

针对一款双频双模导航基带芯片的ASIC设计,提出一种多异步时钟域的时序约束设计方法,并通过设置虚假路径、多周期路径和修正建立保持时间违例的方法,优化了时序。最终使芯片满足系统时序要求,通过了静态时序验证,为芯片流片提供了可靠... 针对一款双频双模导航基带芯片的ASIC设计,提出一种多异步时钟域的时序约束设计方法,并通过设置虚假路径、多周期路径和修正建立保持时间违例的方法,优化了时序。最终使芯片满足系统时序要求,通过了静态时序验证,为芯片流片提供了可靠保证。 展开更多

关键词 双频双模 基带芯片 静态时序验证 时序优化

下载PDF 职称材料

微断层描述方法研究

19

作者 曹珊珊 《内蒙古石油化工》 CAS 2015年第6期127-129,共3页

针对复杂断块中的五、六级断层,由于落差几米或十余米,在地震、钻井资料上都不易识别,长期以来落实程度较低,而且这些小微断层错断了油层、阻断了砂岩连通性、严重干扰了油水关系的问题,本项目综合利用地震、测井、动态等资料,加大微断... 针对复杂断块中的五、六级断层,由于落差几米或十余米,在地震、钻井资料上都不易识别,长期以来落实程度较低,而且这些小微断层错断了油层、阻断了砂岩连通性、严重干扰了油水关系的问题,本项目综合利用地震、测井、动态等资料,加大微断层识别、描述攻关研究,初步形成了一套微断层综合描述技术,具体包括"静态四种技术、动态六项验证"。该技术可以更清楚地描述这些微断层,有效提高油藏的采收率和注水开发水平。 展开更多

关键词 断层 断点识别 断层封隔机理 动静态相互验证

下载PDF 职称材料