Updated Deep Verification Base (markdown)

Deep-Verification-Base.md

@@ -99,9 +99,11 @@ After device recognition, schematic extraction can proceed bottom-up to connect
 
 Here is a rough idea for a schematic extraction script:
 
-```(ruby)
+```ruby
+# ---------------------------------------------
 # device definitions
 
+# generic MOS device definitions
 class MOSDevice < DeviceExtractor
 
   def extract(layout, seed, body)
@@ -131,25 +133,30 @@ class MOSDevice < DeviceExtractor
 
 end
 
+# NMOS device definition
 class NMOSDevice < MOSDevice
   self.DEVICE_NAME = "NMOS"
 end
 
+# PMOS device definition
 class PMOSDevice < MOSDevice
   self.DEVICE_NAME = "PMOS"
 end
 
-# body
+# ---------------------------------------------
+# extraction script
 
 deep
 
 # generation rules
+
 sd = active - poly
 gate = active * poly
 pmos = gate * nwell
 nmos = gate - nwell
 
 # net extraction
+
 extract_nets do
 
   connect metal2, via1