High level testbench generation for VHDL models | IEEE Conference Publication | IEEE Xplore