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