{"id":3575,"date":"2025-09-13T16:00:00","date_gmt":"2025-09-13T13:00:00","guid":{"rendered":"http:\/\/selftiming.ru\/new\/?p=3575"},"modified":"2026-01-30T16:31:40","modified_gmt":"2026-01-30T13:31:40","slug":"self-timed-circuit-synthesis-and-its-verification","status":"publish","type":"post","link":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/","title":{"rendered":"Self-Timed Circuit Synthesis and Its Verification"},"content":{"rendered":"\n<p>Yuri Diachenko, Nikolai Morozov, Georgi Orlov. Self-Timed Circuit Synthesis and Its Verification \/\/ 2025 International Russian Automation Conference (RusAutoCon), 07-13 September 2025. \u2013 IEEE, P. 71-76.<\/p>\n\n\n\n<p>DOI: 10.1109\/RusAutoCon65989.2025.11177303. Indexed in Scopus, \u044f\u0434\u0440\u043e \u0420\u0418\u041d\u0426. EID: 2-s2.0-105018738914. Part of ISSN: 28366131 2836614X.<\/p>\n\n\n\n<p><strong>\u0424\u0438\u043d\u0430\u043d\u0441\u043e\u0432\u0430\u044f \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430:<\/strong> \u0418\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u0437\u0430 \u0441\u0447\u0435\u0442 \u0433\u0440\u0430\u043d\u0442\u0430 \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u043d\u0430\u0443\u0447\u043d\u043e\u0433\u043e \u0444\u043e\u043d\u0434\u0430 \u2116 25-19-00508, <a href=\"https:\/\/rscf.ru\/project\/25-19-00508\/%20\">https:\/\/rscf.ru\/project\/25-19-00508\/<\/a> \/ <strong>FundingAgency<\/strong>: The research was funded by a grant Russian Science Foundation No 25-19-00508, <a href=\"https:\/\/rscf.ru\/en\/project\/25-19-00508\/\">https:\/\/rscf.ru\/en\/project\/25-19-00508\/<\/a><\/p>\n\n\n\n<p><strong>Abstract:<\/strong> The advantages of self-timed (ST) circuits compared to synchronous counterparts (extremely wide operability range in terms of supply voltage and ambient temperature, several times higher tolerance to soft errors, etc.) make them a promising basis for implementing naturally reliable digital circuits and robotic systems. However, the ST circuit design differs greatly from the synchronous circuit one in style and implementation features. The development of computer-aided design tools for ST circuits can facilitate and improve the efficiency of the ST unit design process. The paper proposes a logical synthesis design flow for the ST circuits. It complements a typical design flow for developing synchronous digital VLSI on base chips with specific stages inherent in the ST circuit synthesis: logical function dualization, an indication subcircuit generation, and self-timing analysis. In this case, the methods of converting the synchronous prototype description into an ST circuit and substituting templates of arithmetic and sequential units are used. The proposed design flow is implemented as an ST circuit logical synthesis subsystem. It is based on heuristic algorithms that theoretically guarantee the synthesis correctness. However, at the stage of debugging the synthesis subsystem, the results of its work need to be verified. The article describes the results of this verification on ST circuit examples with varying complexity. It proves the developed software tool&#8217;s effectiveness for ST circuit synthesis, which guarantees the obtaining of a circuit with all the properties and advantages of ST circuits and consumer characteristics close to the manual synthesis results.<\/p>\n\n\n\n<p><strong>\u0410\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u044f:<\/strong> \u041f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0430 \u0441\u0430\u043c\u043e\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u044b\u0445 (\u0421\u0421) \u0441\u0445\u0435\u043c \u0432 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0438 \u0441 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u044b\u043c\u0438 \u0430\u043d\u0430\u043b\u043e\u0433\u0430\u043c\u0438 (\u043f\u0440\u0435\u0434\u0435\u043b\u044c\u043d\u043e \u0448\u0438\u0440\u043e\u043a\u0438\u0439 \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d \u0440\u0430\u0431\u043e\u0442\u043e\u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u043f\u043e \u043d\u0430\u043f\u0440\u044f\u0436\u0435\u043d\u0438\u044e \u043f\u0438\u0442\u0430\u043d\u0438\u044f \u0438 \u0442\u0435\u043c\u043f\u0435\u0440\u0430\u0442\u0443\u0440\u0435 \u043e\u043a\u0440\u0443\u0436\u0430\u044e\u0449\u0435\u0439 \u0441\u0440\u0435\u0434\u044b, \u0432 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0440\u0430\u0437 \u0431\u043e\u043b\u0435\u0435 \u0432\u044b\u0441\u043e\u043a\u0430\u044f \u0443\u0441\u0442\u043e\u0439\u0447\u0438\u0432\u043e\u0441\u0442\u044c \u043a \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0441\u0431\u043e\u044f\u043c \u0438 \u0434\u0440\u0443\u0433\u0438\u0435), \u0434\u0435\u043b\u0430\u044e\u0442 \u0438\u0445 \u043f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u043c \u0431\u0430\u0437\u0438\u0441\u043e\u043c \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0445 \u0446\u0438\u0444\u0440\u043e\u0432\u044b\u0445 \u0441\u0445\u0435\u043c \u0438 \u0440\u043e\u0431\u043e\u0442\u043e\u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c. \u041e\u0434\u043d\u0430\u043a\u043e \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0421\u0421 \u0441\u0445\u0435\u043c \u0441\u0438\u043b\u044c\u043d\u043e \u043e\u0442\u043b\u0438\u0447\u0430\u0435\u0442\u0441\u044f \u043e\u0442 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u044b\u0445 \u0441\u0445\u0435\u043c \u043f\u043e \u0441\u0442\u0438\u043b\u044e \u0438 \u043f\u043e \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e\u0441\u0442\u044f\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438. \u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0441\u0440\u0435\u0434\u0441\u0442\u0432 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0421\u0421 \u0441\u0445\u0435\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e \u043e\u0431\u043b\u0435\u0433\u0447\u0438\u0442\u044c \u0438 \u043f\u043e\u0432\u044b\u0441\u0438\u0442\u044c \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u0421\u0421 \u0443\u0441\u0442\u0440\u043e\u0439\u0441\u0442\u0432. \u0412 \u0441\u0442\u0430\u0442\u044c\u0435 \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u043c\u0430\u0440\u0448\u0440\u0443\u0442 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0421\u0421 \u0441\u0445\u0435\u043c. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0439 \u043c\u0430\u0440\u0448\u0440\u0443\u0442 \u0440\u0430\u0441\u0448\u0438\u0440\u044f\u0435\u0442 \u0442\u0440\u0430\u0434\u0438\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u043c\u0435\u0442\u043e\u0434\u043e\u043b\u043e\u0433\u0438\u044e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0446\u0438\u0444\u0440\u043e\u0432\u044b\u0445 \u0441\u0432\u0435\u0440\u0445\u0431\u043e\u043b\u044c\u0448\u0438\u0445 \u0438\u043d\u0442\u0435\u0433\u0440\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u0445\u0435\u043c (\u0421\u0411\u0418\u0421) \u043d\u0430 \u0431\u0430\u0437\u043e\u0432\u044b\u0445 \u043a\u0440\u0438\u0441\u0442\u0430\u043b\u043b\u0430\u0445, \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u043c\u0443\u044e \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u044b\u0445 \u0441\u0445\u0435\u043c, \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435\u043c \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u044d\u0442\u0430\u043f\u043e\u0432 \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0421\u0421 \u0441\u0445\u0435\u043c: \u0434\u0443\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u0438 \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u043d\u043e\u0439 \u043f\u043e\u0434\u0441\u0445\u0435\u043c\u044b \u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u043e\u043c \u043d\u0430 \u0441\u0430\u043c\u043e\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u043e\u0441\u0442\u044c. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u043c\u0435\u0442\u043e\u0434\u0438\u043a\u0438 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f (\u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0430\u0446\u0438\u0438) \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u043e\u0433\u043e \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043f\u0440\u043e\u0442\u043e\u0442\u0438\u043f\u0430 \u0432 \u0421\u0421 \u0441\u0445\u0435\u043c\u0443 \u0438 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438 \u0448\u0430\u0431\u043b\u043e\u043d\u043e\u0432 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u043e\u043d\u043d\u044b\u0445 \u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u043d\u044b\u0445 \u0443\u0441\u0442\u0440\u043e\u0439\u0441\u0442\u0432: \u0441\u0443\u043c\u043c\u0430\u0442\u043e\u0440\u043e\u0432, \u0441\u0447\u0435\u0442\u0447\u0438\u043a\u043e\u0432, \u0440\u0435\u0433\u0438\u0441\u0442\u0440\u043e\u0432 \u0438 \u0442.\u0434. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0439 \u043c\u0430\u0440\u0448\u0440\u0443\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0432 \u0432\u0438\u0434\u0435 \u043f\u043e\u0434\u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0421\u0421 \u0441\u0445\u0435\u043c. \u0412 \u0435\u0435 \u043e\u0441\u043d\u043e\u0432\u0435 \u043b\u0435\u0436\u0430\u0442 \u044d\u0432\u0440\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b, \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0435 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0441\u0438\u043d\u0442\u0435\u0437\u0430. \u041e\u0434\u043d\u0430\u043a\u043e \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043e\u0442\u043b\u0430\u0434\u043a\u0438 \u043f\u043e\u0434\u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0435\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u043d\u0443\u0436\u0434\u0430\u044e\u0442\u0441\u044f \u0432 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. \u0421\u0442\u0430\u0442\u044c\u044f \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0421\u0421 \u0441\u0445\u0435\u043c \u0440\u0430\u0437\u043d\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0438 \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0435\u0442 \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u044b\u0445 \u0441\u0440\u0435\u0434\u0441\u0442\u0432 \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0421\u0421 \u0441\u0445\u0435\u043c, \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0445 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u0435 \u0441\u0445\u0435\u043c\u044b, \u043e\u0431\u043b\u0430\u0434\u0430\u044e\u0449\u0435\u0439 \u0432\u0441\u0435\u043c\u0438 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430\u043c\u0438 \u0438 \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0430\u043c\u0438 \u0421\u0421 \u0441\u0445\u0435\u043c, \u0438 \u043f\u043e\u0442\u0440\u0435\u0431\u0438\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u043c\u0438 \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043a\u0430\u043c\u0438, \u0431\u043b\u0438\u0437\u043a\u0438\u043c\u0438 \u043a \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430\u043c \u0440\u0443\u0447\u043d\u043e\u0433\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0430.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Yuri Diachenko, Nikolai Morozov, Georgi Orlov. Self-Timed Circuit Synthesis and Its Verification \/\/ 2025 International Russian Automation Conference (RusAutoCon), 07-13 September 2025. \u2013 IEEE, P. 71-76. DOI: 10.1109\/RusAutoCon65989.2025.11177303. Indexed in Scopus, \u044f\u0434\u0440\u043e \u0420\u0418\u041d\u0426. EID: 2-s2.0-105018738914. Part of ISSN: 28366131 2836614X. \u0424\u0438\u043d\u0430\u043d\u0441\u043e\u0432\u0430\u044f \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430: \u0418\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u0437\u0430 \u0441\u0447\u0435\u0442 \u0433\u0440\u0430\u043d\u0442\u0430 \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u043d\u0430\u0443\u0447\u043d\u043e\u0433\u043e \u0444\u043e\u043d\u0434\u0430 \u2116 25-19-00508, https:\/\/rscf.ru\/project\/25-19-00508\/ \/ FundingAgency: [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[65,54,51,60,12,4],"tags":[],"class_list":["post-3575","post","type-post","status-publish","format-standard","hentry","category-65","category-dyachenko-yu-g","category-morozov-n-v","category-orlov-g-a","category-samosinhronnaya-shemotehnika","category-conferences"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.0 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Self-Timed Circuit Synthesis and Its Verification - \u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/\" \/>\n<meta property=\"og:locale\" content=\"ru_RU\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Self-Timed Circuit Synthesis and Its Verification - \u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b\" \/>\n<meta property=\"og:description\" content=\"Yuri Diachenko, Nikolai Morozov, Georgi Orlov. Self-Timed Circuit Synthesis and Its Verification \/\/ 2025 International Russian Automation Conference (RusAutoCon), 07-13 September 2025. \u2013 IEEE, P. 71-76. DOI: 10.1109\/RusAutoCon65989.2025.11177303. Indexed in Scopus, \u044f\u0434\u0440\u043e \u0420\u0418\u041d\u0426. EID: 2-s2.0-105018738914. Part of ISSN: 28366131 2836614X. \u0424\u0438\u043d\u0430\u043d\u0441\u043e\u0432\u0430\u044f \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430: \u0418\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u0437\u0430 \u0441\u0447\u0435\u0442 \u0433\u0440\u0430\u043d\u0442\u0430 \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u043d\u0430\u0443\u0447\u043d\u043e\u0433\u043e \u0444\u043e\u043d\u0434\u0430 \u2116 25-19-00508, https:\/\/rscf.ru\/project\/25-19-00508\/ \/ FundingAgency: [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/\" \/>\n<meta property=\"og:site_name\" content=\"\u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b\" \/>\n<meta property=\"article:published_time\" content=\"2025-09-13T13:00:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-01-30T13:31:40+00:00\" \/>\n<meta name=\"author\" content=\"Dmitry\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u041d\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0430\u0432\u0442\u043e\u0440\u043e\u043c\" \/>\n\t<meta name=\"twitter:data1\" content=\"Dmitry\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u041f\u0440\u0438\u043c\u0435\u0440\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0434\u043b\u044f \u0447\u0442\u0435\u043d\u0438\u044f\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 \u043c\u0438\u043d\u0443\u0442\u044b\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/#article\",\"isPartOf\":{\"@id\":\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/\"},\"author\":{\"name\":\"Dmitry\",\"@id\":\"http:\/\/selftiming.ru\/new\/#\/schema\/person\/34f78b9f03fb46fc07792e5ad5346e79\"},\"headline\":\"Self-Timed Circuit Synthesis and Its Verification\",\"datePublished\":\"2025-09-13T13:00:00+00:00\",\"dateModified\":\"2026-01-30T13:31:40+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/\"},\"wordCount\":545,\"publisher\":{\"@id\":\"http:\/\/selftiming.ru\/new\/#organization\"},\"articleSection\":[\"2025\",\"\u0414\u044c\u044f\u0447\u0435\u043d\u043a\u043e \u042e.\u0413.\",\"\u041c\u043e\u0440\u043e\u0437\u043e\u0432 \u041d.\u0412.\",\"\u041e\u0440\u043b\u043e\u0432 \u0413.\u0410.\",\"\u0421\u0430\u043c\u043e\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u0430\u044f \u0441\u0445\u0435\u043c\u043e\u0442\u0435\u0445\u043d\u0438\u043a\u0430\",\"\u0422\u0440\u0443\u0434\u044b \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0439\"],\"inLanguage\":\"ru-RU\"},{\"@type\":\"WebPage\",\"@id\":\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/\",\"url\":\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/\",\"name\":\"Self-Timed Circuit Synthesis and Its Verification - \u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b\",\"isPartOf\":{\"@id\":\"http:\/\/selftiming.ru\/new\/#website\"},\"datePublished\":\"2025-09-13T13:00:00+00:00\",\"dateModified\":\"2026-01-30T13:31:40+00:00\",\"breadcrumb\":{\"@id\":\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/#breadcrumb\"},\"inLanguage\":\"ru-RU\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0441\u0442\u0440\u0430\u043d\u0438\u0446\u0430\",\"item\":\"http:\/\/selftiming.ru\/new\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Self-Timed Circuit Synthesis and Its Verification\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\/\/selftiming.ru\/new\/#website\",\"url\":\"http:\/\/selftiming.ru\/new\/\",\"name\":\"\u0421\u0430\u043c\u043e\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u0430\u044f \u0441\u0445\u0435\u043c\u043e\u0442\u0435\u0445\u043d\u0438\u043a\u0430\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\/\/selftiming.ru\/new\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\/\/selftiming.ru\/new\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"ru-RU\"},{\"@type\":\"Organization\",\"@id\":\"http:\/\/selftiming.ru\/new\/#organization\",\"name\":\"\u0424\u0435\u0434\u0435\u0440\u0430\u043b\u044c\u043d\u044b\u0439 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u0446\u0435\u043d\u0442\u0440 \u00ab\u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430 \u0438 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435\u00bb \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0439 \u0410\u043a\u0430\u0434\u0435\u043c\u0438\u0438 \u041d\u0430\u0443\u043a (\u0424\u0418\u0426 \u0418\u0423 \u0420\u0410\u041d)\",\"url\":\"http:\/\/selftiming.ru\/new\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ru-RU\",\"@id\":\"http:\/\/selftiming.ru\/new\/#\/schema\/logo\/image\/\",\"url\":\"http:\/\/selftiming.ru\/new\/wp-content\/uploads\/2020\/05\/logo1.png\",\"contentUrl\":\"http:\/\/selftiming.ru\/new\/wp-content\/uploads\/2020\/05\/logo1.png\",\"width\":466,\"height\":140,\"caption\":\"\u0424\u0435\u0434\u0435\u0440\u0430\u043b\u044c\u043d\u044b\u0439 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u0446\u0435\u043d\u0442\u0440 \u00ab\u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430 \u0438 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435\u00bb \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0439 \u0410\u043a\u0430\u0434\u0435\u043c\u0438\u0438 \u041d\u0430\u0443\u043a (\u0424\u0418\u0426 \u0418\u0423 \u0420\u0410\u041d)\"},\"image\":{\"@id\":\"http:\/\/selftiming.ru\/new\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"http:\/\/selftiming.ru\/new\/#\/schema\/person\/34f78b9f03fb46fc07792e5ad5346e79\",\"name\":\"Dmitry\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ru-RU\",\"@id\":\"http:\/\/selftiming.ru\/new\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/79a99fd5653d363e926309aea81f1256fb9a6bed9c66fb84d3b735b626e46138?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/79a99fd5653d363e926309aea81f1256fb9a6bed9c66fb84d3b735b626e46138?s=96&d=mm&r=g\",\"caption\":\"Dmitry\"},\"url\":\"http:\/\/selftiming.ru\/new\/author\/dmitry\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Self-Timed Circuit Synthesis and Its Verification - \u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/","og_locale":"ru_RU","og_type":"article","og_title":"Self-Timed Circuit Synthesis and Its Verification - \u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b","og_description":"Yuri Diachenko, Nikolai Morozov, Georgi Orlov. Self-Timed Circuit Synthesis and Its Verification \/\/ 2025 International Russian Automation Conference (RusAutoCon), 07-13 September 2025. \u2013 IEEE, P. 71-76. DOI: 10.1109\/RusAutoCon65989.2025.11177303. Indexed in Scopus, \u044f\u0434\u0440\u043e \u0420\u0418\u041d\u0426. EID: 2-s2.0-105018738914. Part of ISSN: 28366131 2836614X. \u0424\u0438\u043d\u0430\u043d\u0441\u043e\u0432\u0430\u044f \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430: \u0418\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u0437\u0430 \u0441\u0447\u0435\u0442 \u0433\u0440\u0430\u043d\u0442\u0430 \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u043d\u0430\u0443\u0447\u043d\u043e\u0433\u043e \u0444\u043e\u043d\u0434\u0430 \u2116 25-19-00508, https:\/\/rscf.ru\/project\/25-19-00508\/ \/ FundingAgency: [&hellip;]","og_url":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/","og_site_name":"\u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b","article_published_time":"2025-09-13T13:00:00+00:00","article_modified_time":"2026-01-30T13:31:40+00:00","author":"Dmitry","twitter_card":"summary_large_image","twitter_misc":{"\u041d\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0430\u0432\u0442\u043e\u0440\u043e\u043c":"Dmitry","\u041f\u0440\u0438\u043c\u0435\u0440\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0434\u043b\u044f \u0447\u0442\u0435\u043d\u0438\u044f":"2 \u043c\u0438\u043d\u0443\u0442\u044b"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/#article","isPartOf":{"@id":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/"},"author":{"name":"Dmitry","@id":"http:\/\/selftiming.ru\/new\/#\/schema\/person\/34f78b9f03fb46fc07792e5ad5346e79"},"headline":"Self-Timed Circuit Synthesis and Its Verification","datePublished":"2025-09-13T13:00:00+00:00","dateModified":"2026-01-30T13:31:40+00:00","mainEntityOfPage":{"@id":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/"},"wordCount":545,"publisher":{"@id":"http:\/\/selftiming.ru\/new\/#organization"},"articleSection":["2025","\u0414\u044c\u044f\u0447\u0435\u043d\u043a\u043e \u042e.\u0413.","\u041c\u043e\u0440\u043e\u0437\u043e\u0432 \u041d.\u0412.","\u041e\u0440\u043b\u043e\u0432 \u0413.\u0410.","\u0421\u0430\u043c\u043e\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u0430\u044f \u0441\u0445\u0435\u043c\u043e\u0442\u0435\u0445\u043d\u0438\u043a\u0430","\u0422\u0440\u0443\u0434\u044b \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0439"],"inLanguage":"ru-RU"},{"@type":"WebPage","@id":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/","url":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/","name":"Self-Timed Circuit Synthesis and Its Verification - \u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u043f\u0443\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b","isPartOf":{"@id":"http:\/\/selftiming.ru\/new\/#website"},"datePublished":"2025-09-13T13:00:00+00:00","dateModified":"2026-01-30T13:31:40+00:00","breadcrumb":{"@id":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/#breadcrumb"},"inLanguage":"ru-RU","potentialAction":[{"@type":"ReadAction","target":["http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/"]}]},{"@type":"BreadcrumbList","@id":"http:\/\/selftiming.ru\/new\/2025\/09\/13\/self-timed-circuit-synthesis-and-its-verification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0441\u0442\u0440\u0430\u043d\u0438\u0446\u0430","item":"http:\/\/selftiming.ru\/new\/"},{"@type":"ListItem","position":2,"name":"Self-Timed Circuit Synthesis and Its Verification"}]},{"@type":"WebSite","@id":"http:\/\/selftiming.ru\/new\/#website","url":"http:\/\/selftiming.ru\/new\/","name":"\u0421\u0430\u043c\u043e\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u0430\u044f \u0441\u0445\u0435\u043c\u043e\u0442\u0435\u0445\u043d\u0438\u043a\u0430","description":"","publisher":{"@id":"http:\/\/selftiming.ru\/new\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/selftiming.ru\/new\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"ru-RU"},{"@type":"Organization","@id":"http:\/\/selftiming.ru\/new\/#organization","name":"\u0424\u0435\u0434\u0435\u0440\u0430\u043b\u044c\u043d\u044b\u0439 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u0446\u0435\u043d\u0442\u0440 \u00ab\u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430 \u0438 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435\u00bb \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0439 \u0410\u043a\u0430\u0434\u0435\u043c\u0438\u0438 \u041d\u0430\u0443\u043a (\u0424\u0418\u0426 \u0418\u0423 \u0420\u0410\u041d)","url":"http:\/\/selftiming.ru\/new\/","logo":{"@type":"ImageObject","inLanguage":"ru-RU","@id":"http:\/\/selftiming.ru\/new\/#\/schema\/logo\/image\/","url":"http:\/\/selftiming.ru\/new\/wp-content\/uploads\/2020\/05\/logo1.png","contentUrl":"http:\/\/selftiming.ru\/new\/wp-content\/uploads\/2020\/05\/logo1.png","width":466,"height":140,"caption":"\u0424\u0435\u0434\u0435\u0440\u0430\u043b\u044c\u043d\u044b\u0439 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u0446\u0435\u043d\u0442\u0440 \u00ab\u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430 \u0438 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435\u00bb \u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0439 \u0410\u043a\u0430\u0434\u0435\u043c\u0438\u0438 \u041d\u0430\u0443\u043a (\u0424\u0418\u0426 \u0418\u0423 \u0420\u0410\u041d)"},"image":{"@id":"http:\/\/selftiming.ru\/new\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"http:\/\/selftiming.ru\/new\/#\/schema\/person\/34f78b9f03fb46fc07792e5ad5346e79","name":"Dmitry","image":{"@type":"ImageObject","inLanguage":"ru-RU","@id":"http:\/\/selftiming.ru\/new\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/79a99fd5653d363e926309aea81f1256fb9a6bed9c66fb84d3b735b626e46138?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/79a99fd5653d363e926309aea81f1256fb9a6bed9c66fb84d3b735b626e46138?s=96&d=mm&r=g","caption":"Dmitry"},"url":"http:\/\/selftiming.ru\/new\/author\/dmitry\/"}]}},"_links":{"self":[{"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/posts\/3575","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/comments?post=3575"}],"version-history":[{"count":1,"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/posts\/3575\/revisions"}],"predecessor-version":[{"id":3576,"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/posts\/3575\/revisions\/3576"}],"wp:attachment":[{"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/media?parent=3575"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/categories?post=3575"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/selftiming.ru\/new\/wp-json\/wp\/v2\/tags?post=3575"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}