Extraction of logical networks during decompiling transistor-level CMOS circuit descriptions

Objectives. The problem of restoring the functional description of digital VLSI devices presented at the transistor level is considered. The objective of the work is to develop means for extraction of blocks representing logical networks from two-level descriptions of CMOS circuits at the transistor level, which were obtained as a result of recognition (extraction) of subcircuits that implement logic elements.

Methods. Graph based methods and software tools are proposed for extracting a connected blocks representing a logical network from two-level descriptions of a transistor circuits in SPICE format. In the graph interpretation, the task is reduced to constructing a labeled directed graph of a logical network based on a labeled undirected bipartite graph specifying a two-level description of the transistor circuit.

Results. The proposed method makes it possible to identify lexicographically ranked logical networks, from which a transition is made to logical equations that specify the functions implemented at the outputs of the resulting networks. Software tools have been developed that provide the generation of a hierarchical description in SPICE format that implements the original circuit at the transistor level, as well as descriptions of found logical networks in the SF language of hierarchical structural and functional descriptions of discrete devices and in high-level languages (VHDL and Verilog).

Conclusion. The developed methods are implemented in C++, included in the program for decompiling transistor CMOS circuits and tested within it on practical examples of transistor-level circuits. The paper provides examples of reverse engineering of some practical transistor circuits.

1. Baker R. J. CMOS Circuit Design, Layout, and Simulation. Third edition. Wiley-IEEE Press, 2010, 1214 p.

2. Abadir M. S., Ferguson J. An improved layout verification algorithm (LAVA). Proceedings of the European Design Automation Conference, Glasgow, UK, 12–15 March 1990. Glasgow, 1990, рр. 391–395.

3. Hunt V. D. Reengineering: Leveraging the Power of Integrated Product Development. Wiley, 1993, 283 p.

4. Rostami M., Koushanfar F., Karri R. A primer on hardware security: Models, methods, and metrics. Proceedings of the IEEE, 2014, vol. 102, no. 8, pp. 1283–1295.

5. Tehranipoor M., Koushanfar F. A survey of hardware trojan taxonomy and detection. IEEE Design & Test of Computers, 2010, vol. 27, no. 1, pp. 10–25.

6. Belous A. I., Solodukha V. A. Osnovy kiberbezopasnosti. Standarty, kontseptsii, metody i sredstva obespecheniya. Fundamentals of Cybersecurity. Standards, Concepts, Methods and Means of Support. Moscow, Tekhnosfera, 2021, 482 p. (In Russ.).

7. Cheremisinov D. I., Cheremisinova L. D. Extracting a logic gate network from a transistor-level CMOS circuit. Mikrojelektronika [Russian Microelectronics], 2019, vol. 48, no. 3, рр. 224–234. https://doi.org/10.1134/S0544126919030037 (In Russ.).

8. Yang L., Shi C.-J. R. FROSTY: A program for fast extraction of high-level structural representation from circuit description for industrial CMOS circuits. Integration the VLSI Journal, 2006, vol. 39, no 4, рр. 311–339.

9. Zhang N., Wunsch D. C., Harary F. The subcircuit extraction problem. Proceedings IEEE International Behavioral Modeling and Simulation Workshop, 2005, vol. 33(3), рр. 22–25.

10. Han M., Kim H., Gu G. Efficient Subgraph Matching: Harmonizing Dynamic Programming, Adaptive Matching Order, and Failing Set Together. Proceedings of International conference on Management of Data (SIGMOD '19), Amsterdam, Netherlands, 30 June – 5 July 2019. Amsterdam, 2019, рр. 1429–1446.

11. Cheremisinov D. I., Cheremisinova L. D. Canonization of graphs during transistor circuits decompilation. Informatika [Informatics], 2022, vol. 19, no. 3, pp. 25−39 (In Russ.). https://doi.org/10.37661/1816-0301-2022-19-3-25-39 (In Russ.).

12. Cheremisinov D. I., Cheremisinova L. D. Logical gates recognition in a flat transistor circuit. Informatika [Informatics], 2021, vol. 18, no. 4, pp. 96−107. https://doi.org/10.37661/1816-0301-2021-18-4-96-107 (In Russ.).

13. Bibilo P. N., Romanov V. I. Logicheskoye proyektirovaniye diskretnykh ustroystv s ispol'zovaniyem produktsionno-freymovoy modeli predstavleniya znaniy. Logical Design of Discrete Devices Using a ProductionFrame Model of Knowledge Representation. Minsk, Belaruskaja navuka, 2011, 279 p. (In Russ.).

14. Bibilo P. N., Avdeyev N. A., Kardash S. N., Kiriyenko N. A., Lankevich Yu. Yu., …, Cheremisinova L. D. A System for Logical Design of Custom CMOS VLSI Functional Blocks with Reduced Power Consumption. Mikrojelektronika [Russian Microelectronics], 2018, vol. 47, no. 1, pp. 72–88 (In Russ.).

15. Rabaev J. M., Chandrakasan A., Nikolic B. Digital Integrated Circuits, 2nd edition. Pearson, 2002, 800 p.

16. Cheremisinov D. I., Cheremisinova L. D. Recognition of logical structures from pass transistors in a CMOS circuit. Informacionnye tehnologii i sistemy 2023 (ITS 2023) : materialy Mezhdunarodnoj nauchnoj konferencii, Minsk, Belarus', 22 nojabrja 2023 g. [Information Technologies and Systems 2023 (ITS 2023) : Proceedings of the International Scientific Conference, Minsk, Belarus, 22 November 2023]. Minsk, Belorusskij gosudarstvennyj universitet informatiki i radiojelektroniki, 2023, pp. 113–114 (In Russ.).

17. Cheremisinov D. I. Analiz i preobrazovaniye strukturnykh opisaniy SBIS. Analysis and Transformation of VLSI Structural Descriptions. Minsk, Belaruskaja navuka, 2006, 275 p. (In Russ.).

18. Cheremisinov D. I., Cheremisinova L. D. Verification of logic circuits from CMOS transistors. Novyye informatsionnyye tekhnologii v issledovanii slozhnykh struktur : materialy 13-j Mezhdunarodnoj konferencii, 7–9 sentyabrya 2020 g. [New Information Technologies in the Study of Complex Structures : Proceedings of the 13th International Conference, 7–9 September 2020]. Tomsk, Izdatel'skij dom Tomskogo gosudarstvennogo universiteta, 2020, pp. 150–151 (In Russ.).