|
|
|
|
|
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 # |
| SIP, ICD, IE, IPSJ-SLDM |
2005-10-21
15:30 |
Miyagi |
Ichinobo, Sakunami-Spa |
A Monitor Generation Method for Formal Monitor-based Verification Considering Input Constraints
Yosuke Kakiuchi (Osaka Univ.), Akira Kitajima (Osaka Electro-Communication Univ.), Kiyoharu Hamaguchi, Toshinobu Kashiwabara (Osaka Univ.) |
In order to verify hardware module interfaces, various verification methods have been proposed. This paper focuses on fo... [more] |
SIP2005-127 ICD2005-146 IE2005-91
pp.73-78 |
| CPSY, VLD, IPSJ-SLDM |
2005-01-25
14:10 |
Kanagawa |
|
A dividing technique of assertions for an interface protocol used in a divide and conquer approach of formal verification
Hironao Matsushima, Akira Kitajima (OECU) |
[more] |
VLD2004-104 CPSY2004-70
pp.39-44 |
|
|
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|