Все абсолютно верно. Но помещая клоки в разные группы мы по сути прописываем false_path между переходом из домена в домен. Вот тут и кроется вся проблема. Мы отключаем ВСЕ переходы из домена в домен. Допустим у нас есть не только переход через FIFO , а еще несколько переходов. Но по какой-то причине мы забыли их правильно перенести через домен. И в случае, когда мы поместили клоки в разные группы, нам временной анализатор не покажет, что у нас есть проблемы. Мы же сами его попросили не анализировать это))) А проблемы будут. И мы про них не узнаем. Можно конечно кидаться тапками в разработчика, но тут никто не застрахован от проблем. Особенно когда у вас может быть несколько разных доменов. Поэтому я считаю применение false_path и set_clock_group очень опасной практикой.
Более того. У нас автоматически появляется еще одна проблема, применяя эти ограничения. В частности, мы, отключив анализ между клоками, дали синтезатору добро размещать шины данных без каких-либо правил. И в коде грея могут быть серьезные проблемы если биты шины данных слишком сильно расползутся по времени. Поэтому правильно ограничить эти шины констрейном set_max_delay (Или же set_bus_skew). Пример правильных констрейнов можно подсмотреть в Vivadо, сгенериров FIFO.
