Free Parser for Verilog netlists

[Egon Valentini]

Hi

I'm searching for a free parser (or some formal
specification) of verilog netlists. Google didn't
return after many tries the required result, so
I'd like to ask you, if you know something?

Thanks
Egon Valentini