Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering.
Cunxi YuMaciej J. CiesielskiPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2019)
Keyphrases
- formal analysis
- reverse engineering
- galois field
- cellular automata
- formal methods
- software engineering
- software maintenance
- formal specification
- object oriented
- dynamic analysis
- gene regulatory networks
- program understanding
- reverse engineer
- agent model
- business rules
- conceptual schema
- s box
- ban logic
- model checking
- legacy systems
- databases
- database
- asynchronous circuits