IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 2 of 2  /   
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
 Results 1 - 2 of 2  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan