Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches.

Cssio L. Rodrigues, Fbio 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

Browse the full SMC paper archive.