MaratZuev 0 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба Всем добра. Организация, которую я представляю (привет, Артём! Можешь стучать моему нач. отдела, как ты это делал уже неоднократно), вводит (наконец-то, Карл!) стандарт на кодирование. Я, помимо непосредственного участи я этом процессе, хочу максимально закрутить гайки не в плане усложнения жизни кодировщикам, а в плане привнесения в эту область более-менее жёстких рамок (вот удивительно, что тот же нач. отдела не ставит вопрос, почему это мы принципиальные схемы рисуем не от балды, и перечни и спецификации рисуются по каким-то там ГОСТам), а тут, в кодировании, мы вольны лепить .. да, я так и сказал прилюдно, при нём, при остальных кодировщиках, к коим и сам некоторым образом причисляю себя ... ГОВНО ... ибо то, что я вижу (в т.ч. и в своём коде) ... Какие нахрен стандарты?! Так конь вообще и не думал валяться! Ладно, это всё лирика. Теперь по делу. Подскажите, кто о чём сможет, какие инструменты проверки (дополнительные) правил проектирования есть в том или ином инструменте? Чтобы я мог поставить инструмент (из закромов бы, получив бы бесплатную лицензию) и посмотреть на них. Например 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 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба Alint с библиотекой DO-254, баловался.. Я в своих творениях руководствуюсь старым документом с рекомендациями вроде от Mitsubishi, по правилам кодировки, именования переменных, процессов и пр и пр. Под рукой его что-то не нашел. Подобных рекомендаций много, гуглить HDL Coding Style. Хорошее на мой взгляд решение, на основе проработки подобной литературы - сделать внутренний документ, которого придерживается вся контора... Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
one_eight_seven 6 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба Synopsys Spyglass lint и turbo lint. Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
MaratZuev 0 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 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 6 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 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 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 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 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 5 hours ago, MaratZuev said: (наконец-то, Карл!) стандарт на кодирование. А как примерно выглядит самый сложный прожект вашей конторы? Вообще, попахивает юношеским максимализмом в одной из самых вредоносных его форм. Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
MaratZuev 0 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 24 minutes ago, Dr.Alex said: Вообще, попахивает юношеским максимализмом в одной из самых вредоносных его форм. Коммент вообще попахивает говнецом, как было указано в первом посте. Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
one_eight_seven 6 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 1 hour ago, MaratZuev said: это у вас как получается: читать исходный пост через строку? ))) Извините, но он написан из рук вон плохо. Суть спрятана за информационным мусором. Я сейчас перечитал, зная, что там должно быть что-то про бесплатность, но смог это сделать далеко не с первого раза. Мне для этого пришлось вчитываться в каждое слово. А первые абзацы вообще не относятся к теме. Поэтому, я просто устал, и продолжил по-диагонали. Потом начал читать внимательно конец сообщения, потом в центре. Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
Dr.Alex 0 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 14 minutes ago, MaratZuev said: говнецом Проверил — действительно, вы же только учитесь, несмотря на возраст. Приятно что не ошибся :-)) Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
one_eight_seven 6 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 1 hour ago, MaratZuev said: Ставить linux только из-за того, чтобы посмотреть, не имеет смысла Ну, это дело вкуса. Как по мне, ставить винду для разработки и верификации HDL - весьма странно. Ну и винда не указана в первом посте. Или спрятана. Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
MaratZuev 0 7 ноября, 2021 Опубликовано 7 ноября, 2021 · Жалоба 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 8 ноября, 2021 Опубликовано 8 ноября, 2021 · Жалоба День добрый! В своё время настраивал проверку требований coding style в HLD Designer от Mentor Graphics. Сложно, но можно. Сам продукт лежит в закромах. К нему же можно и DO-254 подтянуть при желании - функционал и поддержка в России есть. Лишь бы проект коммерческий был и контора не из чёрного списка. Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
MaratZuev 0 8 ноября, 2021 Опубликовано 8 ноября, 2021 · Жалоба 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 7 8 ноября, 2021 Опубликовано 8 ноября, 2021 · Жалоба если посмотреть (вобщем, не бесплатно, но есть в закромах) в NCSIM-е есть lint - очень занудный причем. ---------------------- ну и не могу не отметить - это все от излишков свободного времени, никогда (ну если совсем постараться и иметь такой талант, то очень иногда) случаются синтаксические ошибки, а вот функциональные - всегда пожалуйста. то есть ценность красивого кода, который линты/синтакс-чекеры принимают "на ура", состоит только в красоте, меньше ошибок в нем не бывает Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться