VHDL for simulation, synthesis and formal proofs of hardware by Jean Mermet | Menrva Books | MenrvaBooks