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 条
  • [31] A step towards intelligent translation from high-level design to RTL
    David, JP
    Bergeron, É
    4TH IEEE INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, 2004, : 183 - 188
  • [32] An RTL design-space exploration method for high-level applications
    Kao, PC
    Hsieh, CK
    Su, CF
    Wu, ACH
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11): : 2648 - 2654
  • [33] Accelerating RNN on FPGA with Efficient Conversion of High-Level Designs to RTL
    Li, Zongze
    Fu, Song
    2019 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2019, : 3355 - 3364
  • [34] Formal Equivalence Checking between High-Level and RTL Hardware Designs
    Castro Marquez, Carlos Ivan
    Strum, Marius
    Chau, Wang Jiang
    2013 14TH IEEE LATIN-AMERICAN TEST WORKSHOP (LATW2013), 2013,
  • [35] A Method to Abstract RTL IP Blocks into C plus plus Code and Enable High-Level Synthesis
    Bombieri, Nicola
    Liu, Hung-Yi
    Fummi, Franco
    Carloni, Luca
    2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
  • [36] Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code
    Bensaid, Samira Ait
    Asavoae, Mihail
    Thabet, Farhat
    Jan, Mathieu
    2022 IEEE 28TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2022, : 305 - 308
  • [37] High-Level Synthesis of Error Detecting Cores through Low-Cost Modulo-3 Shadow Datapaths
    Campbell, Keith A.
    Vissa, Pranay
    Pan, David Z.
    Chen, Deming
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [38] Self Similarity and Interval Arithmetic Based Leakage Optimization in RTL Datapaths
    Pendyala, Shilpa
    Katkoori, Srinivas
    2014 22ND INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2014,
  • [39] Advanced High-Level Synthesis techniques based on metamodel
    Cieszewski, Radoslaw
    Romaniuk, Ryszard
    Pozniak, Krzysztof
    Linczuk, Maciej
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2024, 70 (04) : 1049 - 1056
  • [40] High-level test synthesis based on controller redefinition
    Fernandez, V
    Sanchez, P
    ELECTRONICS LETTERS, 1997, 33 (19) : 1596 - 1597