The output is the inverted carry of the inverse of pin a and pin b and carry input c, with the delay from pin c being favoured. The cells here use a P/N ratio of 2.
z:((a'*b)+(a'*c)+(b*c))'
cell width
power
Generic 0.13um typical timing (ps & ps/fF),
pin c.