Functional verification methodology based on formal interface specification and transactor generation

Bibliographic citation F. Balarin, R. Passerone, "Functional verification methodology based on formal interface specification and transactor generation" in Proceedings of the Conference on design, automation and test in Europe, Leuven, Belgium: European Design and Automation Association, 2006, p. 1013-1018. Proceedings of: DATE06, Munich, Germany, 6-10, March, 2006

Detail