Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches | IEEE Conference Publication | IEEE Xplore