We needed to add sram lef to the

EXTRA_LEFS

field in user project wrapper

config.tcl

to pass openlane magic DRC. Is that correct to do? https://github.com/jake-ke/caravel_fast_ann_fieldious/blob/af8c47fb1e07927ed3d94c16ee3fe9faacd90d69/openlane/user_project_wrapper/config.tcl#L60

yes. you can add EXTRA_GDS also for the same

Thanks, Vijayan