Комплект программ 0-In предназначен для функциональной верификации цифровых систем на основе синтеза ассертов, формальной верификации ассертов и использования специализированных IP-блоков для верификации.