Mixed signal circuit verification using symbolic model checking techniquesAlexander JesserAusverkauft4,3Bewachen
