nand gate tutorial mixed signal simulation using verilog as input stimulus 5728776