[Digital design flow]
Hello everyone! I am new so I apologize if this has been asked already (tried to search but with no results).
I am trying to run a 
post-synthesis netlist simulation (the end goal is to have switching activity-aware power estimations).
I am using commercial EDA tools (sorry :(), Genus for synthesis, QuestaSim for simulation, and back to Joules for power.
For this problem, I opened an issue on GitHub here --> 
https://github.com/RTimothyEdwards/open_pdks/issues/469
I hence have a few questions:
1. Where are 
primitives defined in sky130?
> In functional verilog cells I see the following:
> ``include "../u_df_p_r_pg/sky130_fd_sc_hs__u_df_p_r_pg.v"` 
> But this file is nowhere to be found...
> So as I couldn't file the usual .v model library as well, I searched further and I came across _open_pdks_ repo...
2. Using the _open_pdks_ repo to generate primitives.v and model library, I get different naming on primitives. What am I doing wrong?
> As an example:
> In file 
sky130_fd_sc_hs.v
, one of the primitive will be will be 
sky130_fd_sc_hs__u_df_p_r_pg
> The equivalent in `primitives.v`: 
sky130_fd_sc_hs__udp_dff$PR_pp$PG
> What am I missing?