SRAM abstraction does not work for magic drc.

[d-m-bailey]

Looking at files in checks/drc_checks/magic.

The list of used sram modules is passed from python to tcl as a space delimited string ' '.join(sram_modules_in_gds.

    run_magic_drc_check_cmd = ['magic', '-noconsole', '-dnull', '-rcfile', magicrc_file_path, magic_drc_tcl_path, gds_ut_path,
                               design_name, pdk_path, design_magic_drc_file_path, design_magic_drc_mag_file_path,
                               ' '.join(sram_modules_in_gds), esd_fet, has_sram_as_str, has_esd_fet_as_str]

However, the tcl tries to process this as a list.

if { $HAS_SRAM } {
    gds noduplicates yes
    puts "Detected an SRAM module"
    foreach x $SRAM_MODULES {
        puts "Pre-loading a maglef of the SRAM block: ${x}"
        load $PDK_PATH/libs.ref/sky130_sram_macros/maglef/${x}.mag
    }
}

This results in a log file that has

Detected an SRAM module

but no

Pre-loading a maglef of the SRAM block: ...

Changing the string to a list works.

if { $HAS_SRAM } {
    gds noduplicates yes
    puts "Detected an SRAM module"
    foreach x [split $SRAM_MODULES " "] {
        puts "Pre-loading a maglef of the SRAM block: ${x}"
        load $PDK_PATH/libs.ref/sky130_sram_macros/maglef/${x}.mag
    }
}