Oracle Concepting in Programming  of the Design of Electronic Chips

Authors

  • Maksym Olehovych Zylevich National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” image/svg+xml Author

Keywords:

method, synthesis, intersubjective paradigm, oracle, oracle scheme, software environment, programming, Verilog

Abstract

Today, programming is one of the most actively developing technological areas in the world. Moreover, every year the degree of such development only increases, which is manifested in the deeper and more comprehensive penetration of different types of software products into different spheres of human life. This is an integral part of the process of technologicalization of the modern world. Speaking of the development of programming, it is believed that the theory of programming is studied and researched at a fairly high level. Undoubtedly, the process of creating a program uses generally defined algorithms, structures, approaches, and methods, but these are common things that operate at the planning stages. When it comes to the specific process of creating a piece of code that a particular person is involved in, this is where all the excessive subjectivization manifests itself. After all, each such person when writing code is guided by their experience, which is determined by education, knowledge, skills, worldview, and other components. To solve the problem associated with such excessive subjectivization, it is advisable to replace the generally accepted individual-subject paradigm, which involves defining the program through its creator, with intersubjective, in which the process of creating a program is the object of study and the subject itself a program that is the embodiment of a plan for this process. One of the methods of solving this problem, according to the concept-monad model, is the use of the oracle concept. The purpose of this work is to further develop the principles of the adaptive technological environment of programming based on the intersubjective paradigm, through the use of the oracle concept in solving programming problems. To achieve the above goal, it is necessary to develop an algorithm for applying the oracle concept approach. Identify its features and prospects for further development. The implementation of this method in practice in some way unifies the process of software development, thereby reducing the impact of the active role of the subject and supports the implementation of the intersubjective paradigm. Conceptual ization is the process of creating a concept. A concept is a plan of a certain activity, aimed at solving a specific problem. That is, oracular structures should be understood as a set of certain elementary subtasks that have arisen as a result of conceptu alizing a specific programming task. To further develop the principles of an adaptive technological programming environment based on the intersubjective paradigm in solving programming problems, a method of applying the oracle concept approach has been developed and proposed. Representative examples show its features and prospects for further develop ment. The peculiarities include the fact that each subtask can be conceptualized as the simplest subtask. The implementation of this method in practice helps to unify the process of software product development, thereby reducing the impact of  the active role of the subject and supports the introduction of an intersubjective paradigm. Further research on this topic will focus on the expansion and research, factography, and development of relevant facts for oracle conceptualization as an effective means of unification of certain types of problems and developed on its basis reduction methods of programming. 

References

R. Harper, Practical foundations for programming languages, second edition. Cambridge University Press, 2016, ISBN: 9781316576892.

D. E. Knut, The art of computer programming. Fundamental Algorithms [Iskusstvo programmirovaniya. Osnovnyye algoritmy]. Moscow: Vyliams, 2006.

E. G. Husserl, Logical Studies. Cartesian Reflections. [Logicheskiye issledovaniya. Kartezianskiye razmyshleniya]. Minsk, 2000.

I. Redko, P. Yahanov, and M. Zylevich, “Concept-Monadic Model of Technological Environment of Programming,” in 2020 IEEE 2nd International Conference on System Analysis & Intelligent Computing (SAIC), 2020, pp. 1–5, DOI: https://doi.org/10.1109/SAIC51296.2020.9239204.

I. V. Redko and P. O. Yahanov, “CONCEPTUAL MODEL OF TECHNOLOGICAL ENVIRONMENT OF PROGRAMMING,” KPI Sci. News, no. 1, pp. 18–26, Mar. 2020, DOI: https://doi.org/10.20535/kpi-sn.2020.1.197953.

I. V. Redko, D. I. Redko, and T. L. Zakharchenko, Conceptual basis of programming. Kyiv, Ukraine: Komprynt, 2016.

B. A. Trakhtenbrot, Algorithms and computational mashines. Moscow, Russia: Sovetskoe radio, 1974.

D. L. Parnas, “On the Criteria To Be Used in Decomposing Systems into Modules,” Commun. ACM, vol. 15, no. 12, pp. 1053–1058, 1972.

G. S. Plesniewicz, D. E. Masherov, Nguen Thi Min Vu, and A. B. Karabekov, ““Binary Knowledge Model”: Specifying, instantiating, and interpreting advanced ontologies,” in 2015 9th International Conference on Application of Information and Communication Technologies (AICT), 2015, pp. 314–318, DOI: https://doi.org/10.1109/ICAICT.2015.7338570.

V. A. Pedroni, Finite State Machines in Hardware Theory and Design (with VHDL and SystemVerilog). 2013, ISBN: 9780262019668.

Published

2026-04-27

Issue

Section

Electronic Systems and Signals

How to Cite

[1]
M. O. Zylevich, “Oracle Concepting in Programming  of the Design of Electronic Chips”, Електрон. та Акуст. Інж., vol. 4, no. 1, pp. 227740–1 , Apr. 2026, Accessed: Jun. 30, 2026. [Online]. Available: https://ejournal.kpi.ua/index.php/eai/article/view/24