Is there a way to view a sky130 verilog synthesis netlist in a readable schematic view, comprising of logic gates like AND , OR etc. Currently I am using graphviz on synthesized netlist but its not as readable.

Are you running it through openlane? Openlane gives post_techmap.dot files

I am viewing post_techmap.dot file in graphviz. But its not as readable. Is it possible to use AND gate symbol, OR gate symbol , Mux symbol etc. in the generated graphviz output(similar to how vivado renders in schematic view)?

It is possible, netlistsvg kinda does it, but I haven't tried it on openlane. You can also convert post_techmap.dot to svg, just do: dot -Tsvg post_techmap.dot -o post_techmap.svg Then you can open it in your software of choice and search or poke around more easily.

thanks.. this looks interesting..