Вопросы радиоэлектроники. 2019; : 28-36
Многоуровневая система функциональной верификации высокоскоростной коммуникационной сети «Ангара» с топологией «многомерный тор»
https://doi.org/10.21778/2218-5453-2019-10-28-36Аннотация
Система верификации сверхбольших интегральных схем (СБИС) всегда требует компромиссных решений, поскольку между собой нужно увязать выделенное время на проект, доступные ресурсы, выбранные целевые показатели, назначенные различным функциональным возможностям приоритеты. На примере проекта по созданию первой отечественной высокоскоростной коммуникационной сети «Ангара» авторы показали, как использование многоуровневой системы функциональной верификации, а также системы параллельного запуска RTL-описания позволяет оптимально сбалансировать имеющиеся ресурсы для достижения поставленных целей за отведенное время. В результате применения данного подхода с первой итерации изготовления СБИС на фабрике был получен работоспособный и конкурентоспособный продукт. Благодаря гибкости созданной системы она без значительной переработки основного кода стала применяться для верификации сети «Ангара» следующего поколения.
Список литературы
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).
Issues of radio electronics. 2019; : 28-36
Multilevel verification environment of Angara interconnect
https://doi.org/10.21778/2218-5453-2019-10-28-36Abstract
Verification environment always is a tradeoff among many restrictions: project timelines, available resources, goals, and weights of implemented functionalities. While developing ASIC of first Russian interconnect, Angara, we show that by applying method of constructing multilevel verification environment it is possible to keep balance between available resources and reach project goals with dedicated timeline. Using of such method inAngaraASIC verification provided working and competitive product with single fabric manufacturing iteration. Due to the flexibility of the created system, it began to be used to verify the next-generationAngarainterconnect without significant processing of the main code.
References
1. UVM Community [Elektronnyi resurs]. URL: http://accellera.org/community/uvm (data obrashcheniya: 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 [Elektronnyi resurs]. URL: https://www.cadence.com/content/dam/cadence-www/global/en_US/documents/tools/system-design-verification/maximizing-metric-driven-ver-wp.pdf (data obrashcheniya: 03.08.2019).
4. Ace Verification Corp. Coverage driven verification [Elektronnyi resurs]. URL: http://www.aceverification.com/Glossary/CoverageDrivenVerification.htm (data obrashcheniya: 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 [Elektronnyi resurs]. URL: https://en.wikipedia.org/wiki/Virtual_prototyping (data obrashcheniya: 03.08.2019).
События
-
Журнал «Літасфера» присоединился к Elpub! >>>
22 июл 2025 | 11:00 -
К платформе Elpub присоединился журнал «Труды НИИСИ» >>>
21 июл 2025 | 10:43 -
Журнал «Успехи наук о животных» присоединился к Elpub! >>>
18 июл 2025 | 12:37 -
Журнал «Наука. Инновации. Технологии» принят в DOAJ >>>
17 июл 2025 | 12:17 -
К платформе Elpub присоединился журнал « Библиотечный мир» >>>
15 июл 2025 | 12:17