On switching from SpecC to VHDL

I would have liked to write most of Controlix in SpecC, but somehow I missed noticing that SpecC doesn't output netlists. It is my intention to implement Controlix in a hardware/software mixable fashion, which GHDL (http://ghdl.free.fr) allows for.