• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Generation of Synthesizable Verilog Code From Natural Language Specifications
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
October 8, 2026
HSE Experts Take Part in 23rd Annual Meeting of Valdai Discussion Club
The 23rd Annual Meeting of the Valdai Discussion Club was held from September 28 to October 1, 2026 under the theme ‘Responsibility for the Future: Limits of the Possible, or Limitless Possibilities?’ The forum brought together 120 experts from 40 countries, including representatives of China, the United States, India, Brazil, the United Kingdom, Germany, Egypt, Iran, and Japan.
October 7, 2026
‘Our Team Consists of True Leaders in Their Respective Academic Disciplines
The HSE International Centre of Decision Choice and Analysis studies a wide range of methods for analysing decision-making and possible scenarios for the development of natural, socio-economic, and political phenomena using various mathematical models. The application of advanced mathematical methods to forecasting helps to prevent negative outcomes and avoid erroneous decisions. The HSE News Service spoke to the centre’s director, Prof. Fuad Aleskerov, about its work.
October 6, 2026
International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod Brings Together Scientists from Russia and Serbia
The International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod’ was held at the Nizhny Novgorod House of Scientists from September 23 to 26. The event was organised by HSE University–Nizhny Novgorod and the Nizhny Novgorod House of Scientists, with the participation of Sberbank and the Institute of Physics Belgrade. The symposium was held for the second time: the first conference took place in 2025 and attracted considerable interest from the academic community.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Generation of Synthesizable Verilog Code From Natural Language Specifications

IEEE Access. 2026. Vol. 14. P. 4990–5001.
Daniil S. Yashchenko, Aleksandr Y. Romanov, Artur A. Ziazetdinov, Telpukhov D., Roman A. Solovyev

This study presents a method for generating synthesizable Verilog code for digital integrated circuits directly from natural-language specifications. The approach combines large language models with parameter-efficient fine-tuning (specifically, Low-Rank Adaptation and Quantized Low-Rank Adaptation) together with a specialized corpus of specification-code pairs that covers common design patterns and varying task complexity. The pipeline includes automated compilation, simulation, and synthesizability checks to ensure that outputs are both syntactically correct and suitable for downstream tool flows. Evaluation is performed using the pass-at-k metric on the standardized VerilogEval benchmark. The fine-tuned models substantially improve functional correctness over untuned baselines, achieving task-level pass@3 of up to 0.88 on a controlled VerilogEval dataset, while reducing both syntax and logic errors. The results indicate that reliable Verilog code generation from natural language can be achieved under constrained compute budgets; in our setup, effective training and inference remained feasible on a single graphics processing unit. Beyond empirical gains, the method demonstrates practical value for design automation by shortening iteration cycles and lowering the effort needed to move from textual requirements to synthesizable hardware modules. Overall, the findings support the use of large language models, paired with targeted data and validation, as a viable pathway for Verilog code generation and for accelerating the development of complex digital devices.

Research target: Electronics and Electrical Engineering Computer Science
Language: English
Full text
DOI
Text on another site
Keywords: design automationhardware description languageVerilogAutomatic natural language processing artificial intelligenceautomatic programmingdigital integrated circuits
Publication based on the results of:
Methods and tools for the development and implementation of digital twins for electronic engineering (2025)
Similar publications
РАЗРАБОТКА МЕТОДА И АЛГОРИТМОВ АДАПТИВНОГО ФЕДЕРАТИВНОГО ОБУЧЕНИЯ С УЧЕТОМ РАСПРЕДЕЛЕННОГО ЗАПАЗДЫВАНИЯ КЛИЕНТСКИХ ОБНОВЛЕНИЙ
Zykov S. V., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Added: October 11, 2026
Человек и технический космос
Tulchinskii G. L., Философские науки 2026 Т. 68 № 6 С. 32–58
In the work, technology is considered as a special form of being, going beyond the utilitarian and instrumental understanding and forming a new ontological space. This space is described as a technocosmos or metacosmos: an autonomous and self-generating reality in which technologies do not simply serve human needs, but begin to constitute their own logic ...
Added: October 11, 2026
Effect of External Pressure and Quantum State on the Local Magnetization of Germanium Layers: Ab Initio Calculation.
Goncharov A., Chibisov A., Advanced Theory and Simulations 2023 Vol. 12 No. 13 Article 2200816
Designing stable quantum computers with the ability to correct errors responsibly requires a detailed understanding of the physical processes that underlie these devices. In this study, detailed quantum mechanical simulations of the atomic structure, charge distribution of electron density, and distribution and orientation of magnetic and quantum states as a function of applied external pressure ...
Added: October 11, 2026
Quantum-mechanical study of the optimal phosphorus atoms arrangement on silicene.
Chibisov A., Gnidenko A., Chibisova M. et al., FlatChem 2023 Vol. 41 Article 100533
Manufacturing precise quantum computers with small errors in quantum operations, long coherence times, and low power consumption is the most important challenge in modern nanoelectronics. To understand the operating modes of such calculators in detail, both the optimal arrangement of the qubit system within the structure and changes in its magnetic properties must be comprehensively ...
Added: October 11, 2026
Density functional theory investigation on fast storage of sodium and potassium in Ni2TeO6 as a novel promising cathode material.
Wu Z., Yu Y., Chibisov A., Materials Today Energy 2023 Vol. 37 Article 101414
The limited availability of lithium metal resources has led to the development of sodium/potassium-ion batteries due to the abundance and low cost of sodium/potassium. However, finding suitable cathode materials with high capacity, stable cycling performance, and efficient electrochemical interface is still challenging. Herein, the honeycomb layered structures of P2-type A2Ni2TeO6 (A = Na, K) have been explored ...
Added: October 11, 2026
Ab Initio Study of the Influence of Spin and Orbital Magnetic Moments on the Stability of Magnetic and Charge Distribution in Co:ZnO Monolayer.
Prokhorenko A., Chibisov A., Gnidenko A. et al., The Journal of Physical Chemistry Letters 2024 Vol. 15 No. 41 P. 10295–10300
The development of ultrathin magnets with tunable magnetic properties is essential for advancing quantum computing technologies. In this study, density functional theory (DFT) calculations were employed to investigate the atomic and electronic structures of a ZnO monolayer embedded with cobalt atoms. The impact of spin dynamics on charge transfer within the Co:ZnO system was thoroughly ...
Added: October 11, 2026
Quantum-mechanical prediction of the behavior of quantum trigger on a two-qubit cell of boron in silicene.
Chibisov A., Chibisova M., Modern Electronic Materials 2025 Vol. 71 P. 99–103
The problem of creating energy-efficient quantum computers capable of performing quantum operations without errors is a significant scientific challenge in modern nanoelectronics. This type of computer can be developed using quantum transistors that contain hole qubits and are capable of performing operations on them. Hole qubits are a promising technology for quantum computers due to ...
Added: October 11, 2026
Functionalized Graphene for Acetone Sensing in Human Breath: DFT Investigations.
Tyagi V., Srivastava A., Mangal A. et al., Surfaces and Interfaces 2025 Vol. 73 Article 107591
The present work reports the suitability of Functionalized graphene sheet as a sensing material for detecting the diabetes biomarker acetone from Exhaled breath. The adsorption of Acetone on Boron/Nitrogen doped graphene sheet has been investigated using the Density Functional theory (DFT). The interaction between acetone and the graphene surface has been investigated in terms of ...
Added: October 11, 2026
Effect of the Ordering of Sulfur Vacancies on the Electronic Properties of Molibdenum Disulfide Monolayers
Bulakh S., Chibisov A., Srivastava A., Russian Microelectronics 2026 Vol. 55 P. 311–315
The effect of sulfur vacancies on the electronic structure of a molybdenum disulfide (MoS2) monolayer has been studied using density functional theory (DFT) methods implemented in the VASP software package. The ideal structure and systems with one and two sulfur vacancies and various options of defect localization in the MoS2 structure have been discussed. A ...
Added: October 11, 2026
Nanoscale interconnects of gold, copper, and aluminium-based mono-silicide nanotubes for next generation integrated circuits.
Vangapandu E., Agrawal S., Kumar S. et al., Materials Science in Semiconductor Processing 2026 Vol. 211 Article 110752
Silicides are widely used as local interconnects in integrated circuits (ICs); thus, their nanostructures shall enjoy significant process compatibility with the IC technology. This work reports the utilization of Gold (Au), copper (Cu), and aluminium (Al)-based mono-silicide nanotubes (zig-zag (ZZ) and armchair (AC)) for nanoscale interconnect applications, through a material-device-circuit co-modelling approach. These nanotubes exhibit ...
Added: October 10, 2026
AI and the Transformation of Scientific Knowledge: Hybrid Expertise and the Limits of Collins's Theory
Filatova Asya, Epistemology and Philosophy of Science 2026 Vol. 63 No. 3 P. 56–66
This article proposes a rethinking of the role of artificial intelli-gence in contemporary science through an analysis of HarryCollins’s concept of expertise. The point of departure is the ob-served tension between normative accounts of expertise –grounded in ideas of socialisation, tacit knowledge and member-ship in a form of life – and the empirical practices in ...
Added: October 10, 2026
О воспроизводимости анализа временных рядов на основе матричных профилей
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
The matrix profile (MP) quickly became one of the most important time series preprocessing methods when it was introduced in 2016, facilitating the solution of a wide range of time series analysis problems, in particular anomaly and pattern detection problems. The high significance has led to the emergence of various tools for MP calculating, but ...
Added: October 9, 2026
Человеко-машинная система анализа и улучшения качества условий проживания населения
Aleskerov F. T., Вайншток А. П., Делахова А. М. et al., Информационные процессы 2026 Т. 26 № 3 С. 895–913
The development and effective management of territorial entities are priority issues for all states, particularly in the context of the digital transformation of public administration. Over the past decade, the integration of information technologies into municipal and regional planning has significantly altered approaches to strategic development, service delivery, and public engagement. This paper describes the ...
Added: October 9, 2026
Effects of Elevation Changes and Multilevel Structures on Vehicular Signal Propagation
Stepanyants V., Andrey V. Fizulin, Chibirov A. et al., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Reliable Vehicle-to-Everything (V2X) evaluation requires propagation models that represent terrain and multilevel infrastructure. Most integrated vehicular simulators still rely on planar models, but the magnitude of the resulting bias is unclear. This study quantitatively compares flattened two-dimensional (2D) and terrain-aware three-dimensional (3D) variants of three scenarios using identical Sionna RT settings. The pipeline combines OpenStreetMap ...
Added: October 8, 2026
Теоретические пределы обнаружения объектов в рассеивающих средах с использованием импульсного и непрерывного однофотонного лидара на основе сверхпроводниковых нанопроволочных детекторов
Ozhegov R., Махлуф М., Goltsman G. et al., Инженерная физика 2026 № 8 С. 27–39
This paper investigates the theoretical limits of object detection within isotropic scattering media using single-photon lidar. Within a simplified model, we derive the fundamental relationship between the maximum attainable detection range and the required photon count per pulse. Two distinct limiting regimes are analyzed: the ballistic photon regime, which maintains high spatial resolution but necessitates ...
Added: October 8, 2026
Volume 300: International Conference on Artificial Intelligence and Statistics, 2-5 May 2026, Hilton Tangier Al Houara Hotel, Morocco
PMLR, 2026.
Added: October 8, 2026
Автоматизированное построение математических теорий
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Added: October 7, 2026
Automated Ranking of Soybean Plots from Close-Range RGB Video via Depth Filtering and Point-Based Counting
Groshev Maksim, Rybakov Petr, Teterin N. et al., Sensors 2026 Article 6171
Manual assessment of soybean yield components, such as pod number, is laborious, time-consuming, and subjective. Existing computer-vision approaches based on object detection or instance segmentation perform poorly on close-range RGB imagery of soybean canopies due to severe occlusions, ambiguous plant boundaries, and the high cost of bounding-box annotation. To address these challenges, we propose a ...
Added: October 7, 2026
Decision support system for improving the quality of life of the population
Aleskerov F. T., Chaika E., Дерендяев А. Б. et al., Procedia Computer Science 2026 No. 287 P. 590–595
Under conditions of dynamic socio-economic changes, effective planning and decision-making are key factors in ensuring a high quality of life for the population in territories. This paper presents a decision support system for territorial administrations for the development and implementation of sustainable development strategies, using one of the regions of the Russian Federation – the ...
Added: October 7, 2026
Систематический обзор факторов принятия искусственного интеллекта студентами высших учебных заведений: образовательный контекст
Мухамедкаримова Д. Ф., Умуркулова М. М., Galyapina V. N. et al., Вестник Карагандинского университета. Серия Педагогика 2026 Т. 31 № 3 С. 69–77
Currently, artificial intelligence occupies a solid place among traditional pedagogical technologies and approaches, which is the subject of widespread discussion among domestic and foreign scientists and researchers. This is because the introduction of AI into higher education, despite its high potential, faces a wide range of economic, social, and ethical obstacles. These include resistance to ...
Added: October 6, 2026
Новые информационные технологии в исследовании сложных структур. Материалы шестнадцатой международной конференции 21–25 Сентября 2026 г.
Томск: Издательство Томского государственного университета, 2026.
Материалы сборника Шестнадцатой Международной конференции «Новые информационные технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на широкий круг специалистов, работающих на стыке теории информации, системного анализа и прикладных предметных областей. В издание вошли результаты исследований, посвящённые моделированию дискретных и стохастических структур управления и связи, разработке высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам цифровой трансформации образования, архитектурно-градостроительного проектирования,  экологического ...
Added: October 6, 2026
Отношение россиян к искусственному интеллекту
Roshchina Y., Strebkov D., Roshchin S. et al., В кн.: Вестник Российского мониторинга экономического положения и здоровья населения НИУ ВШЭ (RLMS‑HSE). Вып. 16Вып. 16.: М.: Национальный исследовательский университет "Высшая школа экономики", 2026. С. 102–123.
The article examines the level of awareness, patterns of usage, and prevailing attitudes toward Artificial Intelligence (AI) in Russia. The study relies on data from an AI‑related questionnaire incorporated into the 2024 round of the Russia Longitudinal Monitoring survey – Higher School of Economics (RLMSHSE) and Google/Ipsos Multi‑Country AI Survey carried out in 2023. The ...
Added: October 5, 2026
Modeling weather-resilient laser communication: PPM performance with SNSPD in satellite links
Merzlinkin V., Khmelev A. V., Севрюков Д. О. et al., St. Petersburg Polytechnical University Journal: Physics and Mathematics 2025 No. 3 P. 205–209
Laser communication using satellites represents a promising avenue for data transmission in geographically distant areas without advanced infrastructure. This approach is characterized by its high transmission rate and low power requirements, providing substantial benefits over optical fiber and radio communication. However, the optical channel should exhibit greater transparency for light transmission, resulting in a severely restricted application of this technique for information ...
Added: October 5, 2026
Polarization extinction ratio conversion due to pointing system impact in satellite quantum key distribution
Дуплинский А. В., Khmelev A. V., Бахшалиев Р. М. et al., St. Petersburg Polytechnical University Journal: Physics and Mathematics 2026 Vol. 17 No. 3 P. 88–92
Quantum key distribution via satellites enables the technology to be applied attranscontinental scale; nevertheless, in contrast to fiber systems, using a free-space opticalcommunication channel presents certain extra technological obstacles. The contribution of theacquisition, pointing and tracking system’s operation to the potential quantum bit error valueis investigated in this research. The polarization extinction ratio measurements varying ...
Added: October 5, 2026
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit