Verilog, только для симуляции или нечто большее?

[Ivan_32]

Допустим есть некий модуль описанный на языке Verilog, этот модуль каким ни будь образом может быть отображен в виде ЛЭ/CMOS-транзисторов/слоев полупроводника? Меня очень интересует каким таким образом проектируются действительно большие микросхемы. Даже на ЛЭ схеме это будут сотни тысяч элементов, на мой взгляд симуляции такие вещи просто не поддаются, даже на мощной рабочей станции с двумя процессорами. Ну даже если и взять симуляцию сугубо на Verilog-е, модуль на этом язык можно прогнать по тестам, но как быть с принципиальной схемой? Ее то ведь тоже нужно как то прогнать по тестам, ведь нельзя же в производство пускать не протестированные схемы.