Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. - Cássio L. Rodrigues; Fábio Jorge Almeida Morais; Leandro Max L. Silva; Karina R. G. da Silva; Jorge C. A. de Figueiredo; Dalton Dario Serey Guerrero; Elmar U. K. Melcher (SMC, 2008)