diff --git a/mag/run_caravan_lvs.sh b/mag/run_caravan_lvs.sh
index f3c5d0ad..5b080759 100755
--- a/mag/run_caravan_lvs.sh
+++ b/mag/run_caravan_lvs.sh
@@ -14,9 +14,8 @@ extract all
 ext2spice lvs
 ext2spice
 EOF
+rm -f *.ext
 fi
 
-rm *.ext
-
 export NETGEN_COLUMNS=60
-netgen -batch lvs "caravan.spice caravan" "../verilog/gl/caravan.v caravan" ./sky130A_setup.tcl comp.out
+netgen -batch lvs "caravan.spice caravan" "../verilog/gl/caravan.v caravan" $PDK_ROOT/sky130A/libs.tech/netgen/sky130A_setup.tcl comp.out
diff --git a/mag/run_caravel_lvs.sh b/mag/run_caravel_lvs.sh
index 70f8b059..7b562440 100755
--- a/mag/run_caravel_lvs.sh
+++ b/mag/run_caravel_lvs.sh
@@ -14,9 +14,8 @@ extract all
 ext2spice lvs
 ext2spice
 EOF
+rm -f *.ext
 fi
 
-rm *.ext
-
 export NETGEN_COLUMNS=60
-netgen -batch lvs "caravel.spice caravel" "../verilog/gl/caravel.v caravel" ./sky130A_setup.tcl comp.out
+netgen -batch lvs "caravel.spice caravel" "../verilog/gl/caravel.v caravel" $PDK_ROOT/sky130A/libs.tech/netgen/sky130A_setup.tcl comp.out
diff --git a/mag/run_chip_io_alt_lvs.sh b/mag/run_chip_io_alt_lvs.sh
index 4d943fef..cc5ef54a 100755
--- a/mag/run_chip_io_alt_lvs.sh
+++ b/mag/run_chip_io_alt_lvs.sh
@@ -14,8 +14,8 @@ extract all
 ext2spice lvs
 ext2spice
 EOF
-rm *.ext
+rm -f *.ext
 fi
 
 export NETGEN_COLUMNS=60
-netgen -batch lvs "caravan.spice chip_io_alt" "../verilog/gl/chip_io_alt.v chip_io_alt" ./sky130A_setup.tcl comp.out
+netgen -batch lvs "caravan.spice chip_io_alt" "../verilog/gl/chip_io_alt.v chip_io_alt" $PDK_ROOT/sky130A/libs.tech/magic/sky130A_setup.tcl comp.out
diff --git a/mag/run_chip_io_lvs.sh b/mag/run_chip_io_lvs.sh
index a598a5a1..60c3b474 100755
--- a/mag/run_chip_io_lvs.sh
+++ b/mag/run_chip_io_lvs.sh
@@ -14,7 +14,8 @@ extract all
 ext2spice lvs
 ext2spice
 EOF
+rm -f *.ext
 fi
 
 export NETGEN_COLUMNS=60
-netgen -batch lvs "caravel.spice chip_io" "../verilog/gl/chip_io.v chip_io" ./sky130A_setup.tcl comp.out
+netgen -batch lvs "caravel.spice chip_io" "../verilog/gl/chip_io.v chip_io" $PDK_ROOT/sky130A/libs.tech/netgen/sky130A_setup.tcl comp.out
diff --git a/mag/sky130A_setup.tcl b/mag/sky130A_setup.tcl
deleted file mode 100644
index 38b25402..00000000
--- a/mag/sky130A_setup.tcl
+++ /dev/null
@@ -1,435 +0,0 @@
-#---------------------------------------------------------------
-# Setup file for netgen LVS
-# SkyWater sky130A
-#---------------------------------------------------------------
-permute default
-property default
-property parallel none
-
-# Allow override of default #columns in the output format.
-catch {format $env(NETGEN_COLUMNS)}
-
-#---------------------------------------------------------------
-# For the following, get the cell lists from
-# circuit1 and circuit2.
-#---------------------------------------------------------------
-
-set cells1 [cells list -all -circuit1]
-set cells2 [cells list -all -circuit2]
-
-# NOTE:  In accordance with the LVS manager GUI, the schematic is
-# always circuit2, so some items like property "par1" only need to
-# be specified for circuit2.
-
-#-------------------------------------------
-# Resistors (except metal)
-#-------------------------------------------
-
-set devices {}
-lappend devices sky130_fd_pr__res_iso_pw
-lappend devices sky130_fd_pr__res_high_po_0p35
-lappend devices sky130_fd_pr__res_high_po_0p69
-lappend devices sky130_fd_pr__res_high_po_1p41
-lappend devices sky130_fd_pr__res_high_po_2p85
-lappend devices sky130_fd_pr__res_high_po_5p73
-lappend devices sky130_fd_pr__res_high_po
-lappend devices sky130_fd_pr__res_xhigh_po_0p35
-lappend devices sky130_fd_pr__res_xhigh_po_0p69
-lappend devices sky130_fd_pr__res_xhigh_po_1p41
-lappend devices sky130_fd_pr__res_xhigh_po_2p85
-lappend devices sky130_fd_pr__res_xhigh_po_5p73
-lappend devices sky130_fd_pr__res_xhigh_po
-lappend devices sky130_fd_pr__res_generic_nd
-lappend devices sky130_fd_pr__res_generic_pd
-lappend devices sky130_fd_pr__res_generic_nd__hv
-lappend devices sky130_fd_pr__res_generic_pd__hv
-lappend devices mrdn_hv mrdp_hv
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-	permute "-circuit1 $dev" 1 2
-	property "-circuit1 $dev" series enable
-	property "-circuit1 $dev" series {w critical}
-	property "-circuit1 $dev" series {l add}
-	property "-circuit1 $dev" parallel enable
-	property "-circuit1 $dev" parallel {l critical}
-	property "-circuit1 $dev" parallel {w add}
-	property "-circuit1 $dev" parallel {value par}
-	property "-circuit1 $dev" tolerance {l 0.01} {w 0.01}
-	# Ignore these properties
-	property "-circuit1 $dev" delete mult
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	permute "-circuit2 $dev" 1 2
-	property "-circuit2 $dev" series enable
-	property "-circuit2 $dev" series {w critical}
-	property "-circuit2 $dev" series {l add}
-	property "-circuit2 $dev" parallel enable
-	property "-circuit2 $dev" parallel {l critical}
-	property "-circuit2 $dev" parallel {w add}
-	property "-circuit2 $dev" parallel {value par}
-	property "-circuit2 $dev" tolerance {l 0.01} {w 0.01}
-	# Ignore these properties
-	property "-circuit2 $dev" delete mult
-    }
-}
-
-#-------------------------------------------
-# MRM (metal) resistors and poly resistor
-#-------------------------------------------
-
-set devices {}
-lappend devices sky130_fd_pr__res_generic_po
-lappend devices sky130_fd_pr__res_generic_l1
-lappend devices sky130_fd_pr__res_generic_m1
-lappend devices sky130_fd_pr__res_generic_m2
-lappend devices sky130_fd_pr__res_generic_m3
-lappend devices sky130_fd_pr__res_generic_m4
-lappend devices sky130_fd_pr__res_generic_m5
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-	permute "-circuit1 $dev" end_a end_b
-	property "-circuit1 $dev" series enable
-	property "-circuit1 $dev" series {w critical}
-	property "-circuit1 $dev" series {l add}
-	property "-circuit1 $dev" parallel enable
-	property "-circuit1 $dev" parallel {l critical}
-	property "-circuit1 $dev" parallel {w add}
-	property "-circuit1 $dev" parallel {value par}
-	property "-circuit1 $dev" tolerance {l 0.01} {w 0.01}
-	# Ignore these properties
-	property "-circuit1 $dev" delete mult
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	permute "-circuit2 $dev" end_a end_b
-	property "-circuit2 $dev" series enable
-	property "-circuit2 $dev" series {w critical}
-	property "-circuit2 $dev" series {l add}
-	property "-circuit2 $dev" parallel enable
-	property "-circuit2 $dev" parallel {l critical}
-	property "-circuit2 $dev" parallel {w add}
-	property "-circuit2 $dev" parallel {value par}
-	property "-circuit2 $dev" tolerance {l 0.01} {w 0.01}
-	# Ignore these properties
-	property "-circuit2 $dev" delete mult
-    }
-}
-
-#-------------------------------------------
-# (MOS) transistors
-#-------------------------------------------
-
-set devices {}
-lappend devices sky130_fd_pr__nfet_01v8
-lappend devices sky130_fd_pr__nfet_01v8_lvt
-lappend devices sky130_fd_bs_flash__special_sonosfet_star
-lappend devices sky130_fd_pr__nfet_g5v0d10v5
-lappend devices sky130_fd_pr__nfet_05v0_nvt
-lappend devices sky130_fd_pr__pfet_01v8
-lappend devices sky130_fd_pr__pfet_01v8_lvt
-lappend devices sky130_fd_pr__pfet_01v8_mvt
-lappend devices sky130_fd_pr__pfet_01v8_hvt
-lappend devices sky130_fd_pr__pfet_g5v0d10v5
-lappend devices sky130_fd_pr__special_pfet_pass
-lappend devices sky130_fd_pr__special_nfet_pass
-lappend devices sky130_fd_pr__special_nfet_latch
-lappend devices sky130_fd_pr__cap_var_lvt
-lappend devices sky130_fd_pr__cap_var_hvt
-lappend devices sky130_fd_pr__cap_var
-lappend devices sky130_fd_pr__nfet_20v0_nvt
-lappend devices sky130_fd_pr__nfet_20v0
-lappend devices sky130_fd_pr__pfet_20v0
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-	permute "-circuit1 $dev" 1 3
-	property "-circuit1 $dev" parallel enable
-	property "-circuit1 $dev" parallel {l critical}
-	property "-circuit1 $dev" parallel {w add}
-	property "-circuit1 $dev" tolerance {w 0.01} {l 0.01}
-	# Ignore these properties
-	property "-circuit1 $dev" delete as ad ps pd mult sa sb sd nf nrd nrs
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	permute "-circuit2 $dev" 1 3
-	property "-circuit2 $dev" parallel enable
-	property "-circuit2 $dev" parallel {l critical}
-	property "-circuit2 $dev" parallel {w add}
-	property "-circuit2 $dev" tolerance {w 0.01} {l 0.01}
-	# Ignore these properties
-	property "-circuit2 $dev" delete as ad ps pd mult sa sb sd nf nrd nrs
-    }
-}
-
-#-------------------------------------------
-# diodes
-#-------------------------------------------
-
-set devices {}
-lappend devices sky130_fd_pr__diode_pw2nd_05v5
-lappend devices sky130_fd_pr__diode_pw2nd_05v5_lvt
-lappend devices sky130_fd_pr__diode_pw2nd_05v5_nvt
-lappend devices sky130_fd_pr__diode_pd2nw_05v5
-lappend devices sky130_fd_pr__diode_pd2nw_05v5_lvt
-lappend devices sky130_fd_pr__diode_pd2nw_05v5_hvt
-lappend devices sky130_fd_pr__diode_pw2nd_11v0
-lappend devices sky130_fd_pr__diode_pd2nw_11v0
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-	property "-circuit1 $dev" parallel enable
-	property "-circuit1 $dev" parallel {area add}
-	property "-circuit1 $dev" parallel {value add}
-	property "-circuit1 $dev" tolerance {area 0.02}
-	# Ignore these properties
-	property "-circuit1 $dev" delete mult perim
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	property "-circuit2 $dev" parallel enable
-	property "-circuit2 $dev" parallel {area add}
-	property "-circuit2 $dev" parallel {value add}
-	property "-circuit2 $dev" tolerance {area 0.02}
-	# Ignore these properties
-	property "-circuit2 $dev" delete mult perim
-    }
-}
-
-#-------------------------------------------
-# capacitors
-# MiM capacitors
-#-------------------------------------------
-
-set devices {}
-lappend devices sky130_fd_pr__cap_mim_m3_1
-lappend devices sky130_fd_pr__cap_mim_m3_2
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-	property "-circuit1 $dev" parallel enable
-	property "-circuit1 $dev" parallel {area add}
-	property "-circuit1 $dev" parallel {value add}
-	property "-circuit1 $dev" tolerance {l 0.01} {w 0.01}
-	# Ignore these properties
-	property "-circuit1 $dev" delete mult perim mf
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	property "-circuit2 $dev" parallel enable
-	property "-circuit2 $dev" parallel {area add}
-	property "-circuit2 $dev" parallel {value add}
-	property "-circuit2 $dev" tolerance {l 0.01} {w 0.01}
-	# Ignore these properties
-	property "-circuit2 $dev" delete mult perim mf
-    }
-}
-
-#-------------------------------------------
-# Fixed-layout devices
-# bipolar transistors,
-# VPP capacitors
-#-------------------------------------------
-
-set devices {}
-lappend devices sky130_fd_pr__npn_05v5_W1p00L1p00
-lappend devices sky130_fd_pr__npn_05v5_W1p00L2p00
-lappend devices sky130_fd_pr__pnp_05v5_W0p68L0p68
-lappend devices sky130_fd_pr__pnp_05v5_W3p40L3p40
-lappend devices sky130_fd_pr__npn_05v5
-lappend devices sky130_fd_pr__pnp_05v5
-lappend devices sky130_fd_pr__npn_11v0
-
-lappend devices sky130_fd_pr__cap_vpp_11p5x11p7_lim5_shield
-lappend devices sky130_fd_pr__cap_vpp_11p5x11p7_m3_lim5_shield
-lappend devices sky130_fd_pr__cap_vpp_11p5x11p7_m4_shield
-lappend devices sky130_fd_pr__cap_vpp_11p5x11p7_pom4_shield
-lappend devices sky130_fd_pr__cap_vpp_4p4x4p6_m3_lim5_shield
-lappend devices sky130_fd_pr__cap_vpp_6p8x6p1_lim4_shield
-lappend devices sky130_fd_pr__cap_vpp_6p8x6p1_polym4_shield
-lappend devices sky130_fd_pr__cap_vpp_8p6x7p9_m3_lim5_shield
-lappend devices sky130_fd_pr__cap_vpp_11p5x11p7_m3_li_shield
-lappend devices sky130_fd_pr__cap_vpp_11p5x11p7_m3_shield
-lappend devices sky130_fd_pr__cap_vpp_1p8x1p8_li_shield
-lappend devices sky130_fd_pr__cap_vpp_1p8x1p8_m3_shield
-lappend devices sky130_fd_pr__cap_vpp_4p4x4p6_m3_li_shield
-lappend devices sky130_fd_pr__cap_vpp_4p4x4p6_m3_shield
-lappend devices sky130_fd_pr__cap_vpp_8p6x7p9_m3_li_shield
-lappend devices sky130_fd_pr__cap_vpp_8p6x7p9_m3_shield
-lappend devices sky130_fd_pr__ind_04_01
-lappend devices sky130_fd_pr__ind_04_02
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-	property "-circuit1 $dev" parallel enable
-	# Ignore these properties
-	property "-circuit1 $dev" delete mult
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	property "-circuit2 $dev" parallel enable
-	# Ignore these properties
-	property "-circuit2 $dev" delete mult
-    }
-}
-
-#---------------------------------------------------------------
-# Schematic cells which are not extractable
-#---------------------------------------------------------------
-
-set devices {sky130_fd_io__condiode sky130_fd_io__tap_1}
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-    	ignore class "-circuit1 $dev"
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	ignore class "-circuit2 $dev"
-    }
-}
-
-#---------------------------------------------------------------
-
-# Ignore the user project wrapper because it's empty and gets
-# optimized out of the layout
-
-set devices {user_project_wrapper user_analog_project_wrapper}
-
-foreach dev $devices {
-    if {[lsearch $cells1 $dev] >= 0} {
-	ignore class "-circuit1 $dev"
-    }
-    if {[lsearch $cells2 $dev] >= 0} {
-	ignore class "-circuit2 $dev"
-    }
-}
-
-#---------------------------------------------------------------
-# Digital cells (ignore decap, fill, and tap cells)
-# Make a separate list for each supported library
-#---------------------------------------------------------------
-# e.g., ignore class "-circuit2 sky130_fc_sc_hd__decap_3"
-#---------------------------------------------------------------
-
-if { [info exist ::env(MAGIC_EXT_USE_GDS)] && $::env(MAGIC_EXT_USE_GDS) } {
-    foreach cell $cells1 {
-#        if {[regexp {sky130_fd_sc_[^_]+__decap_[[:digit:]]+} $cell match]} {
-#            ignore class "-circuit1 $cell"
-#        }
-        if {[regexp {sky130_fd_sc_[^_]+__fill_[[:digit:]]+} $cell match]} {
-            ignore class "-circuit1 $cell"
-        }
-        if {[regexp {sky130_fd_sc_[^_]+__tapvpwrvgnd_[[:digit:]]+} $cell match]} {
-            ignore class "-circuit1 $cell"
-        }
-        if {[regexp {sky130_ef_sc_[^_]+__fakediode_[[:digit:]]+} $cell match]} {
-            ignore class "-circuit1 $cell"
-        }
-    }
-    foreach cell $cells2 {
-#        if {[regexp {sky130_fd_sc_[^_]+__decap_[[:digit:]]+} $cell match]} {
-#            ignore class "-circuit2 $cell"
-#        }
-        if {[regexp {sky130_fd_sc_[^_]+__fill_[[:digit:]]+} $cell match]} {
-            ignore class "-circuit2 $cell"
-        }
-        if {[regexp {sky130_fd_sc_[^_]+__tapvpwrvgnd_[[:digit:]]+} $cell match]} {
-            ignore class "-circuit2 $cell"
-        }
-        if {[regexp {sky130_ef_sc_[^_]+__fakediode_[[:digit:]]+} $cell match]} {
-            ignore class "-circuit2 $cell"
-        }
-    }
-}
-
-#---------------------------------------------------------------
-# Allow the fill, decap, etc., cells to be parallelized
-#---------------------------------------------------------------
-
-foreach cell $cells1 {
-    if {[regexp {sky130_fd_sc_[^_]+__decap_[[:digit:]]+} $cell match]} {
-	property "-circuit1 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__fill_[[:digit:]]+} $cell match]} {
-	property "-circuit1 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__tapvpwrvgnd_[[:digit:]]+} $cell match]} {
-	property "-circuit1 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__diode_[[:digit:]]+} $cell match]} {
-	property "-circuit1 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__fill_diode_[[:digit:]]+} $cell match]} {
-	property "-circuit1 $cell" parallel enable
-    }
-    if {[regexp {sky130_ef_sc_[^_]+__fakediode_[[:digit:]]+} $cell match]} {
-	property "-circuit1 $cell" parallel enable
-    }
-}
-foreach cell $cells2 {
-    if {[regexp {sky130_fd_sc_[^_]+__decap_[[:digit:]]+} $cell match]} {
-	property "-circuit2 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__fill_[[:digit:]]+} $cell match]} {
-	property "-circuit2 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__tapvpwrvgnd_[[:digit:]]+} $cell match]} {
-	property "-circuit2 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__diode_[[:digit:]]+} $cell match]} {
-	property "-circuit2 $cell" parallel enable
-    }
-    if {[regexp {sky130_fd_sc_[^_]+__fill_diode_[[:digit:]]+} $cell match]} {
-	property "-circuit2 $cell" parallel enable
-    }
-    if {[regexp {sky130_ef_sc_[^_]+__fakediode_[[:digit:]]+} $cell match]} {
-	property "-circuit2 $cell" parallel enable
-    }
-}
-
-#---------------------------------------------------------------
-# Handle cells captured from Electric
-#
-# Find cells of the form "<library>__<cellname>" in the netlist
-# from Electric where the extracted layout netlist has only
-# "<cellname>".  Cross-check by ensuring that the full name
-# "<library>__<cellname>" does not exist in both cells, and that
-# the truncated name "<cellname>" does not exist in both cells.
-#---------------------------------------------------------------
-# e.g., hydra_spi_controller__hydra_spi_controller
-#---------------------------------------------------------------
-
-foreach cell $cells1 {
-    if {[regexp "(.+)__(.+)" $cell match library cellname]} {
-        if {([lsearch $cells2 $cell] < 0) && \
-                ([lsearch $cells2 $cellname] >= 0) && \
-                ([lsearch $cells1 $cellname] < 0)} {
-            equate classes "-circuit1 $cell" "-circuit2 $cellname"
-	    puts stdout "Matching pins of $cell in circuit 1 and $cellname in circuit 2"
-	    equate pins "-circuit1 $cell" "-circuit2 $cellname"
-        }
-    }
-}
-
-foreach cell $cells2 {
-    if {[regexp "(.+)__(.+)" $cell match library cellname]} {
-        if {([lsearch $cells1 $cell] < 0) && \
-                ([lsearch $cells1 $cellname] >= 0) && \
-                ([lsearch $cells2 $cellname] < 0)} {
-            equate classes "-circuit1 $cellname" "-circuit2 $cell"
-	    puts stdout "Matching pins of $cellname in circuit 1 and $cell in circuit 2"
-	    equate pins "-circuit1 $cellname" "-circuit2 $cell"
-        }
-    }
-}
-
-# Match pins on black-box cells if LVS is called with "-blackbox"
-if {[model blackbox]} {
-    foreach cell $cells1 {
-	if {[model "-circuit1 $cell"] == "blackbox"} {
-	    if {[lsearch $cells2 $cell] >= 0} {
-		puts stdout "Matching pins of $cell in circuits 1 and 2"
-		equate pins "-circuit1 $cell" "-circuit2 $cell"
-	    }
-	}
-    }
-}
-
-#---------------------------------------------------------------
diff --git a/mag/user_analog_project_wrapper.mag b/mag/user_analog_project_wrapper.mag
index 02dbe79c..37731e42 100644
--- a/mag/user_analog_project_wrapper.mag
+++ b/mag/user_analog_project_wrapper.mag
@@ -2087,5 +2087,6 @@ port 676 nsew signal input
 flabel metal2 s 3217 -400 3273 240 0 FreeSans 560 90 0 0 wbs_we_i
 port 677 nsew signal input
 << properties >>
+string LEFview true
 string FIXED_BBOX 0 0 292000 352000
 << end >>
diff --git a/mag/user_project_wrapper.mag b/mag/user_project_wrapper.mag
index c89d17cb..fbb326b2 100644
--- a/mag/user_project_wrapper.mag
+++ b/mag/user_project_wrapper.mag
@@ -53801,5 +53801,6 @@ port 643 nsew signal input
 rlabel metal2 s 3215 -480 3271 240 8 wbs_we_i
 port 644 nsew signal input
 << properties >>
+string LEFview true
 string FIXED_BBOX 0 0 292000 352000
 << end >>