The ability to extract higher level information from a circuit netlist is useful for VLSI layout verification. An extracted gate level description may be used as input to a gate level simulator for analysis or alternatively may be used as input to a rule-based expert system that performs verification checking at a higher level of abstraction. As a VLSI design evolves it is continually checked for correctness. This implies that the extraction of higher level information is a recurring activity and should be performed as efficiently as possible. This paper describes an alternative method that uses intelligence to quicken the extraction process and compares this method's performance to a more common method. / Master of Science
Identifer | oai:union.ndltd.org:VTETD/oai:vtechworks.lib.vt.edu:10919/42309 |
Date | 27 April 2010 |
Creators | Griffin, Glenn |
Contributors | Electrical Engineering, Tront, Joseph G., Midkiff, Scott F., Cyre, Walling R. |
Publisher | Virginia Tech |
Source Sets | Virginia Tech Theses and Dissertation |
Detected Language | English |
Type | Master's project |
Format | BTD, application/pdf |
Relation | LD5655.V851_1993.G754.pdf |
Page generated in 0.0015 seconds