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