Methods for automating the design of easily tested computer systems and devices based on digital automata
Journal Title: Інформаційно-керуючі системи на залізничному транспорті - Year 2018, Vol 23, Issue 4
Abstract
The relevance of the work is to provide minimal additional hardware costs during design automation of easy-tested digital devices, which are represented by models of control finite state machines on hardware description languages. To develop procedures of models’ constructing of easy-tested control finite state machines on hardware description languages and estimate hardware costs for different methods of hardware redundancy introduction to HDL-models of finite state machines. The introduction to HDL-models of control finite state machines, which are presented in the form of the FSM template, hardware redundancy (additional fragments of the HDL-code), providing the forcing setting of finite state machine into an arbitrary state without the use of synchronizing sequences. For implementation of this approach, the method of FSM's state table extending is applied, which ensures the mode of bypassing of all nodes of FSM' state diagram in the diagnostic mode. Simulation of extended VHDL-models of the control FSM using Active-HDL confirmed the operability of this approach. Synthesis of these models using CAD XILINX ISE confirmed the receipt of testable structures and showed the minimum hardware costs for the method associated with the extension of the state table, in comparison with the organization of the shift register in the Scan Path mode. The task of computer-aided design of testable control finite state machine on the basis of application of FSM’ setting methods into given state is solved in the work. The optimal way of the setting organization into an arbitrary state of the control FSM is to expand the state table, which improves the controllability of FSM' states and leads to the structure' transformation of their HDL-models into easy-tested ones. The scientific novelty of the work is the transformation of control FSM’ models on hardware description languages, which is realized by introduction of the additional symbol to the state table, providing the settings of the FSM into an arbitrary state without the use of synchronizing sequences. The practical significance of obtained results is to confirm the optimality, in terms of additional hardware costs, of the setting method of the control FSM into an arbitrary state by introducing the additional symbol into the state table.
Authors and Affiliations
M. Miroshnyk, L. Klymenko, Y. Pakhomov
Keywords
Related Articles
- EP ID EP498475
- DOI 10.18664/ikszt.v0i4.141711
- Views 140
- Downloads 0
Formation of the information and control system of strategic planning of speed passenger transportation on railway transport
An analysis of the implementation of recent projects to increase the speed of passenger trains in the existing system of managing rail passenger transportation in Ukraine allows us to draw the following conclusions: deci...
Software implementation features of bioinspired method of soft decoding linear block codes
The important part of many telecommunication technologies are linear block codes. The use of soft decoding can increasing the effectiveness of these codes. The expediency of application bioinspired approach for soft deco...
Energy characteristics of single-phase active current-source rectifier with sinusoidal and trapezoidal pulse-width modulation
A high power factor (more than 0.9) of AC electric locomotive with traction DC motors can be obtained using traction converters with full-controlled IGBT transistors. Now the actual task is the development of energy-effi...
Research of the possibility of using neural networks in the tests of locomotive hydraulic transmissions
The possibility of developing a self-diagnostics system of the diesel locomotives hydraulic transmissions information-measuring test system is researched. The use of neural networks and fuzzy logic for the development of...
The Research of modern methods and means of high-speed diagnostics of railway rails defects (Review)
The task of mobile railway tracks defects diagnostics is to identify and recognize dangerous defects in order to prevent possible accidents. A review of the methods for controlling the physical and mechanical characteris...