1. YADRO исследует open source альтернативы для формальной верификации аппаратного дизайна
Обычное тестирование аппаратного дизайна часто не гарантирует отсутствия ошибок, а лишь сигнализирует, что их не нашли. На этом фоне формальная верификация, метод, проверяющий все состояния системы, становится критически важным для обеспечения надежности. Однако ведущие промышленные решения — VC Formal от Synopsys, Jas...