What do you mean by "netlist tracing" exactly ?

i thought to give it a try in OR using python APIs

Well with OR you can list nets and which sub-instance pins they connect to in the netlist. You can also list "wires" ( physical piece of metal ). But it won't tell you f the physical wires match the logical netlist or if there are shorts or anything like that.