Где можно найти реальные модели на gate-level Verilog?
Подойдут любые модели: памяти, шины и т.д.

Если хочешь увидеть реальноработающие и доступные, то можешь поставить себе NIOS2 к примеру, конечно они привязаны к Авалон, но хоть что-то для начала. На opencores.org можно посмотреть, но чаще всего там недоработанные или доконца невыложенные модели.

В принципе можно, и не полностью законченные. Спасибо.

А в чем смысл gate-level моделей то? В любом силиконовом компиляторе есть опция выдать результат компиляции в виде gate-level модели: берешь любую синтезируемую модель, компилируешь и наслаждаешся. Хотя на мой взгляд, что в текстовом виде, что в виде схемы любая нетривиальная модель в виде набора gateов совершенно нечитабельна.