Deakstadieđáhus: VHDL for simulation, synthesis, and formal proofs of hardware / edited by Jean Mermet.