PSpice利用ABM模型调用IF语句建立逻辑功能器件模型。IF语句格式、布尔函数和逻辑判别式如表1.28所示。
表1.28 IF语句函数
首先结合语句实例进行介绍：
1、IF(V(3)>1,I(V4),V(2))：如果节点3电压V(3)>1,输出值为I(V4)，否则输出为节点2的电压值V(2)；I(V4)表示通过电压源V4的电流。
2、IF(V(9)>1.5,IF(V(10)>1.5,IF(V(11)>1.5,0.3,3.5),3.5),3.5)：如果节点9的电压V(9)>1.5、并且节点10的电压V(10)>1.5、并且节点11的电压V(11)>1.5时输出3V，否则输出3.5V。该语句利用嵌套形式实现三输入与非门功能。
3、IF(V(1,2)<100m,100m,IF(V(1,2)>1,1,V(1,2)))：如果节点1和2之间电压V(1,2)<100m，输出为100m；如果节点1和2之间电压V(1,2)>1，输出为1；否则输出为节点1和2之间电压V(1,2)。该语句利用嵌套实现限幅器功能。
4、IF((V(1)>500m)& (V(2)>500m)&(V(3)>500m),0,5)：当节点1、2和3的电压值都大于500mV时输出0V，否则输出5V。该语句利用布尔函数实现三输入与非门功能。
5、IF((V(1)>500m) | (V(2)>500m),5,0)：当节点1或者节点2的电压值大于500mV时输出5V，否则输出0V。该语句利用布尔函数实现两输入或门功能。
6、IF(V(1)>500m,0,5)：当节点1的电压值大于500mV时输出0V，否则输出5V。该语句实现反向器功能。
下面结合RS触发器FFLOP模型建立与测试过程，对IF语句进行实例练习：
RS触发器FFLOP模型建立与测试：（电路图1.83、元件表1.30）
利用行为模型EVALUE和IF语句建立触发器模型，电阻和电容实现输出缓冲和初始值设置，仿真波形如图1.84所示。
图1.83 RS触发器模型
表1.30 RS触发器仿真电路图元件列表
图1.84 RS触发器测试波形
当S端信号为高R端信号为低时Q为高、Q\为低
当R端信号为高S端信号为低时Q为低、Q\为高