"Hendrik Greving" <
[email protected]> wrote in message
news:
[email protected]..
> does someone know by any chance a (free) VHDL parser/compiler which is
> able to produce boolean expressions from VHDL code?
Not free, but able to extract arbitrary well-structured code fragments
(including booleans).
Can even apply boolean equational operations (composition, simplification).
Options to process Verilog, SystemVerilog, VHDL, and SystemC.
See
http://www.semdesigns.com/Products/FrontEnds/index.html
--
Ira D. Baxter, Ph.D., CTO 512-250-1018
Semantic Designs, Inc.
www.semdesigns.com