🚀 go-pugleaf

I am currently making a survey of commercially available logic synthesis tools
(Synopsis, Trimeter, Silc, ...). I am particularly interested in the following 
information:

1) Name of tool, distributor
2) Functionality
   - 2-level/multi-level logic
   - input formats (VHDL, ...)
   - libraries
   - output formats
3) Rough characterization of approach (rule-based, a la ESPRESSO/MIS, ...)
4) Limitations (number of inputs/outputs, ...)
5) Hardware platforms (PC ?)
6) Price (single licence for commercial users)

Any help would be appreciated. Please send responses by email to
escher@ira.uka.de

Bernhard Eschermann