В FIFO между двумя тактовыми доменами запись уже пошла после сброса, а читающая сторона ещё спит: именно в таких редких состояниях рождаются баги, способные неделями жить в прошивке. CERN выпустил colibri — VHDL-библиотеку, где этот класс блоков приходит вместе с самопроверяющимися тестами и, где возможно, формальной проверкой. Идея проста: очередной CDC-переход не должен начинаться с нового личного RTL-проекта. →