How do I know
From Verific Design Automation FAQ
Q: How do I know what language a Netlist in the netlist database comes from?
Use attribute " language" (note the leading space):
Netlist *nl; nl->GetAttValue(" language")
returns one of "vhdl", "verilog", "edif", "synlib".