Title: A compositional model of MOS circuits