| 講演名 | 2005-12-02 Structural Coverage of Traversed Transitions for Symbolic Model Checking , |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | Coverage estimation for model checking has become an important issue in practical formal verification. Transition traversal coverage focuses on the transition characteristics of CTL operators and calculates which transitions are traversed during the model checking process of properties. One limitation of the method is the lack of the correspondence between the circuit structure and transitions. One transition might be covered no matter which part of the circuit is checked (or not) related to the transition. This leads to the overestimation of the coverability of properties. In this paper, we enhance the transition traversal coverage by analyzing the structural coverage of each traversed transition. We consider which variables are checked explicitly or implicitly on the traversed transitions. Thus, we deduce which part of the circuit is checked by properties for each traversed transition. The importance is that we can analyze which part of the circuit has not been verified. The accuracy of the transition traversal coverage is enhanced by our technique. We show the effectiveness of the proposed method by experiments. |
| キーワード(和) | |
| キーワード(英) | structural coverage / transition traversal / symbolic model checking |
| 資料番号 | VLD2005-87,ICD2005-182,DC2005-64 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2005/11/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | Structural Coverage of Traversed Transitions for Symbolic Model Checking |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / structural coverage |
| 第 1 著者 氏名（和/英） | / Xingwen Xu |
| 第 1 著者 所属（和/英） | Graduate School of IPS, Waseda University |
| 発表年月日 | 2005-12-02 |
| 資料番号 | VLD2005-87,ICD2005-182,DC2005-64 |
| 巻番号（vol） | vol.105 |
| 号番号（no） | 443 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |