Using WAVES and VHDL for Effective Design and Testing heftetEngelsk, 2013