Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches.
| Autor: | 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. |
|---|---|
| Zdroj: | 2008 IEEE International Conference on Systems, Man & Cybernetics; 2008, p2093-2098, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|