Y. Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara. Automatic monitor generation from regular expression based specifications for module interface verification. In International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan. pages 3555-3558, IEEE, 2005. [doi]
Abstract is missing.