Testability Increasing Method by Introducing Hardware Redundancy in the Easy-tested Finite State Machines

Мирошник, М. А.; Галкін, П. В.; Зайченко, О. Б.; Цехмистро, Р. И.

Публікація:
Testability Increasing Method by Introducing Hardware Redundancy in the Easy-tested Finite State Machines

dc.contributor.author	Мирошник, М. А.
dc.contributor.author	Галкін, П. В.
dc.contributor.author	Зайченко, О. Б.
dc.contributor.author	Цехмистро, Р. И.
dc.date.accessioned	2019-09-27T08:32:02Z
dc.date.available	2019-09-27T08:32:02Z
dc.date.issued	2019
dc.description.abstract	Testability increasing methods by introducing hardware redundancy into the circuit implementation are sufficiently developed and widely used in the design. Since the construction of the testing sequence is based on the use of automaton diagrams, it eliminates the need to analyze the circuit implementation of the remote control when building a diagnostic experiment. This approach allows us to extend the class of detectable faults, which in structural-analytical test generation methods is limited, as a rule, to a multitude of single constant faults. The use of automaton models in the construction of tests allows to detect any malfunction that changes the automaton diagram of a serviceable remote control and does not increase the number of states of remote control memory elements. There was described finite state machine using hardware description language. The method of computer-aided design of the easytested control FSM by introducing the hardware redundancy is presented in the paper. The FSM model is represented in VHDL in the form of the FSM template. The solution way is to add additional fragments of the VHDL code, which ensure the forced setting of the FSM into an arbitrary state without the use of synchronizing sequences. The use of the shift register in the memory part of the control FSM for organizing the path scanning was considered. The method of FSM state table expansion, which ensures the mode of bypassing all nodes of the FSM’ state diagram in the diagnostic mode was proposed.	uk_UA
dc.identifier.citation	Marina Miroshnyk, Pavlo Galkin, Olga Zaichenko, Roman Tsekhmistro. Testability Increasing Method by Introducing Hardware Redundancy in the Easy-tested Finite State Machines. // First International Scientific and Practical Conference «Theoretical and Applied Aspects of Device Development on Microcontrollers and FPGAs» MC&FPGA-2019, Kharkiv, Ukraine, July 26-27, 2019. – Kharkiv: NURE, MC&FPGA, 2019. – P. 9-11. DOI: 10.35598/mcfpga.2019.002	uk_UA
dc.identifier.uri	https://mcfpga.nure.ua/conf/2019-mcfpga/10-35598-mcfpga-2019-002
dc.identifier.uri	https://doi.org/10.35598/mcfpga.2019.002
dc.identifier.uri	http://openarchive.nure.ua/handle/document/9824
dc.language.iso	en	uk_UA
dc.publisher	NURE, MC&FPGA	uk_UA
dc.subject	asy tested finite state machine	uk_UA
dc.subject	Hamiltonian cycle	uk_UA
dc.subject	distinguishing sequence	uk_UA
dc.subject	homing sequence	uk_UA
dc.subject	shift register	uk_UA
dc.title	Testability Increasing Method by Introducing Hardware Redundancy in the Easy-tested Finite State Machines	uk_UA
dc.type	Thesis	uk_UA
dspace.entity.type	Publication