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] |