skip to main content
10.1145/3508352.3549471acmconferencesArticle/Chapter ViewAbstractPublication PagesiccadConference Proceedingsconference-collections
research-article

AppGNN: Approximation-Aware Functional Reverse Engineering Using Graph Neural Networks

Published: 22 December 2022 Publication History

Abstract

The globalization of the Integrated Circuit (IC) market is attracting an ever-growing number of partners, while remarkably lengthening the supply chain. Thereby, security concerns, such as those imposed by functional Reverse Engineering (RE), have become quintessential. RE leads to disclosure of confidential information to competitors, potentially enabling the theft of intellectual property. Traditional functional RE methods analyze a given gate-level netlist through employing pattern matching towards reconstructing the underlying basic blocks, and hence, reverse engineer the circuit's function.
In this work, we are the first to demonstrate that applying Approximate Computing (AxC) principles to circuits significantly improves the resiliency against RE. This is attributed to the increased complexity in the underlying pattern-matching process. The resiliency remains effective even for Graph Neural Networks (GNNs) that are presently one of the most powerful state-of-the-art techniques in functional RE. Using AxC, we demonstrate a substantial reduction in GNN average classification accuracy- from 98% to a mere 53%. To surmount the challenges introduced by AxC in RE, we propose the highly promising AppGNN platform, which enables GNNs (still being trained on exact circuits) to: (i) perform accurate classifications, and (ii) reverse engineer the circuit functionality, notwithstanding the applied approximation technique. AppGNN accomplishes this by implementing a novel graph-based node sampling approach that mimics generic approximation methodologies, requiring zero knowledge of the targeted approximation type.
We perform an extensive evaluation targeting wide-ranging adder and multiplier circuits that are approximated using various AxC techniques, including state-of-the-art evolutionary-based approaches. We show that, using our method, we can improve the classification accuracy from 53% to 81% when classifying approximate adder circuits that have been generated using evolutionary algorithms, which our method is oblivious of. Our AppGNN framework is publicly available under https://github.com/ML-CAD/AppGNN

References

[1]
Lilas Alrahis, Satwik Patnaik, Muhammad Abdullah Hanif, Hani Saleh, Muhammad Shafique, and Ozgur Sinanoglu. 2021. GNNUnlock+: A Systematic Methodology for Designing Graph Neural Networks-based Oracle-less Unlocking Schemes for Provably Secure Logic Locking. IEEE Transactions on Emerging Topics in Computing (2021), 1-1.
[2]
Lilas Alrahis, Abhrajit Sengupta, Johann Knechtel, Satwik Patnaik, Hani Saleh, Baker Mohammad, Mahmoud Al-Qutayri, and Ozgur Sinanoglu. 2021. GNN-RE: Graph Neural Networks for Reverse Engineering of Gate-Level Netlists. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2021), 1-1.
[3]
Johanna Baehr, Alessandro Bernardini, Georg Sigl, and Ulf Schlichtmann. 2019. Machine Learning and Structural Characteristics for Reverse Engineering. In Proceedings of the 24th Asia and South Pacific Design Automation Conference (Tokyo, Japan) (ASPDAC '19). Association for Computing Machinery, New York, NY, USA, 96--103.
[4]
Ulbert J. Botero, Ronald Wilson, Hangwei Lu, Mir Tanjidur Rahman, Mukhil A. Mallaiyan, Fatemeh Ganji, Navid Asadizanjani, Mark M. Tehranipoor, Damon L. Woodard, and Domenic Forte. 2021. Hardware Trust and Assurance through Reverse Engineering: A Tutorial and Outlook from Image Analysis and Machine Learning Perspectives. ACM Journal on Emerging Technologies in Computing Systems 17, 4, Article 62 (jun 2021), 53 pages.
[5]
Burcin Cakir and Sharad Malik. 2018. Reverse Engineering Digital ICs through Geometric Embedding of Circuit Graphs. ACM Transactions on Design Automation of Electronic Systems 23, 4, Article 50 (July 2018), 19 pages.
[6]
Yu-Yun Daiand Robert K. Braytont. 2017. Circuit recognition with deep learning. In 2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST). 162--162.
[7]
Brunno Alves de Abreu, Guilherme Paim, Mateus Grellert, and Sergio Bampi. 2022. C2PAx: Complexity-Aware Constant Parameter Approximation for Energy-Efficient Tree-Based Machine Learning Accelerators. IEEE Transactions on Circuits and Systems I: Regular Papers (2022), 1--11.
[8]
Arash Fayyazi, Soheil Shababi, Pierluigi Nuzzo, Shahin Nazarian, and Massoud Pedram. 2019. Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations. In 2019 Design, Automation Test in Europe Conference Exhibition (DATE). 638--641.
[9]
Bharat Garg, Sujit Kumar Patel, and Sunil Dutt. 2020. LoBA: A leading one bit based imprecise multiplier for efficient image processing. Journal of Electronic Testing 36 (2020), 429--437.
[10]
Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanović, and Sharad Malik. 2014. Template-based circuit understanding. In 2014 Formal Methods in Computer-Aided Design (FMCAD). 83--90.
[11]
V. Gupta, D. Mohapatra, and Raghunathan. 2013. Low-Power Digital Signal Processing Using Approximate Adders. IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems 32, 1 (Jan 2013), 124--137.
[12]
Jie Han and Michael Orshansky. 2013. Approximate computing: An emerging paradigm for energy-efficient design. In 2013 18th IEEE European Test Symposium (ETS). 1--6.
[13]
Thomas N. Kipf and Max Welling. 2017. Semi-Supervised Classification with Graph Convolutional Networks. In International Conference on Learning Representations (ICLR).
[14]
Pran Kurup and Taher Abbasi. 2011. Logic Synthesis Using Synopsys (2nd ed.). Springer Publishing Company, Incorporated.
[15]
Wenchao Li, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, and Sanjit A. Seshia. 2013. WordRev: Finding word-level structures in a sea of bit-level gates. In 2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST). 67--74.
[16]
Wenchao Li, Zach Wasson, and Sanjit A. Seshia. 2012. Reverse engineering circuits using behavioral pattern mining. In 2012 IEEE International Symposium on Hardware-Oriented Security and Trust. 83--88.
[17]
H. Mahdiani, A. Ahmadi, S. Fakhraie, and C. Lucas. 2010. Bio-inspired imprecise computational blocks for efficient VLSI implementation of soft-computing applications. IEEE Transactions on Circuits and Systems I: Regular Papers 57, 4 (Apr 2010), 850--862.
[18]
Ian McLoughlin. 2011. Reverse engineering of embedded consumer electronic systems. In 2011 IEEE 15th International Symposium on Consumer Electronics (ISCE). 352--356.
[19]
Vojtech Mrazek, Radek Hrbacek, Zdenek Vasicek, and Lukas Sekanina. 2017. EvoApprox8b: Library of Approximate Adders and Multipliers for Circuit Design and Benchmarking of Approximation Methods. In Design, Automation Test in Europe Conference Exhibition (DATE), 2017. 258--261.
[20]
Guilherme Paim, Leandro Mateus Giacomini Rocha, Hussam Amrouch, Eduardo Antônio César da Costa, Sergio Bampi, and Jörg Henkel. 2020. A Cross-Layer Gate-Level-to-Application Co-Simulation for Design Space Exploration of Approximate Circuits in HEVC Video Encoders. IEEE Transactions on Circuits and Systems for Video Technology 30, 10 (2020), 3814--3828.
[21]
Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, and Sharad Malik. 2014. Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Transactions on Emerging Topics in Computing 2, 1 (2014), 63--80.
[22]
Randy Torrance and Dick James. 2009. The State-of-the-Art in IC Reverse Engineering. In Proceedings of the 11th International Workshop on Cryptographic Hardware and Embedded Systems (Lausanne, Switzerland) (CHES '09). Springer-Verlag, Berlin, Heidelberg, 363--381.
[23]
Petar Veličković, Guillem Cucurull, Arantxa Casanova, Adriana Romero, Pietro Liò, and Yoshua Bengio. 2018. Graph Attention Networks. In International Conference on Learning Representations (ICLR).
[24]
Rangharajan Venkatesan, Amit Agarwal, Kaushik Roy, and Anand Raghunathan. 2011. MACACO: Modeling and analysis of circuits for approximate computing. In 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). 667--673.
[25]
K. Verma, P. Brisk, and P. Ienne. 2008. Variable latency speculative addition: A new paradigm for arithmetic circuit design. In 2008 Design, Automation and Test in Europe (DATE). 1250--1255.
[26]
Reza Zendegani, Mehdi Kamal, Milad Bahadori, Ali Kusha, and Massoud Pedram. 2017. RoBA Multiplier: A Rounding-Based Approximate Multiplier for HighSpeed yet Energy-Efficient Digital Signal Processing. IEEE Trans. on Very Large Scale Integration (VLSI) Systems 25, 2 (2017), 393--401.
[27]
Hanqing Zeng, Hongkuan Zhou, Ajitesh Srivastava, Rajgopal Kannan, and Viktor Prasanna. 2019. GraphSAINT: Graph Sampling Based Inductive Learning Method. In International Conference on Learning Representations (ICLR).
[28]
Georgios Zervakis, Iraklis Anagnostopoulos, Sami Alsalamin, Ourania Spantidi, Isai Roman-Ballesteros, Jorg Henkel, and Hussam Amrouch. 2022. Thermal-Aware Design for Approximate DNN Accelerators. IEEE Trans. Comput. (2022), 1--1.
[29]
Georgios Zervakis, Hassaan Saadat, Hussam Amrouch, Andreas Gerstlauer, Sri Parameswaran, and Jörg Henkel. 2021. Approximate Computing for ML: State-of-the-art, Challenges and Visions. In 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC). 189--196.
[30]
Ning Zhu, Wang Ling Goh, Weija Zhang, Kiat Seng Yeo, and Zhi Hui Kong. 2009. Design of low-power high-speed truncation-error-tolerant adder and its application in digital signal processing. IEEE transactions on very large scale integration (VLSI) systems 18, 8 (2009), 1225--1229.

Cited By

View all
  • (2024)HDCircuit: Brain-Inspired HyperDimensional Computing for Circuit Recognition2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE58400.2024.10546587(1-2)Online publication date: 25-Mar-2024
  • (2023)Graph Neural NetworksProceedings of the 28th Asia and South Pacific Design Automation Conference10.1145/3566097.3568345(83-90)Online publication date: 16-Jan-2023
  • (2023)Graph Neural Networks for Hardware Vulnerability Analysis— Can you Trust your GNN?2023 IEEE 41st VLSI Test Symposium (VTS)10.1109/VTS56346.2023.10140095(1-4)Online publication date: 24-Apr-2023
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
October 2022
1467 pages
ISBN:9781450392174
DOI:10.1145/3508352
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

  • IEEE-EDS: Electronic Devices Society
  • IEEE CAS
  • IEEE CEDA

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 December 2022

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. GNN
  2. approximate computing
  3. graph neural networks
  4. machine learning
  5. reverse engineering
  6. security

Qualifiers

  • Research-article

Conference

ICCAD '22
Sponsor:
ICCAD '22: IEEE/ACM International Conference on Computer-Aided Design
October 30 - November 3, 2022
California, San Diego

Acceptance Rates

Overall Acceptance Rate 457 of 1,762 submissions, 26%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)32
  • Downloads (Last 6 weeks)2
Reflects downloads up to 28 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)HDCircuit: Brain-Inspired HyperDimensional Computing for Circuit Recognition2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE58400.2024.10546587(1-2)Online publication date: 25-Mar-2024
  • (2023)Graph Neural NetworksProceedings of the 28th Asia and South Pacific Design Automation Conference10.1145/3566097.3568345(83-90)Online publication date: 16-Jan-2023
  • (2023)Graph Neural Networks for Hardware Vulnerability Analysis— Can you Trust your GNN?2023 IEEE 41st VLSI Test Symposium (VTS)10.1109/VTS56346.2023.10140095(1-4)Online publication date: 24-Apr-2023
  • (2023)$\tt{PoisonedGNN}$: Backdoor Attack on Graph Neural Networks-Based Hardware Security SystemsIEEE Transactions on Computers10.1109/TC.2023.327112672:10(2822-2834)Online publication date: 1-Oct-2023
  • (2023)Design-Space Exploration of Multiplier Approximation in CNNs2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)10.1109/ISVLSI59464.2023.10238594(1-6)Online publication date: 20-Jun-2023
  • (2023)TrojanSAINT: Gate-Level Netlist Sampling-Based Inductive Learning for Hardware Trojan Detection2023 IEEE International Symposium on Circuits and Systems (ISCAS)10.1109/ISCAS46773.2023.10181403(1-5)Online publication date: 21-May-2023
  • (2023)Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)10.1109/ICCAD57390.2023.10323741(1-4)Online publication date: 28-Oct-2023
  • (2023)Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks2023 60th ACM/IEEE Design Automation Conference (DAC)10.1109/DAC56929.2023.10247828(1-6)Online publication date: 9-Jul-2023

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media