Login / Signup

HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms.

Liang-Bi ChenJiun-Cheng JuChien-Chou WangIng-Jer Huang
Published in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
  • high speed
  • cryptographic protocols
  • lightweight
  • low cost
  • formal analysis
  • functional verification
  • real time
  • multi agent systems
  • high density
  • security analysis