An automatic testbench generation tool for a systemC functional verification methodology | IEEE Conference Publication | IEEE Xplore