|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-29 13:30 |
Fukuoka |
Kitakyushu International Conference Center |
[Special Talk]
SystemVerilog Tutorial Kasumi Hamaguchi (Panasonic), Takaaki Akashi (Synopsys), Takeharu Yui (ONW), Kenji Goto (Cadence), Miyuki Okamoto (SANYO), Masashi Sugiura (Zuken), Takehiko Tsuchiya (Toshiba), Yukio Chiwata (Fujitsu), Hirokuni Taketazu (Panasonic), KunDo Lee (Mentor), Yoshio Takamine (Renesas) |
[more] |
VLD2006-66 DC2006-53 RECONF2006-38 pp.1-13 |
VLD, ICD, DC, IPSJ-SLDM |
2005-12-02 15:50 |
Fukuoka |
Kitakyushu International Conference Center |
Structural Coverage of Traversed Transitions for Symbolic Model Checking Xingwen Xu, Shinji Kimura (Waseda Univ.), Kazunari Horikawa, Takehiko Tsuchiya (Toshiba) |
Coverage estimation for model checking has become an important issue in practical formal verification. Transition traver... [more] |
VLD2005-87 ICD2005-182 DC2005-64 pp.65-70 |
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|