Reverse Engineering of Split Manufactured Sequential Circuits Using Satisfiability Checking.
Suyuan ChenRanga VemuriPublished in: ICCD (2018)
Keyphrases
- reverse engineering
- software engineering
- software maintenance
- gene regulatory networks
- object oriented
- dynamic analysis
- program understanding
- conceptual schema
- high speed
- software evolution
- reverse engineer
- business rules
- computer aided design
- genetic regulatory networks
- software product
- legacy systems
- data sets
- information systems
- database