 {CheckOptions: [ {key: xilinx-tb-process.TopFunctionName, value: 'pulse_generator'}, {key: xilinx-tb-process.KeepTopName, value: 1}, {key: xilinx-tb-process.BCSim, value: '0'} ] } 
