逻辑图自动布局

本文提出一种逻辑图布局算法,并在LOD系统中得到实用。元件在横向上从输入到输出由左到右逐级排放;纵向上利用PO锥作宏观布局,对每个PO锥内按元件间的连接紧密程度排放。该方法将大量信息和规则揉到算法中,同时使用启发信息来进行布局,使得结果层次分明,满足要求。     

时序机的功能验证

本文介绍了时序电路（时序机）功能验证的基本概念和发展，分析了验证中存在的问题以及冗余故障的性质．提出基于ＳＴＧ的功能验证方法。最后，提出了采用动态任务调度策略的并行验证技术以解决状态遍历问题。     

扩展主路径算法

本文是将主路径敏化法扩展到三态器件，介绍了一个针对含三态器件电路的测试生成算法，用１７个逻辑值描述电路，使用分离电路模型来降低算法复杂性，通过动态计算故障相关性和三态相关性，压缩搜索空间，减少一致性操作中的矛盾次数，同时保证故障敏化总是在有效路径上进行，减少回溯次数，提高测试生成效率。     

逻辑图自动生成研究

本文提出一种逻辑图自动生成的策略,并在LOD系统中得到实用.利用功能或结构信息进行结构优化,对触发器等元件以宏单元形式出现;横向上网格化,由输入到输出逐级定位,纵向上利用PO锥,按连接关系来定位;使用通道进行走线.横向的网格化和纵向的连续性相结合,使得作出的逻辑图层次分明,可读性及美观性都满足要求。     

多任务下的系统实时检测

本文根据ＳＴＤ总线控制系统的要求和环境，以ＲＡＭ的故障模型为基础，提出了基于时间控制及模块的系统故是实时检测设计，重点研究了暂时故障的处理问题。由各模块检测算法构成的检测任务灵活方便，实用性强，能处理文中提出的所有故障。     

大型停车库开发的交通影响分析研究

介绍了大型停车库开发交通影响分析的方法，说明了停车需求预测问题，提出了各出入口进出交通量分担比例以及交通分配模型。最后以某市某大型停车库的交通影响分析研究为例进行了实证说明。     

组合电路测试生成研究及实验

本文以门级组合电路为对象，以主路径敏化算法为基础，研究提高测试生成效率的策略，实现结果表明，按本文提出的策略所研制的测试生成系统，不仅效率较好，且得蝗测试集也较小。