@Tim Edwards @Mitch Bailey I am using vlog2Verilog and I passed lef file as a parameter to -l , but the sky130_fd_sc_hvl cells does not show VPWR or VPB in generated verilog.

I am using standalone vlog2Verilog. I wanted to convert a generated 1_synth.v from ORFS flow to powered verilog.

Sorry, not familiar with the program. Where's is it installed?

It is a part of qflow

Is qflow included in openlane or does it have to be installed independently?

No I don't think it is included in openlane. It needs to be installed independently

Ok, I'll look in the docker.

@Mitch Bailey: The openlane developers were looking for a way to insert power connections back into a verilog gate-level netlist, and I suggested

vlog2Verilog

, which I wrote for that purpose. @Pranav Lulu: What is your command line invocation of vlog2Verilog? There are a number of parameters that need to be passed. Since it was used internally by qflow, I don't know how obvious the parameters and syntax are for use outside of qflow, but I think it should work.

@Tim Edwards The command was: . /vlog2Verilog 1_synth.v -o 1_synth_power.v -l /home/pranav/OpenROAD-flow-scripts/flow/platforms/sky130hvl/lef/sky130_fd_sc_hvl.lef

@Pranav Lulu: You may need an additional

-l

option to read the technology LEF file (before the standard cell LEF), and you may need to specify

-v "VPWR,VPB" -g "VGND,VNB"

. There may be issues with the level shifter cells in the HVL library because they have multiple power supplies, and I do not think I have ever run vlog2Verilog on the Sky130 HVL library. So let me know if there are issues.

@Tim Edwards Yes! I had figured that I need to specify -v and -g . The standard cells showed correct connections. But for other blocks it adds or does not add some power connections.

Also the script was written as part of a digital flow, where every cell was assumed to have the same power connections.