Efficient physical timing models for CMOS AND-OR-inverter and OR-AND-inverter gates and their applications | IEEE Journals & Magazine | IEEE Xplore