This thesis proposes a new logic modeling technique based on a mathematical abstraction of analog circuits into logic models.