![]() |
| 2005 | ||
|---|---|---|
| 1 | EE | Y. Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Automatic monitor generation from regular expression based specifications for module interface verification. ISCAS (4) 2005: 3555-3558 |
| 1 | Kiyoharu Hamaguchi | [1] |
| 2 | Y. Kakiuchi | [1] |
| 3 | Toshinobu Kashiwabara | [1] |