Всем добра.
Организация, которую я представляю (привет, Артём! Можешь стучать моему нач. отдела, как ты это делал уже неоднократно), вводит (наконец-то, Карл!) стандарт на кодирование.
Я, помимо непосредственного участи я этом процессе, хочу максимально закрутить гайки не в плане усложнения жизни кодировщикам, а в плане привнесения в эту область более-менее жёстких рамок (вот удивительно, что тот же нач. отдела не ставит вопрос, почему это мы принципиальные схемы рисуем не от балды, и перечни и спецификации рисуются по каким-то там ГОСТам), а тут, в кодировании, мы вольны лепить .. да, я так и сказал прилюдно, при нём, при остальных кодировщиках, к коим и сам некоторым образом причисляю себя ... ГОВНО ... ибо то, что я вижу (в т.ч. и в своём коде) ... Какие нахрен стандарты?! Так конь вообще и не думал валяться! Ладно, это всё лирика.
Теперь по делу. Подскажите, кто о чём сможет, какие инструменты проверки (дополнительные) правил проектирования есть в том или ином инструменте? Чтобы я мог поставить инструмент (из закромов бы, получив бы бесплатную лицензию) и посмотреть на них. Например Quartus версии 13.0.1 обладаем Design Assistant-ом, а сами правила я где-то в Quartus Handbook, вроде, видел.
А, вот в современной 20.1 Lite версии Design Assistant уже не включишь. Или и 13.0.1 я его вижу, т.к. он пролеченный?
В любом случае если кто знает тоже самое за Mocrosemi, Xilinx, Lattice, что ещё?
ЗЫ. Мы почти уже купили ALINT-PRO с библиотеками SV и DO-254.