Verification tests generation features for microprocessor- based structures

Krivoulya, G. F.; Shkil, A. S.; Syrevitch, Ye.; Antipenko, O.

Публікація:
Verification tests generation features for microprocessor- based structures

dc.contributor.author	Krivoulya, G. F.
dc.contributor.author	Shkil, A. S.
dc.contributor.author	Syrevitch, Ye.
dc.contributor.author	Antipenko, O.
dc.date.accessioned	2016-09-06T09:16:49Z
dc.date.available	2016-09-06T09:16:49Z
dc.date.issued	2004
dc.description.abstract	A model of a microprocessor - based device as a bichromatic multidigraph with vertexes of two types is offered. Test generation features for functional testing using the updated algorithm of path activation in a structural model are described. The range method of data representation of different format data is introduced. Algorithms for execution of direct implication and backtracing of different types of operations and their program realization are represented. All set of methods of the determined test generation for digital devices can be divided into two large groups: structural and functional. Originally structural methods were oriented to a gate level of model performance of digital devices. However growth of complexity and rise of a component integration have led to a fact that models of increased integration elements began to be applied as the primitive elements (PE) of devices [1,2]. To the advantages of such approach it is possible to refer simple construction of a model of the device and formalizing of test generation procedures, and to the lacks - large dimension of a device model; and difficulties on creation and maintaining of the library of PE models, which can contain hundreds components. With the purpose of overcoming these lacks the functional approach to construction of the tests was developed and has received a wide circulation [3, 4]. It can be used for digital devices of any complexity, including microsystems with program and microprogram control, as it allows receiving high level models of such devices. However functional methods are badly formalized because different types of function boxes, such as control block, operational block, address block etc. are present in microsystems. It is not obviously possible to formalize the method, which would have a possibility to handle so heterogeneous types of devices on the basis of the uniform approach. In the given work the method of tests generation which is further development of the functional approach is offered. On a design stage of the digital device its decomposition on so-called homogeneously tested segments is carried out. The authors consider a method of tests generation for one of types of segments, namely, for the operational device (OD).	uk_UA
dc.identifier.citation	Syrevitch Yevgeniya Verification tests generation features for microprocessor- based structures/Gennadiy Krivulya, Alexandr Shkil, Yevgeniya Syrevitch, Olga Antipenko //Proceedings of East-West Design & Test Workshop (EWDTW’04)	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2136
dc.language.iso	en	uk_UA
dc.publisher	EWDTW	uk_UA
dc.subject	design verification and validation	uk_UA
dc.subject	test generation	uk_UA
dc.subject	multibit implication	uk_UA
dc.subject	range method	uk_UA
dc.subject	HDL	uk_UA
dc.title	Verification tests generation features for microprocessor- based structures	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication