Перегляд за автором "Filippenko, I. V."
Зараз показано 1 - 5 з 5
Результатів на сторінку
Варіанти сортування
Публікація Analysis of the state diagram correctness of automatic logic control systems on FPGA paper(2019) Shkil, O. S.; Rakhlis, D. Y.; Kulak, E. M.; Filippenko, I. V.; Miroshnyk, M. M.; Hoha, M. V.The work is dedicated to verification of automatic logic control systems by analyzing the correctness of state diagrams of control finite state machines which are represented in the form of the code in the hardware description language. As a method for state diagram analysis the, it is proposed to use the concept of orthogonality, as a system of incompatible events. Analysis of the correctness is carried out by analysis the results of behavioral modeling and logical synthesis using CAD tools.Публікація Models for SoC Infrastructure of Radio Frequency Identification with Code-Division Multiple(EWDTS, 2012) Filippenko, I. V.; Hahanova, I. V.; Filippenko, I. O.; Maksimov, M.; Chugurov, I. N.Application of the direct spread spectrum technology to radio frequency identification system for solving problems of speed, reliability and electromagnetic compatibility is considered. The models of systems-on-chips for tag and reader of RFID systems with code-division multiple, based on technology of direct spread spectrum, are proposed. Nowadays, the most promising technology for automatic identification is radio frequency identification (RFID), when data is transferred without any mechanical contact between the devices. Contactless identification technologies correspond to all the requirements of computer control systems, where recognition and registration of objects are realized in real time. Modern infrastructure of RFID systems (Fig. 1) involves readers, tags and various protocols, which allow integrating the system in global information networks and variety of applications of enterprise levels. In addition, the infrastructure can also include other devices, such as bar code readers, input/output devices, for instance label printers, motion detectors, photo sensors. Transponder and reader communicate with each other by using radio frequency channel. Wireless data channel is the most vulnerable link in the system, because the data transmitted by radio channel, may be intercepted. Also the problem of electromagnetic compatibility of various wireless devices is important. This paper is devoted to solving this problem through the creation of models of systems-on-chips for tag and reader by using the direct spread spectrum technology (CDMA).Публікація Quantum Technology for Analysis and Testing Computing Systems(EWDTS, 2013) Gharibi, W.; Hahanov, V. I.; Anders, C.; Hahanova, I. V.; Filippenko, I. V.A theory of quantum models, methods and algorithms for improving the performance of existing software and hardware tools for analysis and synthesis of digital computing devices by increasing the dimension of the data structures and memory are proposed. The basic concepts, terminology and definitions are introduced, which are necessary for the understanding the theory and practice of quantum computation. In recent years quantum computing becomes interesting for analyzing cybernetic space, developing cloud Internet technologies, which is explained by their alternativeness to the existing models of computing processes. Market feasability of quantum methods and qubit models is based on the high parallelism when solving almost all discrete optimization problems, factorization, minimization of Boolean functions, effective compression of data, their compact representation and teleportation, fault-tolerant design through significant increase in hardware costs. But now it is acceptable, because of nano-electronic technologies propose now up to 1 billion gates, located on a chip of the dimension 2х2 sm with the substrate thickness 5 microns. At that modern technologies allow creating a package (sandwich) containing up to 7 dies, which is comparable with the quantity of the human brain neurons. Practically wireless connection of such chips is based on through-silicon vias (TSV) - the technological capability of drilling about 10 thousand through vias in 1 square centimeter of wafer or die. In addition, the emergence of FinFET transistors and 3D-technology based on them for implementation of digital systems provide almost unlimited hardware capabilities to researchers for creating new parallel computing devices. So, it is necessary to use hardware-focused models and methods for creating high-speed tools for parallel solving real world problems. Discreteness and multiple-valuedness of the alphabets for describing information processes, the parallelism, inherent in the quantum computing, are particularly important when developing effective and intelligent engines for cyberspace, cloud structures and services of Internet, and tools for synthesis of fault-tolerant digital devices, testing and simulation of digital systems-on-chips, technologies for information and computer security . We do not consider the physical basis of quantum computing, originally described in the works of scientists, focused on the use of non-deterministic quantum interactions within the atom. We do not address the physical foundations of quantum mechanics, concerning non-deterministic interactions of atomic particles, but we use the concept of information quantum as a joint definition of the power set (the set of all subsets) of states for the discrete cyberspace area that provides the high parallelism level of the proposed quantum models and methods.Публікація Testable design of control digital automatic machines(2020) Shkil, O. S.; Rakhlis, D. Y.; Kulak, E. M.; Filippenko, I. V.; Miroshnyk, M. M.Abstract—The aim of the work is to analyze hardware costs of ensuring the testability of finite state machines with various options for organizing an additional transition between FSM’s states depending on the presence of an unconditional transition, a conditional transition, and the absence of transitions between states of analyzed FSM. The conclusion on additional hardware costs is made on the basis of a comparison of synthesis results of testable HDL-models by means of CAD FPGA. The paper solved the problem of computer-aided design of testable control FSM based on the application of methods for setting FSM in a given state. The best way to organize additional transitions during setting of control FSM in an arbitrary state is the transition for which the total hardware cost estimate for the excitation functions is minimal, taking into account the coding of FSM’s states.Публікація Verification of FPGA control systems by analyzing the correctness of state diagrams(2020) Shkil, O. S.; Rakhlis, D. Y.; Kulak, E. M.; Filippenko, I. V.; Miroshnyk, A. M.; Miroshnyk, M. M.The work is dedicated to verification of automatic logic control systems by analyzing the correctness of state diagrams of control finite state machines which are represented in the form of the code in the hardware description language. As a method for state diagram analysis the, it is proposed to use the concept of orthogonality, as a system of incompatible events. Analysis of the correctness is carried out by analysis the results of behavioral modeling and logical synthesis using CAD tools.