Preview

Труды НИИСИ

Расширенный поиск

Использование метода косимуляции при разработке высокопроизводительных микропроцессоров

Аннотация

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

Об авторах

А. Г. Ворсин
ФГУ ФНЦ НИИСИ РАН
Россия

+7(962)403-51-87

Москва



А. В. Шумаков
ФГУ ФНЦ НИИСИ РАН
Россия

+7(916)235-27-67

Москва



К. А. Петров
ФГУ ФНЦ НИИСИ РАН
Россия

+7(926)145-88-93

Москва



П. С. Зубковский
ФГУ ФНЦ НИИСИ РАН
Россия

+7(495)719-78-49

Москва



Список литературы

1. Robert G. Sargen, Verification and validation of simulation model, IEEE 2011.

2. Harry D. Foster, 2018 FPGA Functional Verification Trends, IEEE 2018.

3. Ney Calazans, Edson Moreno, Fabiano Hessel, Vitor Rosa, Fernando Moraes, Everton Carara, From VHDL Register Transfer Level to SystemC Transaction Level Modeling: a Comparative Case Study, IEEE 2003.

4. Maddu Karunaratne, A. Sagahayroon, RTL fault modeling, IEEE 2005.

5. Claudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Co-Simulation: A Survey, 2018 ACM Computing Surveys.

6. Fabrice Bellard, QEMU, a Fast and Portable Dynamic Translator, DBPL 2005.

7. IEEE Standard for SystemVerilog — Unified Hardware Design, Specification, and Verification Language, 901-915, IEEE 2013.


Рецензия

Для цитирования:


Ворсин А.Г., Шумаков А.В., Петров К.А., Зубковский П.С. Использование метода косимуляции при разработке высокопроизводительных микропроцессоров. МАТЕМАТИЧЕСКОЕ И КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ СЛОЖНЫХ СИСТЕМ: ТЕОРЕТИЧЕСКИЕ И ПРИКЛАДНЫЕ АСПЕКТЫ. 2022;12(4):68-72.

For citation:


Vorsin A.G., Shumakov A.V., Petrov K.A., Zubkovskiy P.S. Using the Cosimulation Method in High-Performance Microprocessors Development. МАТЕМАТИЧЕСКОЕ И КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ СЛОЖНЫХ СИСТЕМ: ТЕОРЕТИЧЕСКИЕ И ПРИКЛАДНЫЕ АСПЕКТЫ. 2022;12(4):68-72. (In Russ.)

Просмотров: 13


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2225-7349 (Print)
ISSN 3033-6422 (Online)