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

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

YouTube: link

Slides: link