@User, I have run Magic DRC only with local pre-check. In the local pre-check run, as Tim Edwards informed the Magic DRC check are around the SRAM are bypassed. You can refer this logic in File: ./checks/drc_checks/magic/magic_gds_drc_check.py
def magic_gds_drc_check(gds_ut_path, design_name, pdk_root, output_directory):
parent_directory = Path(
file).parent
logs_directory = output_directory / 'logs'
outputs_directory = output_directory / 'outputs'
reports_directory = outputs_directory / 'reports'
design_magic_drc_file_path = reports_directory / f"magic_drc_check.drc.report"
installed_sram_modules_names = []
sram_maglef_files_generator = Path(pdk_root / "sky130A" / "libs.ref" / "sky130_sram_macros" / "maglef").glob('*.mag')
for installed_sram in sram_maglef_files_generator:
installed_sram_modules_names.append(installed_sram.stem)
sram_modules_in_gds = []
for sram in installed_sram_modules_names:
if check_if_binary_has(sram, gds_ut_path):
sram_modules_in_gds.append(sram) # only the name of the module
Precheck Git Repo Path:
https://github.com/efabless/mpw_precheck.git