分级式IC版图设计规则检查

：针对层次式设计的集成电路版图，提出一种分级式的版图设计规则检查算法．通过提取和使用单元图形抽象，结合浮出重叠区覆盖下的子单元图形的方法，确定了各单元在任意布局下的设计规则检查（ＤＲＣ）运算图形集，可以处理各种重叠情况．分级式ＤＲＣ分别对每个单元的ＤＲＣ图形集作一次检查，与打散式相比，大大减少了处理重复单元多的大规模、超大规模集成电路版图的工作量，从而缩短了检查时间，降低了内存需求。

通用集成电路设计规则检查

文章介绍了利用SUN工作站上Cadence中的Dracula工具进行集成电路设计规则检查(DRC)的全过程;较详细地介绍了DRC文件的编写、运行及输出结果的查看,并给出了实例。

基于Protel的多张式电路图电气规则检查

与单张式电路图相比,在Protel DXP中对多张式电路图纸电气规则检查过程要相对复杂。本文以基于单片机的8路抢答电路层次原理图的电气规则检查为例,详细阐述了编译工程之前对项目选项进行合理的配置,以及多张式电路图的编译和错误修订过程。

基于BIM规则检查如何推进BIM在中国的发展

随着社会进入信息化的时代，建筑界的BIM时代也即将到来，但是在中国这个飞速发展的国家，BIM的发展却相对滞后。为了推动BIM的发展，本文以规划和建筑的审图环节为切入点，通过打通BIM中I（Information）在规划设计、建筑设计、结构设计、水电暖设计与图纸审核环节的信息连接来深化应用BIM技术，促进规划业与建筑业信息化的进程，带动中国BIM的发展。

多线程技术在航班规则检查中的应用

多线程程序设计技术在开发并行性和提高系统性能等方面的应用日益广泛.分析了线程和多线程程序设计的概念和基本思想,并结合在航班优化系统中航班规则检查的应用实例,说明了多线程程序设计的实现方法.

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。

一种新颖的光罩可制造性规则检查方法与系统

介绍了一种较为先进的光罩可制造性规则检查的方法及其系统构成。实验结果表明,通过整合各种EDA工具,在光罩检验前就可发现这些可能给光罩检验造成困难的图形,为后续光罩检验步骤提供参考,显著提高了光罩检验的效率。

用在可制造性设计中的光刻规则检查

可制造性设计(DFM)已经发展成为优化通晓制造技术设计中的有效工具,它包含从理论、规则到工具的整体应用来提升从设计到硅片的流程。基于制程模型的光刻规则检查(LRC),可查出没被设计规则检查(DRC)出来的设计布局的不足之处。本设计把光刻规则检查加入到设计流程中,用来优化设计规则,改善布局更有利光学邻近效应修正,使布局图形有更大的制程窗口。

GEDS中的联机增量式设计规则检查及其实现

版图的联机增量式设计规则检查(IDRC)是指在版图设计过程中随设计的进行渐进完成版图设计规则检查.我们在版图交互编辑系统GEDS中嵌入并实现了一个IDRC过程.文中介绍了基本的设计规则检查算法和IDRC的实现策略.结合版图的分级设计还讨论了分级设计规则检查方法.

代码规则检查工具评析

软件测试是保障软件质量最有效的手段，而代码规则检查能够透过征兆直接看到问题本质，快速找到缺陷，发现30％～70％的逻辑设计和编码缺陷，是所有测试手段中最高效的。由于此方法要求测试人员熟悉软件编程，因此对测试人员有较高要求。且读懂对方代码，也是一项耗时、费力的工作，严重影响测试效率。代码规则检查工具实现了对代码是否符合国军标相关标准的规则检查，能按照代码规则自动、快速验证代码与相关标准的复合性，同时检查代码的可读性、代码与设计的一致性、代码逻辑表达的正确性及代码结构的合理性等。通过对几种主流的代码规则检查工具的对比分析，探讨了各个工具的优缺点及选择的诸多因素，对于软件测试人员如何选择合适的该类测试工具，具有实际参考价值。

基于规则检查的网卡驱动程序脆弱性研究

在计算机系统中,驱动程序相当于操作系统和底层硬件的交互纽带,其正确性不容忽视。以Linux内核网卡驱动程序为主要分析对象,通过对网卡驱动程序的基本功能模块进行分析,借助符号执行技术,提出了一种基于规则检查的网卡驱动程序分析方法,构建了一个自动化分析系统。针对Linux 2.6.29版本的内核,利用该系统进行测试,结果表明该系统可以快速有效发现新脆弱性。

关于LSI/VLSI的设计规则检查

本文介绍了DRACULA／DRC的主要命令和OPTION以及应用有关命令对P阱CMOSLSI／VLSI版图进行设计规则检查（DRC）的情况。

浅析基于规则检查的BIM模型评估

目前,基于规则检查的BIM模型评估,或者说工程数字化审核在国内外越来越受到重视。然而,相比于国外,我国基于信息技术的BIM模型自动审核方法还尚处于初始阶段,本土化进程还在继续。文章综合目前最新的国内外研究现状,提练出几种典型的基于规则检查的BIM模型评估体系,同时在国外文章不作讲述或者讲得非常粗略的方面上加入了一些个人的理解及阐述,希望能对中国的工程自动化审核事业提供些许的帮助。

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

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

基于规则定制的数据质量检查系统设计与实现

数据质量对大数据分析决策具有重要影响,数据业务主管部门经常组织数据会审以检查和整改数据质量。针对现有技术检查工具功能不够全面、合理的问题,提出了一种基于规则定制的数据质量检查系统,构建了系统总体技术架构,形成了数据质量检查任务模型,设计了数据质量检查软件,建立了数据质量检查知识图谱,加强了检查规则管理功能,实现了基础字段、常规查询、扩展流程、外部插件四类检查方法,引入了图像智能检查技术。通过实际应用验证,系统增强了数据审核印证方法手段,有效提升了数据会审工作效果,促进了数据质量综合治理。

对ISM规则大检查的分析与认识

对持续 3个月的ISM规则世界性大检查作认真分析 ,对船舶管理缺陷、船舶滞留。

基于规则的地理国情普查质量检查系统的设计与实现

针对全国第一次地理国情普查及四川省地理省情普查,笔者结合生产实际,研究和探讨了地理国情普查成果数据质量检查的内容、技术方法及精度指标,设计了内容完整、检查科学的质量检查模型,研发了自动化程度高、拓展性强、运行稳定、检查效率高的地理国情普查质量检查软件,介绍了软件的功能、特点及应用情况。

连续抽样方案的中止检查规则

本文借助于转移概率流向图及马尔可夫链的方法，证明了将仅在全检期间检出不合格品时才可能中止检查的中止检查规则添加在适用于被提交产品总数为无穷的各类连续抽样方案中，将不改变这些方案原有的基本统计特性。

关于新的船舶安全检查规则的研讨

我国经修订的新的2010年船舶安全检查规则现已开始实施。本文简评新的船舶安检规则的特点,讨论其与98规则比较有哪些变化,并对该规则的一些存疑进行相关的研讨。

基于知识熔接的Check-Mate检查规则

介绍了NX中的Check-Mate数据验证机制、UG/KF语言、Check-Mate检查规则的结构。并且利用KF语言编写了一个新的检查规则来检测模型的质量,并把它加载到Check-Mate中对设计模型进行数据检验,从而实现了UG/NX对产品设计模型的自动化检测。