Presentation | 2006/3/9 SpecC Program Checker Using System Dependence Graph Shunsuke SASAKI, Tasuku NISHIHARA, Daisuke ANDO, Masahiro FUJITA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In system-level design of SoC, it is important to find and fix bugs for reduction of backtracking of design flow. In this paper, we propose program checking methods for SpecC descriptions using System Dependence Graphs (SDGs). First, we propose a checking method of nil-pointer references. Second, we propose a method to improve accuracy of checking results of uninitialized variables and nil-pointer references with interpreting conditional expressions. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | SpecC / System Dependence Graph / Program Checker |
Paper # | DC2005-86 |
Date of Issue |
Conference Information | |
Committee | DC |
---|---|
Conference Date | 2006/3/9(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) | SpecC Program Checker Using System Dependence Graph |
Sub Title (in English) | |
Keyword(1) | SpecC |
Keyword(2) | System Dependence Graph |
Keyword(3) | Program Checker |
1st Author's Name | Shunsuke SASAKI |
1st Author's Affiliation | Department of Electronics Engineering, Graduate School of Engineering, University of Tokyo() |
2nd Author's Name | Tasuku NISHIHARA |
2nd Author's Affiliation | Department of Electronics Engineering, Graduate School of Engineering, University of Tokyo |
3rd Author's Name | Daisuke ANDO |
3rd Author's Affiliation | Department of Electronics Engineering, Undergraduate School of Engineering, University of Tokyo |
4th Author's Name | Masahiro FUJITA |
4th Author's Affiliation | VLSI Design & Education Center, University of Tokyo |
Date | 2006/3/9 |
Paper # | DC2005-86 |
Volume (vol) | vol.105 |
Number (no) | 671 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |