Застосування оракульного концептування при програмуванні дизайну електронних мікросхем
Ключові слова:
метод, синтез, інтерсуб’єктивна парадигма, оракул, оракульна схема, програмування, VerilogАнотація
У роботі запропоновано розширення принципів адаптивного середовища програмування на основі дослідження інтерсуб’єктивної парадигми шляхом розв’язання програмістських задач з використанням оракульного концептування. Для цього детально розглянуто, що являє собою оракульне концептування, на репрезентативних прикладах показано його використання для вирішення як загального класу задач, так і вузькоспеціалізованих програмістських задач. Розглянуто схему впровадження та реалізації цього методу при розробці цифрового дизайну інтегральних мікросхем. Реалізація даного методу на практиці певним чином уніфікує процес розробки програмного продукту, тим самим зменшує вплив активної ролі суб’єкта і підтримує впровадження інтерсуб’єктивної парадигми.
Посилання
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.
Завантаження
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2026 Максим Олегович Зилевіч (Автор)
Ця робота ліцензується відповідно до ліцензії Creative Commons Attribution-NonCommercial 4.0 International License.
Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:
- Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
- Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.
- Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).
