Preview

Труды Института системного программирования РАН

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

Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций

Полный текст:

Аннотация

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

Об авторе

М. М. Чупилко
ИСП РАН
Россия


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

1. J. Bergeron. Writing Testbenches Using SystemVerilog. Springer Media, 2006.

2. IEEE Standard SystemC Language Reference Manual. IEEE Std 1666-2005

3. IEEE Standard for SystemVerilog — Unified Hardware Design, Specification, and Verification Language. IEEE Std 1800-2009.

4. А.C. Камкин, Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций, диссертация на соискание уч.ст. к.ф.-м.н., Москва, 2009.

5. http://www.unitesk.ru

6. S. Iman. Step-by-step Functional Verification with SystemVerilog and OVM. Hansen Brown Publishing Company, 2008.

7. S. Ur, Y. Yadin. Micro architecture coverage direction generation of test programs. Proceedings of DAC, 1999.

8. P. Mishra, N. Dutt. Functional coverage driven test generation for validation of pipelined processors. Proceedings of DATE, 2005.

9. R. Ho, C. Yang, M. Horowitz, D. Dill. Architecture validation for processors. Proceedings of ISCA, 1995.

10. TLM-2.0 Reference Manual, http://www.systemc.org/downloads/standards/

11. M. Chupilko, A. Kamkin, D. Vorobyev. Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. Proceedings of SYRCOSE, 2008.

12. M. Chupilko, A. Kamkin. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs. Proceedings of NorChip, 2009.


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


Чупилко М.М. Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций. Труды Института системного программирования РАН. 2010;18.

For citation:


Chupilko. M.M. Formal specifications-based automation of system testing of hardware designs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;18. (In Russ.)

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


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


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)