Hierarchical functional verification for cell-based design styles
Journal
IEE Proceedings G: Electronics Circuits and Systems
Journal Volume
134
Journal Issue
2
Pages
103-110
Date Issued
1987
Author(s)
Abstract
Special-purpose verification tools have been proposed recently to solve cell-based layout verification problems. The paper proposes a hierarchical netlist extractor, an electric rule checker and a connectivity checker. These verification tools are developed especially for the structured and hierarchical artwork data. A new solution for schematic-to-layout netlist comparison is also developed. The major advantages of these tools are the redundant modular design pattern can be completely neglected, and the functional connectivity can be checked completely. A number of practical chips have been checked as examples. Experimental results have shown that this hierarchical functional verification can be used efficiently for VLSI layout.
Type
journal article