Это исследовательский проект с целью исследования методов формальной верификации. В проекте используется модуль i2c.

Основной инструмент для формальной верификации SymbiYosys