Back to Search
Start Over
IP protection through gate-level netlist security enhancement
- Source :
- Integration. 58:563-570
- Publication Year :
- 2017
- Publisher :
- Elsevier BV, 2017.
-
Abstract
- In modern Integrated Circuits (IC) design flow, from specification to chip fabrication, various security threats are emergent. These range from malicious modifications in the design, to the Electronic Design Automation (EDA) tools, during layout or fabrication, or to the packaging. Of particular concern are modifications made to third-party IP cores and commercial off-the-shelf (COTS) chips where no Register Transfer Level (RTL) code or golden models are available. While chip level reverse engineering techniques can help rebuild circuit gate-level netlist from fabricated chips, there still lacks a netlist reverse engineering tool which can recover the full functionality of the rebuilt netlist. Toward this direction, we develop a tool, named Reverse Engineering Finite State Machine (REFSM), that helps end-users reconstruct a high-level description of the control logic from a flattened netlist. We demonstrate that REFSM effectively recovers circuit control logic from netlists with varying degrees of complexity. Experimental results also show that the REFSM can easily identify malicious logic from a flattened (or even obfuscated) netlist. Supported by REFSM, another tool, called Reverse Engineering Hardware Obfuscation for Protection (REHOP), is developed to enhance gate-level netlist security without learning the RTL code.
- Subjects :
- 021110 strategic, defence & security studies
Engineering
Finite-state machine
business.industry
Formal equivalence checking
Design flow
0211 other engineering and technologies
Hardware_PERFORMANCEANDRELIABILITY
02 engineering and technology
020202 computer hardware & architecture
Hardware and Architecture
Embedded system
Hardware_INTEGRATEDCIRCUITS
0202 electrical engineering, electronic engineering, information engineering
Netlist
Hardware obfuscation
Electronic design automation
Electrical and Electronic Engineering
Control logic
business
Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION
Software
Hardware_LOGICDESIGN
Register-transfer level
Subjects
Details
- ISSN :
- 01679260
- Volume :
- 58
- Database :
- OpenAIRE
- Journal :
- Integration
- Accession number :
- edsair.doi...........ad765462a9a076185dab8648659f7259
- Full Text :
- https://doi.org/10.1016/j.vlsi.2016.10.014