XY/L:嵌入式的版图设计语言

目前流行的LSI/VLSI版图设计的主要方式是坐标数据的编辑或交互图形的编辑。本文介绍的是一个具有高级语言特征的版图描述语言XY/L。该语言不仅允许用户使用绝对坐标,以类似CIF式进行版图编程,而且可以使用相对位置进行模块安置和芯片装配;用户无需与烦琐易错的绝对位标数值打交道,而且几何设计规则(最小尺寸,最小间距、最小覆盖)能自动得到满足。该语言的其他一些特点是:支持层次结构的设计方法、具有参数化的模块功能,具有模块抽象过滤的功能、具有高级语言的控制语句(例如IF then,For,While Case等)。XY/L不但可作为独立的版图设计语言而使用,而且它将为硅编译(Silicon Compiler)系统的一个基本组成部分。     

一个小型机上的LSI CAD系统的方条

大规模集成电路(LSI)的计算机辅助设计(CAD)技术是发展LSI必不可少的工具,建立一个以CAD数据库为中心的LSI CAD系统将会更有效地发挥CAD技术的作用。本文介绍的是一个小型机上的LSI CAD系统—TCADS,它以CAD数据库TCD-1为中心,包括逻辑模拟、电路模拟、版图的辅助设计和辅助制版、版图的检查等若干个子系统。文中提出了系统的设计目标和设计思想,然后介绍了系统的结构,最后简述了初步实施的情况。     

充分利用WIN98系统工具的先进功能

ＷＩＮ９８提供了大量高效的系统管理工具,与ＷＩＮ９５相比它的系统维护工具更加完善、易于操作,因而使系统运行更加快速、稳定且易于维护。１磁盘扫描程序磁盘扫描程序用于：检测文件及文件夹是否有错误,主要处理是否有丢失的文件碎片数据;扫描磁盘表面是否有物理错误,主要检查磁盘是否有坏的扇区并标记出来,防止系统将信息写入坏扇区而造成文件损坏。从桌面上执行方法,开始－程序－附件－系统工具－磁盘扫描程序。点击后可选“标准方式”,只检测文件及文件夹：选“完全方式”则是执行标准测试井扫描磁盘表面,检查修复磁盘表面物…     

完全自校验四余度容错系统设计

完全自校验四余度容错系统是由完全自校验电路管理一个传统的四余度容错系统组成,其中完全自校验电路的功能是用来检测冗余模块错误信息和校验电路本身的错误。错误信息指示主要依赖于错误信息输出,它可以用来产生停止信号来阻止错误的传播。校验电路内部错误产生的指示码和冗余模块错误信息无关,但是可以屏蔽冗余模块和完全自校验电路的错误。此系统具有很高的可用性和可维护性。     

微处理器控制的MOS存储器检查系统(续)

四、图形检查程序在硬件设计和微指令定义完成后,剩下的工作就是程序设计—编写图形检查程序了,其过程是:流程图-方块图-代码编写。举例如下: 图形检查程序是按照MOSTEK公司MK 4116使用手册中给定的图形检查要求编制的,手册中给出7种检查图形:全“1”全“0”、校验板、对角线(访问周期10μs)、地址奇偶、移动对角线、动态刷新和静态刷新。另外我们又增加了一种经试验认为比较严格的周边打扰图形。这样,图形检查程序就共有8种正式检查图形。这些图形检查程序对存储器检查严格、准确,它不同于一般采用的对读出数码只做海明检查     

系统问答

Q我使用系统自带的“磁盘扫描程序”查到错误，请问如何处理？A磁盘损坏通常分为由于软件、病毒等原因导致的逻辑损坏和由于磁盘片介质的局部损伤（如折痕、划伤、污点等）导致的物理损坏两种。系统自带的“磁盘扫描程序”可以检查硬盘的逻辑和物理损坏，并对损坏的区域进行修复．还会将无法修复的区域加以标记．这样．系统就不会再使用加上标记的区域。所以，只要“磁盘扫描程序”运行时确认系统没有病毒，     

一种知识库校验工具PKBV的设计与实现

以Petri网建模基于规则的知识库,并据此开发出知识库校验工具PKBV,该工具通过对Petri网可达性及不变量的分析计算,来检查知识库中常见的完整性与一致性错误,针对具有多领域知识库的复杂系统,PKBV具有抽取多领域知识库之间的关联规则并进行校验的功能,满足了复杂知识系统的校验需求。     

图形交互式道路纵断面设计CAD系统

“图形交互式道路纵断面设计ＣＡＤ系统”是利用ＡｕｔｏＣＡＤ图形软件和ＩｎｇｈＣ语言开发的交互式道路纵断面设计与绘图系统．利用该系统可以直接在ＡｕｔｏＣＡＤ图形编辑环境下以图形交互方式完成道路纵断面设计与绘图的全部工作．该系统把道路纵断面设计过程中线形构造处理、分析计算、图形交互修改等各个环节真正地融为一体，为各种城市道路、公路的纵断面设计与绘图提供了一个极为便利的辅助工具．本文详细介绍了该系统的总体结构和功能模块的特点，并给出了系统运行设计框图．     

LSI计算机辅助绘图系统

本文介绍了在Wang-vs 80机(绘图仪Tektronix　4663)上实现的LSI计算机辅助绘图系统,该系统已作为《LSI计算机辅助解剖分析系统》的子系统在使用,它采用交互式方式自动绘制版图、逻辑图和电路图。文中给出了具体的布局线算法。实践证明了该系统的通用性和较高的制图效率。     

二维激光切割图形显示系统的研究

在基于ＰＣ总线的激光加工ＣＮＣ系统中，研究了激光切割静态、动态显示方法以及图形校验功能。编程人员可以通过加工零件的静态图形显示纠正编程错误和工艺上不合理的地方；通过图形校验功能可以自动求出零件轮廓是否经过了顶针保护区，在避开顶针保护区的情况下，可以在编程人员的授意下自动修改ＮＣ代码；操作人员可以通过动态图形显示来监控加工过程和中止不合理的加工过程。该系统按功能模块用Ｃ语言开发，已成功地用于激光切割系统中。     

基于加权队列的主网调度操作票安全校验系统设计

针对主网调度操作票数据利用率低、校验延时、校验成本过高等问题,引用加权队列设计主网调度操作票安全校验系统。设计了管理模块和时钟芯片,增加了用户管理、图形管理和操作管理单元,并引用DS1302时钟芯片,完成主网调度操作票数据记录,同步记录数据和时间,应用加权队列进行数据缓冲,计算数据包的平均长度,随机转发多个数据包,在服务器内部分析数据包调度随机数。通过数据加权确定阈值,利用跳数描述结果进行数据调度,分析主网调度网络的即时状态,进行加权计算、比较阈值,实现主网调度操作票安全校验。实验结果表明,该系统具有较强的校验能力,减少了延时,降低了工作成本。     

提高应用软件功能的一种尝试——数据诊断和容错处理

本文结合大地三角网间接高程平差的数据诊断程序的设计,提出了数据诊断的反演法和容错处理的“Z”形扫描计算过程。上机计算时,程序允许不合格和错误数据输入,而不破坏计算过程。一次上机就能得出正确结果。算题实践表明:所述原理和方法具有一定实用价值;也可供其它专业设计应用程序时参考。     

当系统提示“硬盘空间已满”时应该怎么办

系统有时会提示“硬盘空间已满”,其实这并不是硬盘的空间真的已经满了(安装程序占满硬盘空间和硬盘有坏道不包括在内),而是由于增加了逻辑上错误的文件碎片所导致的。最有效的方法就是对提示已满的那个硬盘分区进行磁盘扫描。具体为:用鼠标右键单击软盘驱动器,在弹出的菜单中依次选择“工具”→“错误状况”→“开始检查”,在硬盘扫描过程中可能会出现“磁盘扫描程序在×盘上找到错误”的提示,这时可以选择第一项“丢弃文件碎片恢复磁盘空间”,然后等待“磁盘扫描”结束后,由于逻辑错误产生的文件碎片而遗失的硬盘空间就会被释放出来。另外…     

LN6800(MPU)芯片的测试与分析

一、引言LN6800(MPU)是我所研制的DJS-062系列微型计算机的中央处理单元。它可与美国Motorola公司MC6800(MPU)互换。采用 5V电源,单片集成度为5900管位,逻辑关系复杂,是目前国内研制的难度最大的LSI之一。该电路于79年10月开始版图设计,81年9月通过部级定型鉴定,共计一年零11     

注册表的检测、修复和备份

1．注册表的检测和修复在Wnd0WS中,系统启动时会自动对注册表进行扫描,若有错误便自动修复。当然,在系统运行过程中也可以手工检查注册表,其方法是：在“开始”菜单的“运行…”对话框中键人“Scanreg”（对Windows98而言。如果是Windows95或Windows97,则可以到装有Windows98的电脑上从系统安装目录下把Scanreg.exe和Scanreg.ini拷贝过来即可运行）,程序将自动对注册表进行扫描并显示扫描结果。如果有错误便提示是否进行自动修复,如果没有错误则提示是否需要重新备份（见图1）。另外,如果注册表中的错误很严重,以致系统无法进…     

浅析CRC

什么是CRCCRC是“CyclicRedundancyCheck”的缩写，它的中文意思是“循环冗余校验”。如同我们熟知的奇偶校验一样，这是一种用于检测数据在传输过程中有无错误的方法，不过它的校验能力比奇偶校验不知要强多少倍。一个构造得很好的CRC码生成多项式能够10O％地检测出一位错、双位错、奇数位错；能够100％地检测出长度小于等于信息位长度的阶的突发性错误等等。它是一种高效的校验手段，因此微机系统的软盘和硬盘在传输数据时几乎全部使用CRC来作校验。CRC检验原理我们可以将传输的信息看作是一个多项式的系数。例如；ASCll码“A”…     

通用的汉字和图形仿真终端研究

本文论述了以全软件方法将ＩＢＭ－ＰＣ及兼容机“改造”成为“通用的汉字、图形仿真终端”的理论和实现技术,全文扼要讨论了这种软件的三个方面：（１）面向汉字终端的三码中西文系统的特点及新见解;（２）面向汉字、图形终端的图形核心系统ＧＫＳ的设计;（３）能仿真多种终端的“通用仿真程序”的设计方法,这种使得所设计的“仿真终端”可以作为多种多用户系统的终端,这与国内现有的“仿真终端”相比在通用性方面有一定的改进     

任意长度信息序列的CRC快速算法

CRC(循环冗余校验码)编码是数字信号传输中用得较普遍的一种差错控制编码。它不但可以用于纠正独立的随机错误,也可以用于纠正突发错误。CRC校验通常是靠专用硬件电路来实现的,但很多系统为了降低成本,常常利用单片机或微处理器编程来完成这一功能。因此,在器件处理能力有限的情况下,如何提高CRC校验软件计算的速度,是开发者最为关心的问题。     

Yolo神经网络在集成电路焊盘布局规则检测上的应用研究

为探索深度学习在集成电路设计自动化上的应用,以电源和接地焊盘的排列规则作为检查案例,研究了Yolo v3神经网络在版图检查上的可行性。采用Python脚本批量生成版图样本图片,并使用LabelImg进行标签标记。使用TensorFlow框架编写了基于Yolo v3的版图检查器。结果 显示,版图检查器在判断焊盘布局正确性上实现了高精确率与高召回率。此外,还通过调整版图的大小、形状、对称性与焊盘数目的方式对检查器进行了进一步测试。检查器仍表现卓越,体现出良好的扩展性。研究表明Yolo v3可以很好地找出焊盘布局的错误。深度学习在集成电路版图检查中的潜力大,值得继续探索。     

基于最小序句子的上下文无关语言句子枚举

形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子，现有的枚举方法较少且效率较低，以上下文无关语言L(G)的最小序句子和最大序句子为基础，从最小序句子开始按照一定的顺序扫描字符串，直至扫描到最大序句子为止，对被扫描的字符串进行判断取舍，在扫描的过程中采用削减和前瞻策略，很大程度上减少了被扫描的字符串个数，可以取得较好的时空性能，实验数据表明，基于最小序句子的枚举方法比其他上下文无关语言句子枚举方法具有更高的效率。