lvsRules((L = 3.945) 
    (L = 5.786) 
    procedure((compareJunction layPlist schPlist) 
	prog((errstring Icl Ics) 
	    (Icl = (layPlist->Ic)) 
	    (Ics = (schPlist->Ic)) 
	    (Icdiff = abs((Icl - Ics))) 
	    cond(((Icl && Ics && (Icdiff > 0.007)) 
		    sprintf(errstring "Value mismatch: %g (layout) %g (schematic)" 
			float(Icl) 
			float(Ics)
		    ) 
		    return(errstring)
		) 
		(t 
		    return(nil)
		)
	    )
	)
    ) 
    procedure((compareInductor layPlist schPlist) 
	prog((errstring Ll Ls) 
	    (Ll = (1.2 * (layPlist->L))) 
	    (Ls = (schPlist->L)) 
	    (Lmax = max(Ls Ll)) 
	    (Ldiff = abs((Ls - Ll)))
	    cond(((Ll && Ls && (Lmax > 0.37) && (Ldiff > 0.33) && (Ldiff > (0.33 * Lmax))) 
		    sprintf(errstring "Value mismatch: %g (layout) %g (schematic)" 
			float(Ll) 
			float(Ls)
		    ) 
		    return(errstring)
		) 
		(t 
		    return(nil)
		)
	    )
	)
    ) 
    procedure((compareResistor layPlist schPlist) 
	prog((errstring Rl Rs) 
	    (Rl = (layPlist->R)) 
	    (Rs = (schPlist->R)) 
	    cond(((Rl && Rs && (Rs > 0.51) && (abs((Rs - Rl)) > (0.04 * max(Rs Rl)))) 
		    sprintf(errstring "Value mismatch: %g (layout) %g (schematic)" 
			float(Rl) 
			float(Rs)
		    ) 
		    return(errstring)
		) 
		(t 
		    return(nil)
		)
	    )
	)
    )
    procedure((parallelInductor e1Plist e2Plist) 
	prog((parInd L1 L2) 
	    (parInd = ncons(nil)) 
	    (L1 = (e1Plist->L)) 
	    (L2 = (e2Plist->L)) 
	    cond(((L1 && L2) 
		    (parInd->L = ((L1 * L2) / (L1 + L2)))
		)
	    )
	    return(parInd)
	)
    ) 
    procedure((seriesInductor e1Plist e2Plist) 
	prog((serInd L1 L2) 
	    (serInd = ncons(nil)) 
	    (L1 = (e1Plist->L)) 
	    (L2 = (e2Plist->L)) 
	    cond(((L1 && L2) 
		    (serInd->L = (L1 + L2))
		)
	    )
	    return(serInd)
	)
    ) 
    procedure((parallelResistor e1Plist e2Plist) 
	prog((parRes R1 R2) 
	    (parRes = ncons(nil)) 
	    (R1 = (e1Plist->R)) 
	    (R2 = (e2Plist->R)) 
	    cond(((R1 && R2) 
		    (parRes->R = ((R1 * R2) / (R1 + R2)))
		)
	    )
	    return(parRes)
	)
    ) 
    procedure((seriesResistor e1Plist e2Plist) 
	prog((serRes R1 R2) 
	    (serRes = ncons(nil)) 
	    (R1 = (e1Plist->R)) 
	    (R2 = (e2Plist->R)) 
	    cond(((R1 && R2) 
		    (serRes->R = (R1 + R2))
		)
	    )
	    return(serRes)
	)
    ) 
    permuteDevice(parallel "inductor" parallelInductor)
    permuteDevice(series "inductor" seriesInductor) 
    permuteDevice(parallel "resistor" parallelResistor) 
    permuteDevice(series "resistor" seriesResistor) 
    compareDeviceProperty("jjunction" compareJunction) 
    compareDeviceProperty("inductor" compareInductor)
    compareDeviceProperty("resistor" compareResistor)
)