Added formal testbench
Added "isinput" parameter to swap order of sd_input and sd_output