gEDA: LPM as a generic architecture

[Brian Greskamp <greskamp@uiuc.edu>]

I'm designing a tool to analyze the dataflow of synthesized Verilog / 
VHDL designs and I was considering using EDIF / LPM as the input format 
for the tool.  It's ideal for me because the level of abstraction I need 
(i.e. "mux", "register, "add") is intact in LPM.  When targeting a 
specific FPGA or ASIC, the synthesis output is much lower level (LUTs, 
FFs, etc.)

I was glad to find that Icarus is in the process of adding an LPM 
synthesis target.  I assumed commercial synthesizers would also have LPM 
targets.  Unfortunately, I've RTFM for several (Leonardo, Synopsys, 
Xilinx ISE) and can't find any reference to LPM except that they allow 
instantiation of LPM components in a design.

So do any synthesizers other than Icarus target LPM?  Are there other 
architecture-independent targets that are better supported?

Thanks,
Brian