Add pytest tesbench example for testing synthesized verilog code

Add pytest tesbench example for testing synthesized verilog code #17