Методика синтеза тестов аппаратуры по спецификациям на языке UML

Abstract

UML (Unified Modeling Language 2.0) is considered in this paper as a hardware specification design language, and behavioral tests of hardware can be obtained from these specifications. UML is proposed to be used in the beginning and in the middle of the design route of hardware systems, when their structure and functionality as a control signal flow is defined. These specifications are the documents that developers use to create an RTL design of a system, and the developed method is used to verify matching of an RTL and UML designs. This check is performed via test generation based on UML specifications.