High-Level Synthesis of Key Based Obfuscated RTL Datapaths

被引:0
|
作者
Islam, Sheikh Ariful [1 ]
Katkoori, Srinivas [1 ]
机构
[1] Univ S Florida, Dept Comp Sci & Engn, Tampa, FL 33620 USA
关键词
PROTECTION; DESIGN;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Reverse engineering (RE) a register transfer level (RTL) description allows an attacker to counterfeit intellectual property (IP) as well as introduce hardware trojans. To mitigate this risk, RTL obfuscation can be employed. Most of the existing obfuscation methods are targeted at gate-level and layout-level. In this work, we propose key based RTL obfuscation scheme at an early design phase during high-level synthesis (HLS). Given a control data flow graph (CDFG), obfuscation points are identified during scheduling and obfuscation logic is inserted during the datapath generation phase. In order to keep performance overhead low, such insertion is done only on noncritical paths. We implemented the proposed obfuscation technique in an in-house HLS system and the obfuscated RTL designs were synthesized to gate-level with Synopsys Design compiler targeting 90nm CMOS technology library. Based on the experimental results on four datapath intensive benchmarks, we demonstrate that proposed approach obfuscates the design with extremely low probability of reverse engineering. For a 32-bit obfuscation key, the average area, delay, and power overheads are 2.45%, 2.65%, and 2.61% respectively, which are reasonable.
引用
收藏
页码:407 / 412
页数:6
相关论文
共 50 条
  • [21] COMPARING RTL AND HIGH-LEVEL SYNTHESIS METHODOLOGIES IN THE DESIGN OF A THEORA VIDEO DECODER IP CORE
    Piga, Leonardo
    Rigo, Sandro
    2009 5TH SOUTHERN CONFERENCE ON PROGRAMMABLE LOGIC, PROCEEDINGS, 2009, : 135 - 140
  • [22] A novel method for high-level synthesis of datapaths in digital filters using a moth-flame optimization algorithm
    Mohammad Reza Esmaeili
    Seyed Hamid Zahiri
    Seyed Mohammad Razavi
    Evolutionary Intelligence, 2020, 13 : 399 - 414
  • [23] A novel method for high-level synthesis of datapaths in digital filters using a moth-flame optimization algorithm
    Esmaeili, Mohammad Reza
    Zahiri, Seyed Hamid
    Razavi, Seyed Mohammad
    EVOLUTIONARY INTELLIGENCE, 2020, 13 (03) : 399 - 414
  • [24] HIGH-LEVEL SYNTHESIS
    PAWLAK, A
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 261 - 261
  • [25] A methodology to take credit for high-level verification during RTL verification
    Frederic Doucet
    Robert Kurshan
    Formal Methods in System Design, 2017, 51 : 395 - 418
  • [26] An RTL design-space exploration method for high-level applications
    Kao, PC
    Hsieh, CK
    Wu, ACH
    PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 162 - 167
  • [27] An RTL design-space exploration method for high-level applications
    Kao, Peng-Cheng
    Hsieh, Chih-Kuang
    Su, Ching-Feng
    Wu, Allen C.-H.
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2001, E84-A (11) : 2648 - 2654
  • [28] Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models
    Xing, Yue
    Gupta, Aarti
    Malik, Sharad
    27TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC 2022, 2022, : 154 - 159
  • [29] A High-level Synthesis Design Flow from ESL to RTL with Multi-parametric Optimization Objective
    Sengupta, Anirban
    Sedaghat, Reza
    IETE JOURNAL OF RESEARCH, 2011, 57 (02) : 172 - 189
  • [30] A methodology to take credit for high-level verification during RTL verification
    Doucet, Frederic
    Kurshan, Robert
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (02) : 395 - 418