Title: Models and logic of MOS circuits