Смотреть записьКомпиляторные технологии в верификации аппаратного обеспеченияКонстантин ВладимировSyntacore