[serjj1333 0]

Как по мне, так лучше взять исходники IP ядер кого-нибудь вроде ARM или MIPS

А вы их видели хоть раз? Даже нетлистов в открытом доступе нет, что уж говорить про проприетарный дизайн. Выше приводил пример coding rules от Freescale - это не последняя контора на рынке asic'ов. Если полистаете, то там всё довольно логично изложено. И то что это очень быстро ищется, уже неплохо, попробуйте найти аналогичные документы от, например, Intel, Broadcom, TI или того же ARM. Тем более сложно будет достать их tips & tricks по синтезируемым конструкциям.

[yes 5]

если уж хочется подвиг труда совершить - поищите

Incisive HDL analysis (HAL) User Guide

есть такая у каденса (это намек на фтп) утилита hal - вот например можно так писать, чтобы она не ругалась (имхо, это если делать нечего)

можно найти документ (у каденса они закрыты, но на старые версии найти можно в других местах)

 

----------

 

еще есть у emacs-a годная мода verilog-mode http://www.veripool.org/ - это не совсем рулесы, но жесткой рукой этой моды emacs приводит к читаемому виду верилог-каракули

 

-----------

 

как пишут большие конторы - можно посмотреть например SUN-овский код OpenSPARC - сразу предупреждаю - сильно удивляет (но в большой конторе, когда полно кодеров - можно любые извращения практиковать)

[Shivers 0]

А вы их видели хоть раз?

Их полно у отечественных контор, разрабатывающих ASIC, потому что все эти ядра покупаются за денежки (ворованое на фабе не изготовить). У ПЛИСоводов по понятным соображениям этих ядер нет. Так что, ищите, задействуйте знакомых, ройте фтп. В местных закромах точно какие то ядра были, по крайней мере видел синтезируемое PCI-E rev 1.0. Но его индусы писали левой пяткой, такой стиль врагу не пожелаешь - надо что то другое искать: арм или мипс.

[serjj1333 0]

Их полно у отечественных контор, разрабатывающих ASIC, потому что все эти ядра покупаются за денежки

Серьёзные ядра продаются в виде закрытых нетлистов. А это уже готовый продукт.

[FatRobot 0]

Вы говорите совершеннейшую чепуху. Бизнес-модели у поставщиков ядер разные: от open source (например gaisler) до pre-routed macro (например можно купить у arm или synopsys). У того же арм можно купить исходники, верификационную оснастку и т.п.

 

Серьёзные ядра продаются в виде закрытых нетлистов. А это уже готовый продукт.

[WitFed 1]

На местном ftp: в /pub/BOOKS/Verilog/ есть "Stil Programmirovaniya na Verilog (Daykema-1992).rar" и сотня, наверное, других документов, где какие-то правила кодирования и примеры от "центра" точно должны найтись. Но на нашей мове мало.