Title: Modeling Digital Switching Circuits