入出力プロトコルに着目した機械学習によるカバレッジ駆動検証システムに関する研究

基于输入/输出协议的机器学习覆盖驱动验证系统研究

• 批准号: 22K11962
• 负责人: 浜口 清治
• 金额: $ 2.33万
• 依托单位: Kyoto Tachibana University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K11962/
• 关键词: 設計自動化; カバレッジ駆動検証; SATソルバ; 設計検証

本研究の目的は特に標準規格の入出力プロトコルを持つ回路設計を対象として，SATソルバ(Satisfiability Solver， 論理式の充足可能性判定器)および機械学習を用いた手法を確立することである． 　2022年度は具体的には次のような成果を得た．(a) 並行プロセスによるカバレッジ検証の効率の評価まず，トグルカバレッジをターゲットとして評価を行った．報告者による先行研究では，ランダムシミュレーションとSATソルバーを用いた入力パターン生成を組み合わせたアプローチを提案しており，実験を通じて有効であることがわかっていた．しかし、検証プロセスにおいてSATソルバーの実行時間が支配的要素であるため、これが検証プロセスの進行を妨げていることが判明していた。これを改良するために、ランダム/SATベースの処理を並列化することで、この先行研究を拡張した．実験の結果、並列化のアプローチがカバレッジ改善のために有効であることが示された．本結果については論文として投稿し，採録が決まっている(発行は2023年6月)．(b) ブランチカバレッジを対象としたカバレッジ検証の評価本年度はさらに，設計記述内の分岐条件に関するカバレッジ(ブランチカバレッジ)について評価を行った．ブランチカバレッジについてはすでに他の研究グループによる評価結果が出ているが，本研究ではランダムシミュレーションのみではなく，SATソルバを組み合わせることによって，カバレッジを改善できることが確認できた．またランダムパタンについても信号線の変化に着目した生成を行うことにより，より良いカバレッジ改善が得られることを確認した．

The purpose of this study is to set a special standard for input and output power, equipment, circuit design, SAT performance (Satisfiability Solver). (a) to determine the accuracy of the results of the year 2022. (a) to determine the accuracy of the results in the year 2022. (a) to determine the accuracy of the results in the year 2022. (a) in parallel, please do some research on the performance of the equipment. This is not a good idea. We need to use the input force to generate an organization. We need to make a proposal for SAT. There are some factors that are subject to the control of the operating time of the SAT, such as the operating time of the operating system, the operating time of the operating system, and so on. In order to improve the performance of the system, to improve the performance of the system, to make a list of the information, and to first study the results of the experiment, the results of the results and the results of the results of the experiment are listed in this paper. the results of the experiment show that you can improve the performance of the system. The results of this result show that you have submitted your contribution. (B) tell me what to do in June 2023. (B) I don't know what to do this year. The design record shows that the bifurcation condition does not change. The bifurcation condition does not change. The design record shows that the bifurcation condition does not change. The design record shows that the bifurcation condition does not change. The design record shows that the bifurcation condition does not change. The design record shows that the bifurcation condition does not change. The design record shows that the bifurcation condition does not change. The design record shows that the bifurcation condition does not change. The design record shows that the bifurcation condition does not change, so that the bifurcation condition does not change. The design record shows that the bifurcation condition is not valid. The results show that the results show that the bifurcation condition is not valid. The results show that the bifurcation condition is not valid. The results show that the bifurcation condition is not valid. The results show that the results show that the bifurcation condition is not valid. In this study, the bifurcation condition, bifur In order to improve the performance of the signal line, it is necessary to improve the performance of the signal line, and to improve the performance of the signal line.