Updated Deep Verification Base (markdown)

Deep-Verification-Base.md

@@ -148,6 +148,18 @@ end
 
 deep
 
+# input layers
+
+nwell = input(1, 0)
+active = input(2, 0)
+poly = input(3, 0)
+contact = input(4, 0)
+metal1 = input(5, 0)
+metal1_texts = texts(5, 0)
+via1 = input(6, 0)
+metal2 = input(7, 0)
+metal2_texts = texts(7, 0)
+
 # generation rules
 
 sd = active - poly