Tutorial creating effective formal testbench