[MaratZuev 0]

Всем добра.

Организация, которую я представляю (привет, Артём! Можешь стучать моему нач. отдела, как ты это делал уже неоднократно), вводит (наконец-то, Карл!) стандарт на кодирование.

Я, помимо непосредственного участи я этом процессе, хочу максимально закрутить гайки не в плане усложнения жизни кодировщикам, а в плане привнесения в эту область более-менее жёстких рамок (вот удивительно, что тот же нач. отдела не ставит вопрос, почему это мы принципиальные схемы рисуем не от балды, и перечни и спецификации рисуются по каким-то там ГОСТам), а  тут, в кодировании, мы вольны лепить .. да, я так и сказал прилюдно, при нём, при остальных кодировщиках, к коим и сам некоторым образом причисляю себя ... ГОВНО ... ибо то, что я вижу (в т.ч. и в своём коде) ... Какие нахрен стандарты?! Так конь вообще и не думал валяться! Ладно, это всё лирика.

Теперь по делу. Подскажите, кто о чём сможет, какие инструменты проверки (дополнительные) правил проектирования есть в том или ином инструменте? Чтобы я мог поставить инструмент (из закромов бы, получив бы бесплатную лицензию) и посмотреть на них. Например Quartus версии 13.0.1 обладаем Design Assistant-ом, а сами правила я где-то в Quartus Handbook, вроде, видел.
А, вот в современной 20.1 Lite версии Design Assistant уже не включишь. Или и 13.0.1 я его вижу, т.к. он пролеченный?
В любом случае если кто знает тоже самое за Mocrosemi, Xilinx, Lattice, что ещё?

ЗЫ. Мы почти уже купили ALINT-PRO с библиотеками SV и DO-254.

[Stas 1]

Alint с библиотекой DO-254, баловался..

Я в своих творениях руководствуюсь старым документом с рекомендациями вроде от Mitsubishi, по правилам кодировки, именования переменных, процессов и пр и пр. Под рукой его что-то не нашел.

Подобных рекомендаций много, гуглить HDL Coding Style.

Хорошее на мой взгляд решение, на основе проработки подобной литературы - сделать внутренний документ, которого придерживается вся контора...

 

[one_eight_seven 3]

Synopsys Spyglass lint и turbo lint.

[MaratZuev 0]

3 hours ago, Stas said:

Alint с библиотекой DO-254, баловался..

А мы, как сказал выше, будем работать по полной...

3 hours ago, Stas said:

старым документом с рекомендациями вроде от Mitsubishi, по правилам кодировки, именования переменных, процессов и пр и пр. Под рукой его что-то не нашел.

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

3 hours ago, Stas said:

гуглить HDL Coding Style

См. выше.

3 hours ago, Stas said:

сделать внутренний документ, которого придерживается вся контора

Его сейчас и делаем на основе того, что упомянуто в исходном посте в постскриптуме. Тупо перевод правил из трёх библиотек. Хочется расширить путём оборзевания искомого.

Style_guides.zip

3 hours ago, one_eight_seven said:

Synopsys Spyglass lint и turbo lint.

Are those two mentioned free of charge?

[one_eight_seven 3]

37 minutes ago, MaratZuev said:

3 hours ago, one_eight_seven said:

 

Are those two mentioned free of charge?

как это у вас получается - в одном посте поставить Synopsys и Free-of-chagre? : )

нет, весьма дороги

Из бесплатных есть verilate.

[MaratZuev 0]

29 minutes ago, one_eight_seven said:

как это у вас получается - в одном посте поставить Synopsys и Free-of-chagre? : )

это у вас как получается: читать исходный пост через строку? )))

30 minutes ago, one_eight_seven said:

нет, весьма дороги

представьте, знаю. Знаю, даже сколько. Картина маслом, как говорил Давид Маркович Гоцман

32 minutes ago, one_eight_seven said:

Из бесплатных есть verilate.

Ставить linux только из-за того, чтобы посмотреть, не имеет смысла.

[Dr.Alex 0]

5 hours ago, MaratZuev said:

 (наконец-то, Карл!) стандарт на кодирование.

 

А как примерно выглядит самый сложный прожект вашей конторы?

Вообще, попахивает юношеским максимализмом в одной из самых вредоносных его форм.

[MaratZuev 0]

24 minutes ago, Dr.Alex said:

Вообще, попахивает юношеским максимализмом в одной из самых вредоносных его форм.

Коммент вообще попахивает говнецом, как было указано в первом посте.

[one_eight_seven 3]

1 hour ago, MaratZuev said:

это у вас как получается: читать исходный пост через строку? )))

Извините, но он написан из рук вон плохо. Суть спрятана за информационным мусором. Я сейчас перечитал, зная, что там должно быть что-то про бесплатность, но смог это сделать далеко не с первого раза. Мне для этого пришлось вчитываться в каждое слово. А первые абзацы вообще не относятся к теме. Поэтому, я просто устал, и продолжил по-диагонали. Потом начал читать внимательно конец сообщения, потом в центре.

[Dr.Alex 0]

14 minutes ago, MaratZuev said:

говнецом

 

Проверил — действительно, вы же только учитесь, несмотря на возраст.

Приятно что не ошибся :-))

[one_eight_seven 3]

1 hour ago, MaratZuev said:

Ставить linux только из-за того, чтобы посмотреть, не имеет смысла

Ну, это дело вкуса. Как по мне, ставить винду для разработки и верификации HDL - весьма странно. Ну и винда не указана в первом посте. Или спрятана.

[MaratZuev 0]

15 minutes ago, one_eight_seven said:

Извините, но он написан из рук вон плохо.

Извиняю, но и ваши ответы не лучше, а по информационной насыщенности для меня - ноль.

17 minutes ago, one_eight_seven said:

Суть спрятана за информационным мусором.

Не судите только по себе, вас никто не короновал.

18 minutes ago, one_eight_seven said:

но смог это сделать далеко не с первого раза.

Согласитесь, что это тоже только ваша проблема. У меня, кстати, проблем нет.

18 minutes ago, one_eight_seven said:

Мне для этого пришлось вчитываться в каждое слово.

Я вам неискренне сочувствую: вы и художественную литературу, вероятно, также читаете. Либо не читаете вообще.

19 minutes ago, one_eight_seven said:

А первые абзацы вообще не относятся к теме.

Про эпиграф в школе проходили? Не: мы там и не учились-то!

19 minutes ago, one_eight_seven said:

Поэтому, я просто устал, и продолжил по-диагонали. Потом начал читать внимательно конец сообщения, потом в центре.

Меня это сильно огорчает. Просто пойду молока выпью.

19 minutes ago, Dr.Alex said:

Проверил — действительно, вы же только учитесь, несмотря на возраст.

А вы уже выучились и готовы отправиться на тот свет? Эпитафию-то написали?

19 minutes ago, Dr.Alex said:

Приятно что не ошибся :-))

Приятно внимание ))

18 minutes ago, one_eight_seven said:

Ну, это дело вкуса.

Это не дело вкуса, а дело принципа. Винда уже стоит, на что указано в куче источников первого поста. Если из упомянутых вами инструментов предоставите то, что я пригалаю к этому посту - вот, наконец-то хоть что-то будет. Пока же этот тред - пустой высер трёх (или сколько нас тут) представителей сообщества. Ни о чём.

aldec_basic.pdf aldec_sv.pdf do254_vlog.pdf

[warrior-2001 0]

День добрый!

В своё время настраивал проверку требований coding style в HLD Designer от Mentor Graphics. Сложно, но можно. Сам продукт лежит в закромах.

К нему же можно и DO-254 подтянуть при желании - функционал и поддержка в России есть. Лишь бы проект коммерческий был и контора не из чёрного списка.

 

[MaratZuev 0]

5 hours ago, warrior-2001 said:

Сам продукт лежит в закромах.

Знаю, скачивал, поставил, снёс.

5 hours ago, warrior-2001 said:

К нему же можно и DO-254 подтянуть при желании

HLD Designer  нам не нужен - см. ПС к исходному посту: Mentor и Aldec - конкуренты. Их обоих используем только для классификации инструмента, если понятно, о чём я.

5 hours ago, warrior-2001 said:

Лишь бы проект коммерческий был и контора не из чёрного списка.

К нам не применимо: после покупки Сименсом Ментора последний стал для нас недосягаем.

[yes 5]

если посмотреть (вобщем, не бесплатно, но есть в закромах)

в NCSIM-е есть lint - очень занудный причем.

----------------------

ну и не могу не отметить - это все от излишков свободного времени, никогда (ну если совсем постараться и иметь такой талант, то очень иногда) случаются синтаксические ошибки, а вот функциональные - всегда пожалуйста. то есть ценность красивого кода, который линты/синтакс-чекеры принимают "на ура", состоит только в красоте, меньше ошибок в нем не бывает