* source FBUSDCDC
V_V1         N00324 0 200V
V_V2         N00131 0 0.416V
L_L1         VA N00047  1.5mH IC=8.33A 
R_R1         N00047 N00519  0.37  
d_D2         0, VA, mod_D2 
.model        mod_D2 d (rs=1m)
d_PWR_SWITCH1_D1         PWR_SWITCH1_N00037, VA, mod_PWR_SWITCH1_D1 
.model        mod_PWR_SWITCH1_D1 d (rs=1m)
s_PWR_SWITCH1_S1         N00324,PWR_SWITCH1_N00037,N00442,0, mod_PWR_SWITCH1_S1
+  
.model      mod_PWR_SWITCH1_S1 vswitch (ron=1m]
d_PWR_SWITCH2_D1         PWR_SWITCH2_N00037, 0, mod_PWR_SWITCH2_D1 
.model        mod_PWR_SWITCH2_D1 d (rs=1m)
s_PWR_SWITCH2_S1         VA,PWR_SWITCH2_N00037,N00456,0, mod_PWR_SWITCH2_S1 
.model      mod_PWR_SWITCH2_S1 vswitch (ron=1m]
d_D3         VA, N00324, mod_D3 
.model        mod_D3 d (rs=1m)
V_PWM_TRI1_Vtri         PWM_TRI1_N00047 0  
+PULSE -1 1 0 {(1/20kHz-0.2u)/2} {(1/20kHz-0.2u)/2} 0.1u {1/20kHz}
E_PWM_TRI1_E1         N00442 0 TABLE { V(N00131, PWM_TRI1_N00047) } 
+ ( (-1,-1)(-0.005,-1)(0,0)(0.005,1)(1,1) )
E_ABM1_TQ         N00456 0 VALUE { 1-V(N00442)    }
V_V3         N00519 VB 79.5V
d_PWR_SWITCH4_D1         PWR_SWITCH4_N00037, 0, mod_PWR_SWITCH4_D1 
.model        mod_PWR_SWITCH4_D1 d (rs=1m)
s_PWR_SWITCH4_S1         VB,PWR_SWITCH4_N00037,GB2,0, mod_PWR_SWITCH4_S1 
.model      mod_PWR_SWITCH4_S1 vswitch (ron=1m]
d_D4         VB, N00324, mod_D4 
.model        mod_D4 d (rs=1m)
d_D5         0, VB, mod_D5 
.model        mod_D5 d (rs=1m)
d_PWR_SWITCH3_D1         PWR_SWITCH3_N00037, VB, mod_PWR_SWITCH3_D1 
.model        mod_PWR_SWITCH3_D1 d (rs=1m)
s_PWR_SWITCH3_S1         N00324,PWR_SWITCH3_N00037,GB1,0, mod_PWR_SWITCH3_S1 
.model      mod_PWR_SWITCH3_S1 vswitch (ron=1m]
V_PWM_TRI2_Vtri         PWM_TRI2_N00047 0  
+PULSE -1 1 0 {(1/20kHz-0.2u)/2} {(1/20kHz-0.2u)/2} 0.1u {1/20kHz}
E_PWM_TRI2_E1         GB1 0 TABLE { V(N01463, PWM_TRI2_N00047) } 
+ ( (-1,-1)(-0.005,-1)(0,0)(0.005,1)(1,1) )
E_ABM1_UUS         GB2 0 VALUE { 1-V(GB1)    }
E_GAIN1         N01463 0 VALUE {-1 * V(N00131)}