TINA/Spice/TM4C123GH6PM: PWM Fault Condition Setup

Tool/software: TINA-TI or Spice Models

Hi, I want to use the PWM fault condition that mentioned in datasheet page 1238. 

I did not find a example, so I set it up myself following the datasheet. 

void
PWMFaultIntSetup(void)
{
	UARTprintf("\n PWM Fault Setup\n");
	
	SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOD);
	GPIOPinConfigure(GPIO_PD6_M0FAULT0);
	
	GPIOPinTypeGPIOInput(GPIO_PORTD_BASE, GPIO_PIN_6);
	
	PWMOutputFault(PWM0_BASE, PWM_OUT_0_BIT, true);
	
	
	PWMGenFaultConfigure(PWM0_BASE, PWM_GEN_0, 10, PWM_FAULT0_SENSE_HIGH);
	
	//if fault condiction --> pwm level is low
	PWMOutputFaultLevel(PWM0_BASE, PWM_OUT_0_BIT, false);
	
	 ROM_IntEnable(INT_GPIOD);

	PWMFaultIntRegister(PWM0_BASE, PWM_FAULT_IntHandler);
	
	PWMIntEnable(PWM0_BASE, PWM_INT_FAULT0);
	
 
}

However, when I assert PD6 to VDD, I am not able to put the pwm level low, as I set in the code : 

PWMOutputFaultLevel(PWM0_BASE, PWM_OUT_0_BIT, false);


Any suggestion?  

Thank you so much for helping out.