Automatic RTL statement coverage testbench generation - View it on GitHub