Shiu-Ping Chao, Yen-Son Huang, Lap Man Yam. A hierarchical approach for layout versus circuit consistency check. In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 270-276, ACM/IEEE, 1980. [doi]
Abstract is missing.