Mixed signal circuit verification using symbolic model checking techniquesAlexander JesserVypredaná4,3Postrážiť