Write testbench with vhdl