Oracle Concepting in Programming of the Design of Electronic Chips
Keywords:
method, synthesis, intersubjective paradigm, oracle, oracle scheme, software environment, programming, VerilogAbstract
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.
Downloads
Published
Issue
Section
License
Copyright (c) 2026 Максим Олегович Зилевіч (Автор)

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).