~ cd пиратство плохо! мне так сказали…

Термины

Программное обеспечение (далее ПО) — это совокупность программ, данных и документации, созданная для обеспечения основной функциональности компьютерной системы или электронного устройства.

Сайт — совокупность программных обеспечений для электронных вычислительных машин и иной информации, содержащейся в информационной системе, доступ к которой обеспечивается посредством информационно-телекоммуникационной сети «Интернет» (далее — сеть «Интернет») по доменным именам и (или) по сетевым адресам, позволяющим идентифицировать сайты в сети «Интернет».

Гиперссылка (ссылка на сайте) — это прямой путь перехода от одной страницы к другой в пределах одного сайта или разных интернет-ресурсов.

VPN (Virtual Private Network — с англ. «виртуальная частная сеть») — это технология, которая обеспечивает защищённое подключение пользователя к сети, организованной между несколькими устройствами.

VPN-туннель — это сетевое соединение для безопасной передачи информации между двумя или более удаленными узлами в интернете.

Антивирусная программа — это программное обеспечение, которое защищает компьютер от вредоносных программ.

Сервер с Антивирусной проверкой трафика — сервер, использующий антивирус для проверки траффика, поступающий к нему для последующей передачи.

Серверное Туннелирование — процесс, в ходе которого создаётся логическое соединение между двумя конечными точками, которые являются серверами, посредством инкапсуляции различных протоколов.

Эмулятор ОС – это программное обеспечение, которое имитирует воспроизведение операционной системы.

Предостережение

Это статья не является призывом для скачивания ПО или переходом на сайты, указанный в этой статье. Данная статья скрыта от пользователей, который совершили переход с поисковых систем, и пользователей, использующие внутреннюю карту сайта.

Сайты указанные здесь запрещены в многих странах мира, включая Российской Федерация. Ответственность за переход по сайтам вы несете сами.

Рекомендация

При переходе на данный сайты или прямые ссылки на данный сайты используйте VPN(VPN-туннели), Сервер с Антивирусной проверкой трафика, Серверное Туннелирование, Различные ПО с Оболочками или Эмулятор ОС.

Программные обеспечения

1. Synopsys SpyGlass

• Описание: SpyGlass от Synopsys — один из самых мощных инструментов для статического анализа HDL кода, включая Verilog и VHDL. Он позволяет находить ошибки проектирования на ранних стадиях, проверять стиль кода и соответствие стандартам.
• Сайт с ресурсом: нет

2. Mentor Graphics QuestaSim

• Описание: Questa Lint от Siemens (бывший Mentor Graphics) — это инструмент для статического анализа Verilog, SystemVerilog и VHDL кода. Он анализирует код на предмет синтаксических и логических ошибок, проблем с управлением тактированием и ошибок стиля.
• Сайт: rutracker.org(не проверенный на ошибки), downloadly.ir

3. Aldec ALINT-PRO

• Описание: ALINT-PRO — инструмент для статического анализа HDL, разработанный компанией Aldec. Поддерживает анализ VHDL, Verilog и SystemVerilog на соответствие стандартам, обнаружение ошибок стиля, функциональные проверки, а также проверку тактовых доменов (CDC).
• Сайт: downloadly.ir

4. HDL Designer (Siemens/Mentor Graphics)

• Описание: HDL Designer — это еще один продукт от Siemens (Mentor Graphics), который включает функции статического анализа кода для Verilog и VHDL. Он помогает автоматизировать проектирование цифровых систем, предоставляя мощные средства для проверки кода на соответствие стандартам и стилю.
• Сайт: downloadly.ir, rutracker.org(2012)

5. Aldec Riviera-PRO

• Описание: Riviera-PRO от Aldec — это мощная симуляционная и формальная верификационная платформа с поддержкой HDL (VHDL, Verilog, SystemVerilog). Помимо симуляции, она включает инструменты для статического анализа кода и проверок CDC.
• Сайт: downloadly.ir(2014), rutracker.org(2009)

6. Real Intent

• Описание: Ascent Lint от Real Intent — это инструмент для статического анализа Verilog и VHDL, ориентированный на проверку стиля кода, обнаружение ошибок и оптимизацию.
• Сайт: нет

7. Questa Design (Siemens)

• Описание: Questa Design Checks от Siemens (бывший Mentor Graphics) обеспечивает статический анализ кода, проверку проектных правил (DRC), а также выявление проблем с пересечением тактовых доменов (CDC) и проблем с синхронизацией. Инструмент ориентирован на проектирование на уровнях RTL для Verilog, VHDL и SystemVerilog.
• Сайт: rutracker.org

8. Blue Pearl Software Suite

• Описание: Blue Pearl Software предлагает инструменты для статического анализа HDL-кода, включающие проверки проектных правил (DRC) и анализ пересечения тактовых доменов (CDC). Поддерживаются такие языки, как Verilog, VHDL и SystemVerilog.
• Сайт: нет

9. Synopsys VCS and DRC

• Описание: VCS от Synopsys — это мощный симулятор с поддержкой статического анализа кода, а также проверки правил проектирования. Инструмент DRC от Synopsys ориентирован на выявление проблем в проектировании цифровых систем.
• Сайт: нет

10. Xilinx Vivado Design Suite

• Описание: Vivado Design Suite от Xilinx включает инструменты для статического анализа RTL и проверок проектных правил (DRC) при работе с FPGA. Vivado может обнаруживать проблемы, такие как пересечение тактовых доменов и нарушения правил проектирования.
• Сайт: downloadly.ir(2024), rutracker.org

11. Cadence JasperGold

• Описание: JasperGold от Cadence — это платформа для формальной верификации, включая проверки пересечения тактовых доменов (CDC) и выявления ошибок на уровне RTL. Этот инструмент может также использоваться для проверки правил проектирования (DRC).
• Сайт: downloadly.ir(Cadence Virtuoso Studio)

12. Synopsys PrimeTime

• Описание: Synopsys PrimeTime — это один из самых популярных инструментов для анализа и проверки временных ограничений. Он помогает выполнять статический временной анализ (STA), обеспечивая точную проверку временных требований, а также обнаружение и устранение задержек сигналов.
• Сайт: нет

13. Cadence Voltus (Power Integrity Solution)

• Описание: Voltus — это мощное решение для анализа и оптимизации энергопотребления от Cadence, которое выполняет расчет энергопотребления как на уровне RTL, так и на уровне схемы. Оно помогает проектировщикам обеспечить соблюдение требований по энергопотреблению.
• Сайт: нет

14. Intel Quartus Prime Pro Edition

• Описание: Power Analyzer от Intel является частью Quartus Prime Design Software и предназначен для анализа и оптимизации энергопотребления проектов FPGA на базе Intel. Он помогает проектировщикам контролировать динамическое и статическое потребление энергии в проектах.
• Сайт: downloadly.ir(2023)

15. ANSYS RedHawk

• Описание: ANSYS RedHawk — это мощное решение для анализа энергопотребления и проверки надежности источников питания на уровне RTL и схемы. RedHawk помогает выявить проблемы с энергопотреблением, как статическим, так и динамическим, и оптимизировать их.
• Сайт: downloadly.ir(2024), rutracker.org

16. Aldec Active-HDL

• Описание: Инструмент от Aldec для логической эквивалентной проверки HDL кода, включающий формальный анализ эквивалентности. Active-HDL LEC поддерживает анализ на уровнях RTL и схемы.
• Сайт: downloadly.ir, rutracker.org

17. Imagination Technologies IEV (InFact Equivalence Verification)

• Описание: Специализированный инструмент для проверки эквивалентности, поддерживающий комплексные изменения в проектах на уровне RTL и схемы.
• Сайт: нет