VHDL for Simulation, Synthesis and Formal Proofs of Hardware (The Springer International | DealShopping France