Formal definitions of edge-based geometric design rules
暂无分享,去创建一个
[1] George S. Taylor,et al. Magic's Incremental Design-Rule Checker , 1984, 21st Design Automation Conference Proceedings.
[2] Kjell O. Jeppson,et al. The Use of Inverse Layout Trees for Hierarchical Design Rule Checking , 1989, 26th ACM/IEEE Design Automation Conference.
[3] D.M. Etter,et al. Design methodologies for simulation translators (with a case study) , 1990, IEEE Circuits and Devices Magazine.
[4] Kjell O. Jeppson,et al. The halo algorithm-an algorithm for hierarchical design of rule checking of VLSI circuits , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[5] Kjell O. Jeppson,et al. New algorithms for increased efficiency in hierarchical design rule checking , 1987, Integr..
[6] B. J. Nelson,et al. An integrated, technology-independent, high-performance artwork analyzer for VLSI circuit design , 1985 .
[7] Nils Hedenstierna. Hierarchical corner-based design rule checking , 1991 .
[8] Ronald J. Lomax,et al. A Formal Approach to Design-Rule Checking , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[9] John K. Ousterhout,et al. Lyra: A New Approach to Geometric Layout Rule Checking , 1982, DAC 1982.
[10] John K. Ousterhout,et al. Lyra: A New Approach to Geometric Layout Rule Checking , 1982, 19th Design Automation Conference.
[11] David Marple,et al. Tailor: a layout system based on trapezoidal corner stitching , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..