I am a little bit confused about the input of OA libs instead of lef files.
I have been defining only OA libs (tech_lib and stdcell_lib) in my config file but then I wondered how actually "verifyGeometry" and "verifyProcessAntenna" work.
In documentation, it says that the required data for "verifyGeometry" and "verifyProcessAntenna" is in the lef file. How does the Encounter find the DRC or Antenna Rules if you do not provide lef files?
Are they somehow extracted from OA libraries? If yes, would they be the same as DRC or Antenna Rules?
Thanks a lot in advance.