A Method of Formal Verification of Cryptographic Circuits.
Kanji HirabayashiPublished in: J. Electron. Test. (1998)
Keyphrases
- formal verification
- objective function
- high accuracy
- high precision
- classification method
- experimental evaluation
- similarity measure
- synthetic data
- detection method
- dynamic programming
- cost function
- model checking
- knowledge representation
- computational cost
- high speed
- segmentation algorithm
- pairwise
- computational complexity
- decision trees