@User After you fixed the magic tcl to generate sonos cell without guard ring, I see that the spice netlist extract the sonos transistors as

sky130_fd_bs_flash__special_sonosfet_star

. This does not simulate in ngspice because there are no such device in the pdk. pdk has this device

sky130_fd_pr__special_nfet_pass_flash

. 1. magic is replacing

fd_pr__special

with

fd_bs_flash

. I tried changing the names in the tcl script but it still extracts the wrong name and ist not simulating. 2. Is it going to be a problem for the tapeout?