Presentation | 2006-11-28 Bounded Model Checking for Assertions including Dynamic Local Variables Sho TAKEUCHI, Kiyoharu HAMAGUCHI, Tosinobu KASHIWABARA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | To perform functional formal verification, bounded model checking for assertions has been proposed. For bounded model checking, however, it is difficult to handle assertions including dynamic local variables such as in System Verilog. In this report, we investigate an algorithm for verifying assertions including dynamic local variables with bounded model checking. This algorithm focuses on reduction in memory requirement. We implemented the algorithm and performed some experiments. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Assertion-Based Verification / Bounded Model Checking / Dynamic Local Variable / System Verilog |
Paper # | VLD2006-53,DC2006-40 |
Date of Issue |
Conference Information | |
Committee | DC |
---|---|
Conference Date | 2006/11/21(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Dependable Computing (DC) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Bounded Model Checking for Assertions including Dynamic Local Variables |
Sub Title (in English) | |
Keyword(1) | Assertion-Based Verification |
Keyword(2) | Bounded Model Checking |
Keyword(3) | Dynamic Local Variable |
Keyword(4) | System Verilog |
1st Author's Name | Sho TAKEUCHI |
1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
2nd Author's Name | Kiyoharu HAMAGUCHI |
2nd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
3rd Author's Name | Tosinobu KASHIWABARA |
3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
Date | 2006-11-28 |
Paper # | VLD2006-53,DC2006-40 |
Volume (vol) | vol.106 |
Number (no) | 390 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |