Как я прочитал из Долото вики, в одном модуле можно объявить несколько доменов часов.
Но если нам нужно читать/записывать сигнал через два разных тактовых домена, важно управлять метастабильностью (с двойной d-защелкой, асинхронным fifo, ...).
Если мы не справимся с этим, это ошибка дизайна. Есть ли способ попросить долото проверить неправильное пересечение доменов часов в дизайне?
Не в данный момент. Это нужная, но пока нереализованная функция.
Хорошо, я добавил запрос на github: github.com/freechipsproject/chisel3/issues/1085