Функциональный уход за Research Pet Project: NITTA, CGRA, Haskell, верификация и тестирование

1. Research Pet Project это? 2. Рост производительности процессоров. Что такое CGRA? 3. Проект NITTA. Сложность. Проблемы верификации и тестирования. 4. Используемые практики верификации и тестирования, • применяемые в том или ином объёме в проекте NITTA, • часть из которых почему-то не все знают.