[tejuis]

What are they using as source then? Please let us know more?

[sametmax]

I know that some qualcomm tools use IP described in a python dialect, and then generate the verilog out of it. They have a whole synthesis system on top of that. I assume they are not alone.