Pre-silicon Formal Verification of JTAG Instruction Opcodes for Security.
Nicole FernKwang-Ting (Tim) ChengPublished in: ITC (2018)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- access control
- automated verification
- information security
- network security
- security requirements
- low cost
- symbolic model checking
- cryptographic protocols
- intrusion detection
- high density
- post test
- high speed
- multimedia
- statistical databases
- key management
- temporal logic
- x ray
- program slicing
- gallium arsenide
- space charge
- instruction set
- security issues
- security policies