WEKO3
アイテム
形式検証とランダムシミュレーションを併用した大規模ハードウェア設計検証
https://it-hiroshima.repo.nii.ac.jp/records/123
https://it-hiroshima.repo.nii.ac.jp/records/12367cec10f-4453-4c3a-9c50-9d8632003681
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 会議発表論文 / Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2023-03-30 | |||||
タイトル | ||||||
タイトル | 形式検証とランダムシミュレーションを併用した大規模ハードウェア設計検証 | |||||
タイトル | ||||||
タイトル | Large-scale Hardware Verification by Using Formal Method and Random Simulation Together | |||||
言語 | en | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
資源タイプ | conference paper | |||||
著者 |
窪田, 純士
× 窪田, 純士× 垣内, 洋介× 浜口, 清治× Kubota, Junshi× Kakiuchi, Yosuke× Hamaguchi, Kiyoharu |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Formal verification is one of automated techniques to guarantee the correctness of hardware designs. The computational cost of formal verification, however, grows larger for a large-scale design, so that we cannot get the solution. In this paper, we propose a method to utilize intermediate data, which formal verification has generated, for a random simulation. Our method aims to avoid spoiling the computational cost for formal verification even if it does not terminate. | |||||
書誌情報 |
IEEE SMC Hiroshima Chapter Young Researchers' Workshop proceedings : IEEE SMC Hiroshima Chapter若手研究会講演論文集 巻 2012, p. 119-122, 発行日 2012-07 |
|||||
出版者 | ||||||
出版者 | IEEE SMC Hiroshima Chapter | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 2187-3577 | |||||
書誌レコードID | ||||||
識別子タイプ | NCID | |||||
関連識別子 | HP01495586 | |||||
論文ID(NAID) | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | NAID | |||||
関連識別子 | 40019881898 | |||||
権利 | ||||||
権利情報 | ©Copyright by IEEE SMC Hiroshima Chapter. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | |||||
関連サイト | ||||||
識別子タイプ | URI | |||||
関連識別子 | http://www.smc-hiroshima.info.hiroshima-cu.ac.jp/ | |||||
関連名称 | http://www.smc-hiroshima.info.hiroshima-cu.ac.jp/ | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
著者版フラグ | ||||||
出版タイプ | AM | |||||
出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa |