Многоуровневая система функциональной верификации высокоскоростной коммуникационной сети «Ангара» с топологией «многомерный тор»
Аннотация
Система верификации сверхбольших интегральных схем (СБИС) всегда требует компромиссных решений, поскольку между собой нужно увязать выделенное время на проект, доступные ресурсы, выбранные целевые показатели, назначенные различным функциональным возможностям приоритеты. На примере проекта по созданию первой отечественной высокоскоростной коммуникационной сети «Ангара» авторы показали, как использование многоуровневой системы функциональной верификации, а также системы параллельного запуска RTL-описания позволяет оптимально сбалансировать имеющиеся ресурсы для достижения поставленных целей за отведенное время. В результате применения данного подхода с первой итерации изготовления СБИС на фабрике был получен работоспособный и конкурентоспособный продукт. Благодаря гибкости созданной системы она без значительной переработки основного кода стала применяться для верификации сети «Ангара» следующего поколения.
Об авторах
А. С. Симонов
АО «Научно-исследовательский центр электронной вычислительной техники»
Россия
Россия
Симонов Алексей Сергеевич, кандидат технических наук, первый заместитель генерального директора
117587, Москва, Варшавское шоссе, д. 125
Д. В. Мошкин
АО «Научно-исследовательский центр электронной вычислительной техники»
Россия
Россия
Мошкин Денис Владимирович, начальник сектора верификации отдела разработки СБИС
117587, Москва, Варшавское шоссе, д. 125
Список литературы
1. UVM Community [Электронный ресурс]. URL: http://accellera.org/community/uvm (дата обращения: 03.08.2019).
2. Swan S. SystemC transaction level models and RTL verification // 43rd ACM/IEEE Design Automation Conference. San Francisco, USA, 2006. P. 90–92.
3. Heaton N. Maximizing verification effectiveness using MDV [Электронный ресурс]. URL: https://www.cadence.com/content/dam/cadence-www/global/en_US/documents/tools/system-design-verification/maximizing-metric-driven-ver-wp.pdf (дата обращения: 03.08.2019).
4. Ace Verification Corp. Coverage driven verification [Электронный ресурс]. URL: http://www.aceverification.com/Glossary/CoverageDrivenVerification.htm (дата обращения: 03.08.2019).
5. Benveniste C., Heidelberger P. Parallel simulation of the IBM SP2 interconnection network // Winter Simulation Conference Proceedings. Arlington, USA, 1995. P. 584–589.
6. Adiga N. R., et al. Blue Gene/L torus interconnection network // IBM Journal of Research and Development. 2005. Vol. 49. No. 2.3. P. 265–276.
7. Virtual prototyping [Электронный ресурс]. URL: https://en.wikipedia.org/wiki/Virtual_prototyping (дата обращения: 03.08.2019).
Для цитирования:
Симонов А.С., Мошкин Д.В. Многоуровневая система функциональной верификации высокоскоростной коммуникационной сети «Ангара» с топологией «многомерный тор». Вопросы радиоэлектроники. 2019;(10):28-36. https://doi.org/10.21778/2218-5453-2019-10-28-36
For citation:
Simonov A.S., Moshkin D.V. Multilevel verification environment of Angara interconnect. Issues of radio electronics. 2019;(10):28-36. (In Russ.) https://doi.org/10.21778/2218-5453-2019-10-28-36
Просмотров: 255
Послать статью по эл. почте 
