{"id":139,"date":"2024-12-20T05:42:22","date_gmt":"2024-12-20T05:42:22","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/eda-support\/?p=139"},"modified":"2026-03-27T14:14:39","modified_gmt":"2026-03-27T14:14:39","slug":"%ea%b8%b0%eb%8a%a5-%ea%b2%80%ec%a6%9d%ec%97%90%ec%84%9c-ai-ml%ec%9d%98-%ec%a0%81%ec%9a%a9","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/eda-support\/2024\/12\/20\/%ea%b8%b0%eb%8a%a5-%ea%b2%80%ec%a6%9d%ec%97%90%ec%84%9c-ai-ml%ec%9d%98-%ec%a0%81%ec%9a%a9\/","title":{"rendered":"\uae30\ub2a5 \uac80\uc99d\uc5d0\uc11c AI\/ML\uc758 \uc801\uc6a9"},"content":{"rendered":"\n<p>\uc778\uacf5\uc9c0\ub2a5(AI)\uacfc \uba38\uc2e0\ub7ec\ub2dd(ML)\uc740 \uc804\uc790 \uc124\uacc4 \uc790\ub3d9\ud654(EDA)\ub97c \ud3ec\ud568\ud558\uc5ec \uc804 \uc138\uacc4 \uc0b0\uc5c5\uc744 \ubcc0\ud654\uc2dc\ud0a4\uace0 \uc788\uc2b5\ub2c8\ub2e4. \uae30\ub2a5\uac80\uc99d(FV) \ubd84\uc57c\uc5d0\uc11c \uc774\ub7ec\ud55c \uae30\uc220\ub4e4\uc740 \ud6a8\uc728\uc131, \uc815\ud655\uc131 \ubc0f \uc790\ub3d9\ud654\ub97c \ud5a5\uc0c1\uc2dc\ud0a4\ub294 \uc720\ub9dd\ud55c \uc194\ub8e8\uc158\uc744 \uc81c\uacf5\ud569\ub2c8\ub2e4. \uc774 \uac8c\uc2dc\ubb3c\uc5d0\uc11c\ub294 AI\/ML\uc774 \uc5b4\ub5bb\uac8c FV \uc791\uc5c5\ud750\ub984\uc744 \uc7ac\uad6c\uc131\ud558\uace0 \uc788\ub294\uc9c0, \uadf8\ub4e4\uc758 \uc7a0\uc7ac\uc801\uc778 \uc751\uc6a9 \ubd84\uc57c\uc640 \uc55e\uc73c\ub85c\uc758 \uacfc\uc81c\ub97c \ud0d0\uad6c\ud560 \uac83\uc785\ub2c8\ub2e4.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\uae30\ub2a5 \uac80\uc99d\uc5d0\uc11c AI\/ML\uc758 \ud544\uc694\uc131<\/h2>\n\n\n\n<p>\uae30\ub2a5 \uac80\uc99d\uc740 \ubc18\ub3c4\uccb4 \uc124\uacc4\uc790\uc5d0\uac8c \uc5ec\uc804\ud788 \ub9ce\uc740 \uc2dc\uac04\uc774 \uc18c\uc694\ub418\ub294 \uacfc\uc815\uc73c\ub85c, \ubcf4\ud1b5 \uc124\uacc4 \uc2dc\uac04\uc758 \uac70\uc758 \uc808\ubc18\uc744 \ucc28\uc9c0\ud569\ub2c8\ub2e4[1]. ML\uc744 \ud1b5\ud569\ud568\uc73c\ub85c\uc368 \uc124\uacc4\uc790\ub4e4\uc740 \ubc18\ubcf5\uc801\uc778 \uc791\uc5c5\uc744 \uc790\ub3d9\ud654\ud558\uace0, \ub9ac\uadf8\ub808\uc158 \uad00\ub9ac\ub97c \uac1c\uc120\ud558\uba70, \ucee4\ubc84\ub9ac\uc9c0 \ud074\ub85c\uc800\ub97c \uac00\uc18d\ud558\uc5ec \ub354 \uc9e7\uc740 \uc2dc\uac04 \uc548\uc5d0 \ub354 \ub192\uc740 \ud488\uc9c8\uc758 \uacb0\uacfc\ub97c \uc81c\uacf5\ud569\ub2c8\ub2e4. \uc124\uacc4 \ubcf5\uc7a1\uc131\uc774 \uacc4\uc18d\ud574\uc11c \uc99d\uac00\ud568\uc5d0 \ub530\ub77c \uc774\ub7ec\ud55c \ubcc0\ud654\ub294 \ub9e4\uc6b0 \uc911\uc694\ud569\ub2c8\ub2e4.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\uae30\ub2a5 \uac80\uc99d\uc5d0\uc11c AI\/ML\uc758 \uc8fc\uc694 \uc751\uc6a9 \ubd84\uc57c<\/h2>\n\n\n\n<p>AI\/ML\uc740 \uae30\ub2a5 \uac80\uc99d\uc5d0\uc11c \uc5ec\ub7ec \uc911\uc694\ud55c \uc601\uc5ed\uc5d0 \uac78\uccd0 \ub2e4\uc591\ud55c \uc751\uc6a9 \ubd84\uc57c\ub97c \uac00\uc9c0\uace0 \uc788\uc2b5\ub2c8\ub2e4:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>\uc694\uad6c <\/strong><strong>\uc0ac\ud56d <\/strong><strong>\uc5d4\uc9c0\ub2c8\uc5b4\ub9c1: <\/strong>\uc790\uc5f0\uc5b4(NL) \uc0ac\uc591\uc744 SystemVerilog Assertion(SVA) \ub610\ub294 \uae30\ud0c0 \uac80\uc99d \uc5b8\uc5b4\ub85c \ubcc0\ud658\ud558\uac70\ub098, \uc124\uacc4 \uc0ac\uc591\uc5d0\uc11c \uc9c1\uc811 \uc790\ub3d9\uc73c\ub85c \ucf54\ub4dc\ub97c \uc0dd\uc131\ud569\ub2c8\ub2e4.<\/li>\n\n\n\n<li><strong>\ucee4\ubc84\ub9ac\uc9c0 <\/strong><strong>\ud074\ub85c\uc800: <\/strong>\ud3ec\uad04\uc801\uc778 \ud14c\uc2a4\ud2b8 \ucee4\ubc84\ub9ac\uc9c0\ub97c \ubcf4\uc7a5\ud558\uae30 \uc704\ud574 ML\uc774 \uc548\ub0b4\ud558\ub294 \ubb34\uc791\uc704 \ud14c\uc2a4\ud2b8\ub97c \uc0dd\uc131\ud569\ub2c8\ub2e4.<\/li>\n\n\n\n<li><strong>\uac80\uc99d <\/strong><strong>\uac00\uc18d\ud654: <\/strong>\ud615\uc2dd \uac80\uc99d(Formal Verification)\uc744 \uac04\uc18c\ud654\ud558\uae30 \uc704\ud574 \uac00\uc7a5 \ud6a8\uc728\uc801\uc778 \ud615\uc2dd \uc99d\uba85 \uc5d4\uc9c4\uc744 \uc790\ub3d9\uc73c\ub85c \uc120\ud0dd\ud569\ub2c8\ub2e4.<\/li>\n\n\n\n<li><strong>\ubc84\uadf8 <\/strong><strong>\ud0d0\uc9c0: <\/strong>ML\uc774 \uc9c0\uc6d0\ud558\ub294 \uadfc\ubcf8 \uc6d0\uc778 \ubd84\uc11d\uc744 \ud1b5\ud574 \ub354 \ube60\ub978 \ub514\ubc84\uae45 \ubc0f \ubb38\uc81c \ud574\uacb0\uc744 \uac00\ub2a5\ud558\uac8c \ud569\ub2c8\ub2e4.<\/li>\n\n\n\n<li><strong>\ub9ac\uadf8\ub808\uc158 <\/strong><strong>\uad00\ub9ac: <\/strong>\uc6b0\uc120\uc21c\uc704\uac00 \ub192\uc740 \ud14c\uc2a4\ud2b8 \ucf00\uc774\uc2a4\ub97c \uc790\ub3d9\uc73c\ub85c \uc2dd\ubcc4\ud558\uace0 \uc2e4\ud328 \uc2dc\ub098\ub9ac\uc624\ub97c \uc608\uce21\ud569\ub2c8\ub2e4.<\/li>\n<\/ul>\n\n\n\n<p>\ub354 \uc790\uc138\ud55c \ub0b4\uc6a9\uc740 Yu \ub4f1\uc758 \ubc31\uc11c\ub97c \ucc38\uc870\ud558\uc2ed\uc2dc\uc624 [2].<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\uae30\ub2a5 \uac80\uc99d\uc5d0\uc11c LLM \uc751\uc6a9\uc758 \ud1b5\ucc30<\/h2>\n\n\n\n<p>\ucd5c\uadfc \uc5f0\uad6c\ub4e4\uc740 \ub300\uaddc\ubaa8 \uc5b8\uc5b4 \ubaa8\ub378(LLM)\uc774 \uae30\ub2a5 \uac80\uc99d \uc791\uc5c5\uc744 \ubc1c\uc804\uc2dc\ud0a4\ub294 \uc7a0\uc7ac\ub825\uc744 \ubcf4\uc5ec\uc8fc\uace0 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Assertion <\/strong><strong>\uc0dd\uc131<\/strong>: \uc5f0\uad6c\uc5d0 \ub530\ub974\uba74 LLM\uc774 \uc790\uc5f0\uc5b4(NL)\ub85c\ubd80\ud130 SystemVerilog Assertion(SVA)\uc744 \uc0dd\uc131\ud560 \uc218 \uc788\uc73c\uba70, 9.29%\uc758 \uc131\uacf5\ub960\uc744 \uae30\ub85d\ud588\uc2b5\ub2c8\ub2e4. \uc633\uc740 Assertion \uc911 80%\ub294 \ucd5c\uc801\ud654\ub41c \uc870\uac74\uc5d0\uc11c \uc0dd\uc131\ub418\uc5c8\uc2b5\ub2c8\ub2e4 [5].<\/li>\n\n\n\n<li><strong>\ucee4\ubc84\ub9ac\uc9c0 <\/strong><strong>\uc608\uce21<\/strong>: Pyhon \uae30\ubc18 \uc5f0\uad6c\uc5d0\uc11c LLM\uc740 \ucf54\ub4dc \ucee4\ubc84\ub9ac\uc9c0\ub97c \uc608\uce21\ud558\uc600\uc73c\uba70, \ub77c\uc778 \uc218\uc900\uc5d0\uc11c 20-30%, \ubb38\uc7a5 \uc218\uc900\uc5d0\uc11c 84-90%\uc758 \uc815\ud655\ub3c4\ub97c \ub2ec\uc131\ud588\uc2b5\ub2c8\ub2e4. HDL\uc5d0 \ub300\ud55c \uc131\ub2a5\uc740 \uc81c\ud55c\ub41c \ud559\uc2b5 \ub370\uc774\ud130\ub85c \uc778\ud574 \uc5ec\uc804\ud788 \uc9c4\ud589 \uc911\uc785\ub2c8\ub2e4 [6].<\/li>\n\n\n\n<li><strong>\ubc84\uadf8 <\/strong><strong>\uc7ac\ud604<\/strong>: \uc2e4\ud328\ud55c \ud14c\uc2a4\ud2b8 \ubcf4\uace0\uc11c\uc640 \uc608\uc81c\ub97c LLM\uc5d0 \uc785\ub825\ud558\uc5ec \ubcf4\uace0\ub41c \ubc84\uadf8\uc758 \uc57d 33.5%\ub97c \uc7ac\ud604\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4 [7].<\/li>\n\n\n\n<li><strong>\ud14c\uc2a4\ud2b8 <\/strong><strong>\uc790\uadf9 <\/strong><strong>\uc0dd\uc131<\/strong>: LLM\uc740 \ub354 \uac04\ub2e8\ud55c \uc124\uacc4\uc5d0\uc11c \ucd5c\ub300 98.94%\uc758 \ucf54\ub4dc \ucee4\ubc84\ub9ac\uc9c0\ub97c \ub2ec\uc131\ud588\uc9c0\ub9cc, \ub354 \ubcf5\uc7a1\ud55c \uc124\uacc4\uc5d0\uc11c\ub294 86.19%\ub85c \uac10\uc18c\ud588\uc2b5\ub2c8\ub2e4 [8].<\/li>\n\n\n\n<li><strong>\ucf54\ub4dc <\/strong><strong>\uc0dd\uc131:<\/strong> \uc624\ud508 \uc18c\uc2a4 \uc800\uc7a5\uc18c\uc5d0 \ud6c8\ub828\ub41c LLM\uc740 \ubb38\uc81c\uc758 \ubcf5\uc7a1\uc131\uc5d0 \ub530\ub77c 59.9%\uc5d0\uc11c 98.7%\uc758 \uc131\uacf5\ub960\ub85c Verilog \ucf54\ub4dc\ub97c \uc0dd\uc131\ud588\uc2b5\ub2c8\ub2e4 [9].<\/li>\n<\/ul>\n\n\n\n<p>\ucd94\uac00 \uae30\uc220\uc801\uc778 \uc138\ubd80 \uc0ac\ud56d\uc740 Yu \ub4f1\uc758 \ucd5c\uadfc LLM \ud328\ub7ec\ub2e4\uc784 \uac80\uc99d \uc5f0\uad6c\ub97c \ucc38\uc870\ud558\uc2ed\uc2dc\uc624 [3].<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\uadf9\ubcf5\ud574\uc57c \ud560 \uacfc\uc81c<\/h2>\n\n\n\n<p>\uc7a0\uc7ac\ub825\uc5d0\uc11c \ubd88\uad6c\ud558\uace0, \uae30\ub2a5 \uac80\uc99d\uc5d0\uc11c AI\/ML \uae30\uc220\uc740 \uc5ec\ub7ec \uc7a5\uc560\ubb3c\uc5d0 \uc9c1\uba74\ud574 \uc788\uc2b5\ub2c8\ub2e4:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>\uc81c\ud55c\ub41c <\/strong><strong>\ub370\uc774\ud130\uc14b:<\/strong> \uc624\ud508 \uc18c\uc2a4 HDL \ub370\uc774\ud130\uc758 \ubd80\uc871\uc740 \ubaa8\ub378 \ud559\uc2b5\uc744 \ubc29\ud574\ud558\uc5ec \ubd80\uc815\ud655\ud558\uac70\ub098 \u201c\ud658\uac01\u201d\uc744 \uc77c\uc73c\ud0ac \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/li>\n\n\n\n<li><strong>\ud655\uc7a5\uc131:<\/strong> \uc18c\uaddc\ubaa8 \uc124\uacc4\uc5d0\uc11c\ub294 \uc131\ub2a5\uc774 \uc88b\uc740 AI\/ML \ubaa8\ub378\uc774 \ub300\uaddc\ubaa8 \ud504\ub85c\uc81d\ud2b8\uc5d0 \uc801\uc6a9\ub420 \ub54c \ud6a8\uc728\uc131\uacfc \uc815\ud655\uc131\uc744 \uc720\uc9c0\ud558\ub294 \ub370 \uc5b4\ub824\uc6c0\uc744 \uacaa\uc2b5\ub2c8\ub2e4.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">\uacb0\ub860<\/h2>\n\n\n\n<p>AI\/ML \uae30\uc220\uc740 \uae30\ub2a5 \uac80\uc99d\uc5d0 \ub300\ud55c \ubcf4\ub2e4 \ud6a8\uc728\uc801\uc774\uace0 \uc790\ub3d9\ud654\ub41c \uc811\uadfc \ubc29\uc2dd\uc744 \uc81c\uc2dc\ud569\ub2c8\ub2e4. \uc0ac\uc591 \ubc88\uc5ed\uc5d0\uc11c \ub514\ubc84\uae45 \ubc0f \ucee4\ubc84\ub9ac\uc9c0 \ud074\ub85c\uc800\uc5d0 \uc774\ub974\uae30\uae4c\uc9c0, \uc774\ub7ec\ud55c \ub3c4\uad6c\ub4e4\uc740 \uc791\uc5c5\ud750\ub984\uc744 \ud601\uc2e0\ud558\uace0 \ud604\ub300 \ubc18\ub3c4\uccb4 \uc124\uacc4\uc758 \uc810\uc810 \ub354 \ubcf5\uc7a1\ud574\uc9c0\ub294 \ubb38\uc81c\ub97c \ud574\uacb0\ud560 \uac83\uc744 \uc57d\uc18d\ud569\ub2c8\ub2e4. \ucc44\ud0dd\uc774 \uc99d\uac00\ud568\uc5d0 \ub530\ub77c, \uc774\ub7ec\ud55c \ucd5c\ucca8\ub2e8 \uae30\uc220\uc774 \uc8fc\ub3c4\ud558\ub294 \uac80\uc99d \ud504\ub85c\uc138\uc2a4\uc758 \uc9c4\ud654\ub97c \ubaa9\uaca9\ud558\ub294 \uac83\uc740 \ub9e4\uc6b0 \ud765\ubbf8\ub85c\uc6b4 \uc77c\uc774 \ub420 \uac83\uc785\ub2c8\ub2e4.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\ucc38\uace0 \ubb38\ud5cc<\/h2>\n\n\n\n<p>[1] Harry Foster, \u201c2022 Functional verification Study (2022)<\/p>\n\n\n\n<p>[2] Dan Yu, Harry Foster, and Tome Fitzpatrick \u201cA survey of machine learning applications in functional verification\u201d (2023)<\/p>\n\n\n\n<p>[3] Dan Yu, Tom Fitzpatrick, Waseem Raslan, Harry Foster, and Eman EL Mandouh \u201cParadigms of large language model applications in functional verification\u201d (2024)<\/p>\n\n\n\n<p>[4] Dan Yu, \u201cVerification data analytics with machine learning\u201d (2023)<\/p>\n\n\n\n<p>[5] Rahul Kande, et al. \u201cLLM-assisted Generation of Hardware Assertions\u201d (2023)<\/p>\n\n\n\n<p>[6] Michele Tufano, et al. \u201cPredicting Code Coverage without Execution\u201d (2023)<\/p>\n\n\n\n<p>[7] Sungmin Kang, et al. \u201cLarge Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction\u201d (2023)<\/p>\n\n\n\n<p>[8] Zixi Zhang, et al. \u201cLLM4DV: Using Large Language Models for Hardware Test Stimuli Generation\u201d (2023)<\/p>\n\n\n\n<p>[9] Baptiste Rozi\u00e8re, \u201cCode Llama: Open Foundation Models for Code\u201d (2023)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\uc778\uacf5\uc9c0\ub2a5(AI)\uacfc \uba38\uc2e0\ub7ec\ub2dd(ML)\uc740 \uc804\uc790 \uc124\uacc4 \uc790\ub3d9\ud654(EDA)\ub97c \ud3ec\ud568\ud558\uc5ec \uc804 \uc138\uacc4 \uc0b0\uc5c5\uc744 \ubcc0\ud654\uc2dc\ud0a4\uace0 \uc788\uc2b5\ub2c8\ub2e4. \uae30\ub2a5\uac80\uc99d(FV) \ubd84\uc57c\uc5d0\uc11c \uc774\ub7ec\ud55c \uae30\uc220\ub4e4\uc740 \ud6a8\uc728\uc131, \uc815\ud655\uc131 \ubc0f \uc790\ub3d9\ud654\ub97c \ud5a5\uc0c1\uc2dc\ud0a4\ub294&#8230;<\/p>\n","protected":false},"author":102462,"featured_media":129,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[49],"tags":[54,57,51,52,59,55,53],"industry":[],"product":[50],"coauthors":[48],"class_list":["post-139","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-functional-verification","tag-ai","tag-coverage","tag-dvt","tag-functional-verification","tag-llm","tag-ml","tag-questa","product-questa"],"featured_image_url":"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/75\/2024\/12\/image-1.jpg","_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/posts\/139","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/users\/102462"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/comments?post=139"}],"version-history":[{"count":2,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/posts\/139\/revisions"}],"predecessor-version":[{"id":141,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/posts\/139\/revisions\/141"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/media\/129"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/media?parent=139"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/categories?post=139"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/tags?post=139"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/industry?post=139"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/product?post=139"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/eda-support\/wp-json\/wp\/v2\/coauthors?post=139"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}