浅谈集成电路版图验证工具Dracula中的几何设计规则检查(DRC)

介绍了集成电路版图验证工具Dracula中DRC的基本流程、基本内容、基本命令和DRC文件的编写及注意事项,并给出了检查宽铝规则的实例和运行DRC酊详细操作步骤。

版图验证工具Dracula中的lvs检查

LVS是Dracula验证软件中用于比较版图与原理图在晶体管级的连接是否正确，并用报告形式列出其差异之处的设计验证工具。LVS命令文件的编写直接关系到验证准确性，进而影响到设计一次成功率。LVS的错误大体分为器件的不一致和器件的失配两种类型。

基于社区老年人群的10年心血管风险评估工具外部验证

背景心血管疾病严重威胁我国老年人的健康,给我国带来巨大的经济负担;早期心血管疾病风险评估工具的准确筛查能够针对性预防和延缓心血管疾病的发展,相关研究提示常用心血管风险评分工具在老年人中预测效能不佳,缺乏相关外部验证,且尚无公认针对老年患者的有效风险预测工具。目的在我国社区老年人群中独立验证并比较5种国内外常用心血管风险评估工具预测10年心血管疾病发病风险的效能,探索适合我国社区老年人群的心血管疾病风险评估工具,为基层心血管疾病防治提供理论依据和支持。方法2012年1月—2013年12月于苏州市留园社区卫生服务中心和润达社区卫生服务中心,在参加社区体检的2万余人中根据纳入排除标准,最终确定344人纳入研究,在创业体检系统中调取目标人群年龄、性别、居住区域、收缩压、舒张压、BMI、腰围、总胆固醇、高密度脂蛋白胆固醇、三酰甘油、是否有房颤、是否左心室肥厚、心血管疾病患病情况、高血压患病情况、糖尿病患病情况、吸烟情况;在慢病随访中完善人群目前吸烟状态及烟龄、是否服用降压药、心血管病家族史、高血压患病情况及高血压用药情况、糖尿病患病情况、2014年1月—2022年12月是否有心血管疾病发病及具体时间。研究结局事件为脑卒中和冠心病发病,根据发病情况分为阳性组和阴性组,依据2012—2013年研究对象各项指标进行Framingham心脏风险评分量表(FRS-CVD)、改良的Framingham卒中量表(R-FSRS)、欧洲系统性冠状动脉风险评估量表2019(SCORE)、中国10年缺血性心血管疾病风险评分量表2006(ICVD)、China-PAR心血管疾病风险评估,将评估结果与实际心血管疾病发病情况进行一致性指数(Concordance index,C-index)、Hosmer-Lemeshow χ^(2)检验和校准图评价。结果纳入的344人研究对象平均年龄62(56,68)岁,截至2022年12月,169人发生心脑血管疾病(阳性组),175人未发生心脑血管疾病(阴性组);分别对两组人群进行5种心血管疾病风险评分,心血管疾病风险评估工具预测情况与实际发病情况的对比分析结果如下,区分度检验:FRS-CVD的C-index为0.711(95%CI=0.658~0.764),R-FSRS的C-index为0.728(95%CI=0.675~0.781),SCORE:C-index为0.724(95%CI=0.671~0.777),ICVD:C-index为0.727(95%CI=0.674~0.779),China-PAR:C-index为0.735(95%CI=0.682~0.788);Hosmer-Lemeshow检验校准情况:FRS-CVD为χ^(2)=16.789(P=0.032),R-FSRS为χ^(2)=11.019(P=0.201),SCORE为χ^(2)=20.396(P=0.002),ICVD为χ^(2)=24.311(P=0.001),China-PAR为χ^(2)=15.149(P=0.056);校准图中,R-FSRS属校准最佳。男性中模型区分度:FRS-CVD的C-index为0.642(95%CI=0.577~0.707),R-FSRS的C-index为0.646(95%CI=0.581~0.710),SCORE的C-index为0.646(95%CI=0.581~0.711),ICVD的C-index为0.628(95%CI:0.563~0.693),China-PAR的C-index为0.636(95%CI=0.571~0.700);Hosmer-Lemeshow检验校准情况:FRS-CVD为χ^(2)=7.371(P=0.288),R-FSRS为χ^(2)=8.470(P=0.293),SCORE为χ^(2)=5.146(P=0.525),ICVD为χ^(2)=6.103(P=0.412),China-PAR为χ^(2)=9.555(P=0.298),校准图中SCORE校准最好。女性中模型区分度:FRS-CVD的C-index为0.698(95%CI=0.633~0.762),R-FSRS的C-index为0.731(95%CI=0.666~0.795),SCORE的C-index为0.733(95%CI=0.668~0.798),ICVD的C-index为0.747(95%CI=0.682~0.811),China-PAR的C-index为0.754(95%CI=0.689~0.818);Hosmer-Lemeshow检验校准情况:FRS-CVD为χ^(2)=14.515(P=0.069),R-FSRS为χ^(2)=12.175(P=0.032),SCORE为χ^(2)=9.611(P=0.022),ICVD为χ^(2)=19.349(P=0.007),China-PAR为χ^(2)=12.372(P=0.135),校准图中China-PAR校准最好。结论R-FSRS在预测老年人心血管疾病风险预测方面表现良好,尤其适用于老年人。SCORE在预测老年男性心血管疾病风险方面表现较好,而China-PAR在预测老年女性心血管疾病风险方面表现较好。这些评估工具的应用将有助于医生对老年人的心血管疾病风险进行准确预测,并制定相应防治策略。

基于交互式电子故障诊断手册的机器可读层级验证工具研究

针对机器可读标准层级验证的需求,以交互式电子故障诊断手册为例,对其进行机器可读层级及特征分析,在此基础上提出了基于交互式电子故障诊断手册的机器可读层级验证测试系统的功能需求,设计并开发了验证工具功能模块,选取特定交互式电子故障诊断手册进行了验证工具的应用。相关研究方法和成果可应用于交互式电子故障诊断手册的机器可读层级验证,可为其他新型标准的机器可读层级验证提供参考。

关节轴承安装工具关键特征仿真研究与试验验证

本文主要以关节轴承UC6-GJB269-87/5安装在材料为30CrMnSiA的基座零件上为研究对象,基于有限元环境,采用不同规格的安装工具进行轴承收口仿真分析,研究关节轴承对收口工具的敏感性,得到最佳收口工具参数,并进行实物试验验证。试验结果和仿真结果基本相符,验证了理论分析的正确性,也为实际工程中关节轴承的收口提供了重要的理论支撑。

多功能二次电缆抓取工具改进分析

阐述二次电缆抓取工具的原理和特点,探讨多功能二次电缆抓取工具的设计方案、总体设计和重要零部件的设计与制造,测试与验证结果表明,它具有更高的抓取效率和更广泛的使用范围。

基于CNAS的软件性能测试能力验证方法与实践

CNAS是中国合格评定国家认可委员会制定的标准,其认证的证书代表了软件测试领域的最高质量和可信度,标志实验室在软件测试领域达到了国际标准要求。能力验证是CNAS认证的关键步骤之一,通过能力验证可以证明实验室在测试设备、人员资质、测试方法等各方面符合CNAS的要求。选用了“课题数据管理软件V1.0”为被测样品,使用LoadRunner测试工具,对被测样品的测试需求、测试场景设计及测试具体实施进行了研究和分析。

机载电子装备测试性验证平台设计与实现

针对现代机载电子装备在执行任务过程中故障检测和隔离难度大、维修保障困难等问题,利用故障注入的方法设计了机载电子装备测试性验证平台。首先,阐述了验证平台的总体架构、交联关系和工作原理;然后,基于PXI技术设计了测试性验证平台的自动测试分系统与故障注入分系统,并兼顾了适配接口模块;同时,验证平台集成VITE软件作为平台的故障注入软件开发环境;最后,对某机载配电系统测试信号及故障模式进行分析,开发了故障注入控制程序,为提高机载装备测试性水平提供了技术参考。

SPVT:一个有效的安全协议验证工具

描述了基于ObjectiveCaml开发的一个安全协议验证工具SPVT(securityprotocolverifyingtool).在SPVT中,以扩展附加项的类π演算作为安全协议描述语言,以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型,通过一组抽象规则将安全协议的类π演算模型转换为逻辑程序模型,基于安全协议逻辑程序的不动点计算验证安全性质,从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例.以简化的Needham-Schroeder公钥认证协议为例,描述了使用SPVT自动验证安全协议的过程,表明了SPVT用于安全协议验证的有效性.

构件化嵌入式软件设计模型非功能性质验证的工具实现

嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(Tool for Component-based Embedded Software Designs)进行了资源及能耗等非功能性质验证功能的扩展设计与实现,包括:资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现,以及一个通信构件组合系统的实例应用分析。

在线讨论质量分析工具的研发与实效验证

在线讨论是远程培训的重要活动形式,其讨论质量直接关涉到远程培训的成效。然而,以往的在线讨论质量分析往往局限于或者对分析框架进行学理层面的探讨,或者对内容质量进行事后分析,或者采用部分抽样而非全样本分析。这致使原有研究可操作性不强、过程性干预较弱、数据抽样和分析不够科学。为了改进研究的不足,远程培训在线讨论质量分析框架应围绕话题质量、讨论参与和讨论深度三个关键要素进行建构,分别设置质量分析计算规则,嵌入到网络研修平台中,使其能为学生、教师和管理者自动提供实时的可视化分析仪表盘。以两期远程培训学员为对象,通过对比实验和问卷调查等方法,对在线讨论质量分析工具的应用效果检验表明:在线讨论质量分析工具不仅有利于提高远程培训中学员的讨论参与度与积极性,而且对其讨论深度与讨论质量也具有积极影响。此外,在线讨论质量分析工具还具备一定的自我导向作用,有利于改善远程培训中学员参与讨论的行为,保持和提高其讨论积极性。

仿真验证工具研究

针对复杂仿真系统的验证问题,从基于知识的角度提出了仿真验证工具的总体结构,对验证数据知识库、验证方法知识库、验证规则库和推理系统等关键组件进行了设计,并开发了仿真验证工具。该工具已应用于多个复杂仿真系统的验证,在很大程度上提高了验证的客观性和效率。

T-CBESD:一个构件化嵌入式软件设计模型验证工具

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.

MOTEC:一个存储一致性模型验证工具

由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。

复杂仿真系统模型验证工具设计与实现

模型验证是VV&A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计和实现是合理有效的,实现了模型验证的自动化。

分布式仿真系统验证工具设计与开发

为实现分布式仿真系统的自动验证,设计并开发了一个基于多Agent技术的验证工具.该工具采用形式化描述和校核方法完成多Agent系统的设计,利用Q学习算法实现多Agent之间的协调和协作,并使用面向对象知识表示方法表示了分布式仿真系统的验证知识,从而实现了统计验证、图灵测试和表面验证等任务.实际应用证明,该工具极大的提高了分布式仿真系统验证的自动化水平.

基于即时验证的软件验证工具改进设计与实现

基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现。集成Topcased和JFLAP扩展了T-CBESD图形化建模接口;设计并实现了相关输入处理与转换;重新设计并实现了状态空间数据结构,包括功能、非功能行为(实时、资源、能耗等)验证问题在内的多个基于路径的一致性即时验证算法。给出了改进工具在火灾预警系统中的应用实例与分析。

用ISAPI开发基于IIS的用户验证工具

介绍利用 ＩＳＡＰＩ Ｆｉｌｔｅｒ技术可以开发适用于ＩＩＳ的用户验证通用工具．能够做到：保护ＩＩＳ发布的各种资源；直接用于Ｗｅｂ上各种应用程序，不需任何改造；用户信息的非对称动态加密；方便管理，对最终用户透明．

TCBV:一种构件时序行为建模与相容性验证工具

利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。

构件化嵌入式软件设计模型验证工具的研究

基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性,本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现,能够对系统设计模型与场景式规约之间多种行为的一致性进行检验,并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。