Die
Extraktion ist ein Schritt bei der Layoutverifikation von
integrierten Schaltkreisen. Er dient dazu, Informationen zur Überprüfung des erzeugten Layouts bereitzustellen. Damit ist die Extraktion ein Vorbereitungsschritt, um die Implementation der spezifizierten Funktionalität und der zugehörigen Leistungsparameter während des
Layoutentwurfs zu verifizieren. Dabei werden Layoutinformationen in eine für die eigentlichen Verifikationsprogramme geeignete Repräsentation übersetzt.