VHDL for simulation, synthesis and formal proofs of hardware | lit.salon