Felice Balarin, Roberto Passerone. Functional verification methodology based on formal interface specification and transactor generation. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 1013-1018, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
Abstract is missing.