В FIFO между двумя тактовыми доменами запись уже пошла после сброса, а читающая сторона ещё спит: именно в таких редких состояниях рождаются баги, способные неделями жить в прошивке. CERN выпустил colibri — VHDL-библиотеку, где этот класс блоков приходит вместе с самопроверяющимися тестами и, где возможно, формальной проверкой. Идея проста: очередной CDC-переход не должен начинаться с нового личного RTL-проекта. →
Стенд на Kintex UltraScale, по данным разработчика, загрузил ядро Linux на Orange Pi 3B, выдавая содержимое DDR4 за eMMC. RTL обрабатывает команды, данные и контрольные суммы, а асинхронные FIFO связывают внешний тактовый домен с MIG. На 52 МГц система уже работала, однако заявленный HS200 до 200 МГц оставляет открытым вопрос физического тайминга и устойчивости интерфейса. →