Hello, I was trying to connect my module with the top module user_analog_project_wrapper(caravan). I am not sure how to use the lef file of user_analog_project_wrapper since it seems like I cannot use set ::env(EXTRA_LEFS) for the top module. The pin location will be random if I don't use that lef file.

How do you know that openlane does not use ::env(EXTRA_LEFS)?

Thank you for your reply. I used ::env(FP_DEF_TEMPLATE) to solve my problem.