Research in Computer-Aided-Design of VLSI Circuits

研究IC的物理设计和综合，以及可靠的IC设计。VLSI设计模型和方法学的理论被用来理解复杂IC设计的版图问题。正在解决的研究问题包括：多层布线、引脚分配、柔性模块的布局、模块定向和标准单元的布局。目前正在研究两种实现可靠设计的方法。第一种是确定替换同构和非同质阵列中的有缺陷的元件所需的冗余元件的最小集合。最小集称为最小覆盖集。第二，致力于为可重构芯片中的故障覆盖问题开发一个通用模型。该模型能够捕获冗余元件和缺陷元件之间的一大类可能的关系。

Research is on physical design and synthesis of IC's, and on reliable IC designs. Theory of VLSI design model and methodologies is being used to understand layout problems for complex IC designs. Research problems being addressed include: multi-layer routing, pin assignment, placement of flexible modules, module orientation, and placement of standard cells. Two approaches to reliable designs are being investigated. The first is to identify minimal sets of redundant elements that are needed to replace defective elements in both homogeneous and non-homogeneous arrays. The minimal sets are called minimum covering sets. Second is an effort to develop a general model for fault coverage problems in reconfigurable chips. The model is capable of capturing a large class of possible relationships between redundant elements and defective elements.