Login / Signup

BUSpec: A framework for generation of verification aids for standard bus protocol specifications.

Bhaskar PalAnsuman BanerjeePallab DasguptaP. P. Chakrabarti
Published in: Integr. (2007)
Keyphrases
  • probabilistic model
  • real time
  • main contribution
  • protocol specification
  • database
  • neural network
  • high level
  • face recognition
  • lightweight
  • theoretical framework
  • concurrent systems