Static Delay Variation Models for Ripple-Carry and Borrow-Save Adders