В работе рассматривается программная модель многофункционального блока тестирования, предназначенная для включения в проекты целевых устройств с целью обеспечения их тестопригодности. Представлена методика верификации RTL модели на стадии логического моделирования, направленная на обнаружение логических сбоев и поиск породивших их ошибок проектирования. Предлагается методология создания тестового окружения с самопроверкой, позволяющая проводить верификацию RTL модели в автоматическом режиме.
Ключевые слова: программная модель, верификация, тестирование, тестовое
окружение, тестопригодность, стандартная технология граничного сканирования
1. Demenkova T. A. Nikolaev S. A. Certifi cate on the State Registration of the Computer
Program No. 2012616301 11.07.2012. Program model of the Multipurpose Block of Support of Boundary — Scan Technology.
2. Gorodetsky A. Kurilan L. Testability Design of Schemes for Boundary Scanning.//Production of electronics. 2008, No. 1.
3. IEEE Standard Test Access Port and Boundary-Scan Architecture, IEEE Computer Society, IEEE, New York, IEEE Std 1149.1–2001.
4. Parker, K.P. The Boundary-Scan Handbook Second Edition: Analog and Digital. - NY:
Kluwer Academic Publishers, 2002.
5. Rustinov V., Gorodetsky A. Divide and Dominate - the Principle of Boundary
Scanning. // ChipNews 2001, No. 6.