Login / Signup

Fault Injection for Verifying Testability at the VHDL Level.

S. R. SewardParag K. Lala
Published in: ITC (2003)
Keyphrases
  • fault injection
  • model checking
  • java card
  • fault model
  • case study
  • access control
  • smart card
  • hardware design