Scientific and Technical Journal

ELECTROTECHNIC AND COMPUTER SYSTEMS

ISSN Print 2221-3937
ISSN Online 2221-3805
MODELS OF ON-LINE TESTING A BITWISE PIPELINE SYSTEM
Abstract:

Shortcomings of array structures of the modern pipeline computer systems are analyzed, including information managing directors of system of critical application. Feasibility of abbreviation of array structures justifies need of development of resources – models, methods and means – for on-line testing of bitwise pipeline system. On the basis of resource approach the models determining further enhancement of methods and means of on-line testing of bitwise pipelines including models of data and a result, an operation and data access are offered and develop. The data model which gained development from integer numbers to approximate ones in floating point formats distinguishes most and least significant bits in which faults of digital circuits cause respectively essential and inessential errors in relation to trustworthiness of result. In order to detect essential errors, the models are developed for methods checking the calculated results by inequalities. The model of operation determines accessibility of result to its assessment by methods and means of on-line testing. Result models, serving for it by the lower and upper boundaries, are defined and evaluated, following from restrictions which are superimposed on operands by the used data formats. Models of data access formalize procedures of a choice of operands and results for verification of check ratios in bitwise pipeline systems. Models are considered for key operation of approximate calculations – multiplication, and also for inverse operation of division.

Authors:
Keywords
DOI
References
1.    Nicolaidis, M., Nicolaidis, M., Zorian Y. 1998,  On-Line Testing for VLSI – a Compendium of Approaches. Electronic Testing: Theory and Application (JETTA). Journal of Electronic Testing: Theory and Applications. vol. 12, pp. 7–20.
2.    Drozd, J., Drozd, A. 2013,  Models, methods and means as resources for solving challenges in co-design and testing of computer systems and their components. Proceedings of the Ninth International Conference on Digital Technologies. Zhilina, Slovak Republic, pp. 176–180.
3.    Drozd,J., Drozd,A., Antoshchuk,S. 2017,  Green IT engineering in the view of resource-based approach. In book: Green IT Engineering: Concepts, Models, Complex Systems Architectures, Studies in Systems, Decision and Control, V. Kharchenko,      Y. Kondratenko, J. Kacprzyk (Eds.), vol. 74. Berlin, Heidelberg: Springer International Publishing,        pp. 43–65.
4.    Drozd, J., Drozd, A., Antoshchuk, S., Kushnerov, A., Nikul, V. 2015, Effectiveness of Matrix and Pipeline FPGA-Based Arithmetic Components of Safety-Related Systems. Proceedings of the 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. Warsaw, Poland,        pp. 785–789.
5.    Goldberg, D. 1991, What Every Computer Scientist Should Know About Floating-Point Arithmetic. ACM Computer Surveys. vol. 23, no 1, pp. 5–18.
6.     Kharchenko, V. S., Sklyar, V. V. 2008,  FPGA-based NPP I&C Systems: Development and Safety Assessment. RPC Radiy, NAU “KhAI” Publ., SSTC on Nuclear and Radiation Safety, 188 p.
7.     IEC 61508-1:2010. Functional safety of electrical / electronic / programmable electronic safety related systems – Part 1: General requirements. – Geneva: International Electrotechnical Commission, 2010.
8.     Drozd, M., Drozd, A. 2014,  Safety-Related Instrumentation and Control Systems and a Problem of the Hidden Faults. Proceedings of the 10th International Conference on Digital Technologies. Zhilina, Slovak Republic, pp. 137–140.
9.    Drozd, A., Lobachev, M., Drozd, J.2006, The problem of on-line testing methods in approximate data processing. Proceedings of 12th IEEE International On-Line Testing Symposium. Como, Italy, pp. 251–256.
10. IEEE Std 754™-2008 (Revision of IEEE Std 754-1985) IEEE Standard for Floating-Point Arithmetic. IEEE 3 Park Avenue New York, NY 10016–5997, USA, 2008.
11. Drozd, A., Antoshchuk, S. 2011,  New on-line testing methods for approximate data processing in the computing circuits. Proceedings of IEEE 6th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. Prague, Czech Republic, pp. 15–17.
Published:
Last download:
2017-11-20 23:37:49

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014. Any use of information from the site is possible only under the condition that the source link! ]
Яндекс.Метрика