Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2022, том 34, выпуск 5, страницы 23–42
DOI: https://doi.org/10.15514/ISPRAS-2022-34(5)-2 (Mi tisp719) 		 
Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле

А. В. Гаращенкоab, Д. С. Лашинаca, С. А. Никитинba, А. В. Николаевa, Е. А. Прокопьевab, Ф. М. Путряa, Б. Н. Цыренжаповab

a АО НПЦ «ЭЛВИС»
b Национальный исследовательский университет "МИЭТ"
c Национальный исследовательский ядерный университет "МИФИ"
PDF полного текста (501 kB)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(5)-2
Аннотация: В статье рассматривается опыт и оценивается возможность применения свободного, открытого и собственного САПР в маршруте верификации СнК со степенью интеграции в миллиарды транзисторов, изначально базирующемся на коммерческих пакетах от "большой тройки". Предлагается подход к оценке пригодности конкретного САПР для заданного этапа маршрута верификации, основанный на формальном описании этапа и требований к средствам автоматизации для выбранного этапа. Приводятся собственные решения, внедренные в компании, являющиеся альтернативой коммерческим решениям или уникальными разработками. На основе предложенного подхода проведен анализ существующих средств автоматизации с точки зрения применимости в маршруте верификации современных СнК.
Ключевые слова: функциональная верификация, маршрут, система на кристалле, средства автоматизации, САПР, ПО с открытым исходным кодом, свободное ПО
Тип публикации: Статья
Образец цитирования: А. В. Гаращенко, Д. С. Лашина, С. А. Никитин, А. В. Николаев, Е. А. Прокопьев, Ф. М. Путря, Б. Н. Цыренжапов, “Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле”, Труды ИСП РАН, 34:5 (2022), 23–42
Цитирование в формате AMSBIB
\RBibitem{GarLasNik22}
\by А.~В.~Гаращенко, Д.~С.~Лашина, С.~А.~Никитин, А.~В.~Николаев, Е.~А.~Прокопьев, Ф.~М.~Путря, Б.~Н.~Цыренжапов
\paper Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле
\jour Труды ИСП РАН
\yr 2022
\vol 34
\issue 5
\pages 23--42
\mathnet{http://mi.mathnet.ru/tisp719}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(5)-2}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp719
  • https://www.mathnet.ru/rus/tisp/v34/i5/p23
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:21
    PDF полного текста:5
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024