Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques.
Jinpeng LvPriyank KallaPublished in: VLSI Design (2012)
Keyphrases
- formal verification
- computer algebra
- galois field
- cellular automata
- model checking
- theorem prover
- model checker
- s box
- bounded model checking
- symbolic model checking
- automated verification
- recursive algorithm
- sufficient conditions
- automated theorem provers
- computer algebra systems
- machine learning
- temporal logic
- knowledge based systems
- artificial intelligence