Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches
Rodrigues, C.L., Morais, F.J., Silva, L.M.L., da Silva, K.R.G., de Figueiredo, J.C.A., Guerrero, D.D.S., Melcher, E.
Published in 2008 IEEE International Conference on Systems, Man and Cybernetics (01.10.2008)
Published in 2008 IEEE International Conference on Systems, Man and Cybernetics (01.10.2008)
Get full text
Conference Proceeding