Mixed signal circuit verification using symbolic model checking techniquesAlexander JesserEsaurito4,3Avvisami