RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal.
Alireza MahzoonDaniel GroßeRolf DrechslerPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
- formal verification
- reverse engineering
- model checking
- program slicing
- software engineering
- bounded model checking
- symbolic model checking
- model checker
- automated verification
- object oriented
- software maintenance
- dynamic analysis
- gene regulatory networks
- computer aided design
- program understanding
- formal specification
- business rules
- platform independent
- legacy systems
- reverse engineer
- temporal logic
- databases
- conceptual schema
- software metrics