Login / Signup

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

Cássio L. RodriguesFábio Jorge Almeida MoraisLeandro Max L. SilvaKarina R. G. da SilvaJorge C. A. de FigueiredoDalton Dario Serey GuerreroElmar U. K. Melcher
Published in: SMC (2008)
Keyphrases
  • functional verification
  • coloured petri nets
  • formal verification
  • model checking
  • hierarchical structure
  • database systems
  • parallel processing
  • design methodology