на сайтах каденса/синопсиса находил саксес стори про проектирования i.MX31 и OMAP3 то есть - моделируем все на уровне транзакций и из кубиков (ARM, DSP, AMBA(AIX) и всяческой периферии) собираем чип при проектировании чипа как можно больше абстрагироваться от гейтов и описывать на высокоуровневых языках System Verilog / SystemC
а собрать все это вместе на гейт левеле - задача ортогональная
(лично я с этим не совсем согласен - но против мейнстрима выступать тяжело)