HDL Generic Synthesizer

[elockpicker]

Hi,
which tool gives a generic (not specific to any library or technology or ...) synthesis in Verilog or VHDL format ?

thanks a lot in advance