Automatic monitor generation from regular expression based specifications for module interface verification.

Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara

Browse the full ISCAS paper archive.