Проверка формальной эквивалентности

От / / Оставьте комментарий

Оглавление1 Формальная проверка эквивалентности1.1 Основы проверки эквивалентности1.2 Методы проверки1.3 Коммерческие приложения1.4 Обобщения и расширения1.5 Рекомендации и библиография2 Проверка формальной эквивалентности […]

Electronic circuit verification, Formal methods, Проверка электронных схем, Формальные методы

Формальная проверка эквивалентности

  • Основы проверки эквивалентности

    • Проверка эквивалентности – это процесс сравнения двух версий дизайна, чтобы убедиться в их идентичности. 
    • В электронике проверка эквивалентности используется для сравнения схем, описанных в RTL-коде и списках соединений. 

  • Методы проверки

    • Бинарные диаграммы принятия решений (BDD) и выполнимость конъюнктивной нормальной формы (SAT solvers) являются основными технологиями для логического рассуждения. 

  • Коммерческие приложения

    • Существуют специализированные инструменты для проверки эквивалентности, такие как FormalPro от Mentor Graphics и другие. 

  • Обобщения и расширения

    • Рассматриваются случаи проверки эквивалентности для последовательностей, программ и других сложных конструкций. 

  • Рекомендации и библиография

    • Статья основана на главе из книги и содержит ссылки на другие работы в области проверки эквивалентности. 

Полный текст статьи:

Проверка формальной эквивалентности — Википедия

Похожие статьи:

  1. Графические технологии Intel Оглавление1 Графическая технология Intel1.1 Обзор графических процессоров Intel1.2 История и развитие2 Графические технологии Intel — Википедия...
  2. Хронология пандемии COVID-19 в январе 2022 года – Arc.Ask3.Ru Оглавление1 Timeline of the COVID-19 pandemic in January 20221.1 Хронология и эпидемиология COVID-191.2 Статистика случаев и...
  3. Система типов Оглавление1 Type system1.1 Типы систем в программировании1.2 Примеры использования1.3 Типы и их значение1.4 Преимущества и недостатки1.5...
  4. Статистическая проверка гипотез Оглавление1 Проверка статистической гипотезы1.1 История проверки статистических гипотез1.2 Выбор нулевой гипотезы1.3 Современное происхождение и споры1.4 Философия...
  5. Статистическая проверка гипотез Оглавление1 Проверка статистической гипотезы1.1 История проверки статистических гипотез1.2 Выбор нулевой гипотезы1.3 Современное происхождение и споры1.4 Философия...
  6. Система типов Оглавление1 Система типов1.1 Системы типов в программировании1.2 Цели систем типов1.3 Пример системы типов: язык Си1.4 Теория...
  7. Хронология пандемии COVID-19 в феврале 2020 г. – Википедия Оглавление1 Timeline of the COVID-19 pandemic in February 20201.1 Хронология и эпидемиология COVID-191.2 Подтверждение аэрозольной передачи1.3...
  8. Хронология пандемии COVID-19 в январе 2020 года – Arc.Ask3.Ru Оглавление1 Timeline of the COVID-19 pandemic in January 20201.1 Хронология и эпидемиология COVID-191.2 Первые действия и...
  9. Принцип эквивалентности Оглавление1 Принцип эквивалентности1.1 Определение и история принципа эквивалентности1.2 Экспериментальные проверки1.3 Эксперименты Этвеша и современные тесты1.4 Проверка...
  10. Хронология пандемии COVID-19 в Новой Зеландии (2021 г.) – Arc.Ask3.Ru Оглавление1 Хронология пандемии COVID-19 в Новой Зеландии (2021 год)1.1 Хронология передачи COVID-19 в Новой Зеландии в...
  11. Проверка границ Оглавление1 Проверка границ1.1 Основы проверки границ в программировании1.2 Оптимизация компилятора и устранение проверки границ1.3 Проверка диапазона1.4...
  12. Хронология пандемии COVID-19 в сентябре 2021 года – Arc.Ask3.Ru Оглавление1 Timeline of the COVID-19 pandemic in September 20211.1 Хронология и эпидемиология COVID-191.2 Статистика случаев и...
  13. Шенгенская зона Оглавление1 Schengen Area1.1 История и структура Европейского Союза1.2 Основные институты ЕС1.3 Экономическая и финансовая политика ЕС1.4...
  14. Адекватное отношение эквивалентности Оглавление1 Адекватное отношение эквивалентности1.1 Определение адекватного отношения эквивалентности1.2 Примеры и свойства адекватных отношений эквивалентности1.3 Условия адекватного...
  15. Проверка модели Оглавление1 Проверка модели1.1 Основы проверки моделей1.2 Применение проверки моделей1.3 Методы проверки моделей1.4 Инструменты проверки моделей1.5 Рекомендации...
  16. Физическая проверка Оглавление1 Физическая проверка1.1 Физическая верификация ИС1.2 Проверка правил проектирования (DRC)1.3 Расположение в сравнении со схемой (LVS)1.4...
  17. Формальная проверка Формальная проверка Формальная верификация является ключевым стимулом для формальной спецификации систем и лежит в основе формальных...
  18. Категория:Смерти в 1993 году Оглавление1 Категория:Смертельные случаи в 1993 году – Википедия1.1 Биографический портал1.2 Категории и подкатегории1.3 Случаи смерти в...
  19. Категория:Смерти в 1995 году – Arc.Ask3.Ru Оглавление1 Категория:Смертельные случаи в 1995 году – Википедия1.1 Биографический портал1.2 Категории и подкатегории1.3 Случаи смерти по...
  20. Проверка приятеля Оглавление1 Проверка приятеля1.1 Buddy check: процедура проверки снаряжения1.2 Преимущества buddy check1.3 Цели и эффективность1.4 Процедуры проверки1.5...
  21. Испытание и проверка водолазных баллонов – Википедия Оглавление1 Тестирование и инспекция водолазных баллонов1.1 Проверка и тестирование переносных сосудов высокого давления1.2 Требования к проверке...
  22. Анализ последовательности Оглавление1 Анализ последовательности1.1 Основы анализа последовательностей1.2 Методы секвенирования1.3 Анализ экспрессии генов1.4 Анализ белковых последовательностей1.5 Браузеры генома1.6...

Оставьте комментарий