Subcircuit Pattern Recognition in Transistor Level Circuits

Abstract

The paper presents a computer program for automatically extracting the hierarchy of a large-scale digital circuit from its transistor-level description derived from the layout of VLSI circuit. The considered problem arises in VLSI layout verification as well as in the circuit reengineering. The proposed subcircuit recognition algorithm extracts functional level structure from transistor-level circuit collecting transistors into gates without using any predefined cell library. The algorithm comes from a SPICE like network description and realizes three-step process. First, a structural approach in which gate structures are recognized as channel connected sequences of transistors is used. Then channel connected sequences of transistors which implement CMOS gates are searched for. And finally the method of subcircuit pattern recognition is used to gather the rest sequences of transistors into minimal number of classes of identical functional blocks. The presented algorithm has been implemented as a program in C++ and tested using practical transistor-level circuits.

This is a preview of subscription content, log in to check access.

Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.

REFERENCES

  1. 1

    M. S. Abadir and J. Ferguson, “An improved layout verification algorithm (LAVA),” in Proc. European Design Automation Conference (EDAC) (Glasgow, UK, 1990), IEEE, pp. 391–395.

  2. 2

    Logic Gate Recognition in Guardian LVS—Silvaco. Available at http://www.silvaco.com/content/appNotes/iccad/2-003_LogicGates.pdf (Accessed January 4, 2019).

  3. 3

    S. Kundu, “GateMaker: A transistor to gate level model extractor for simulation, automatic test pattern generation and verification,” in Proc. International Test Conference1998 (Washington, DC, USA), IEEE, pp. 372–381.

  4. 4

    V. D. Hunt, Reengineering: Leveraging the Power of Integrated Product Development (Wiley, Hoboken, 1993).

    Google Scholar 

  5. 5

    D. Conte, P. Foggia, C. Sansone, and M. Vento, “Thirty years of graph matching in pattern recognition,” Int. J. Pattern Recogn. Artif. Intell. 18 (3), pp. 265–298 (2004).

    Article  Google Scholar 

  6. 6

    R. J. Baker, CMOS Circuit Design, Layout, and Simulation, 3rd ed. (IEEE Press/Wiley, Hoboken, 2010).

    Google Scholar 

  7. 7

    A. Lester, P. Bazargan-Sabet, and A. Greiner, “YAGLE, a second generation functional abstractor for CMOS VLSI circuits,” in Proc. 10th Int. Conf. on Microelectronics (ICM98) (Monastir, Tunisia, 1998), IEEE, pp. 265–268.

  8. 8

    L. Yang and C.-J. R. Shi, “FROSTY: A program for fast extraction of high-level structural representation from circuit description for industrial CMOS circuits,” Integr. (VLSI J.) 39 (4), pp. 311–339 (2006).

  9. 9

    C. Ebeling, “GeminiII: A second generation layout validation program,” in Proc. IEEE Int. Conf. on Computer-Aided Design (ICCAD-89) (Santa Clara, CA, USA, 1988), pp. 322–325.

  10. 10

    M. Ohlrich, C. Ebeling, E. Ginting, and L. Sather, “SubGemini: Identifying SubCircuits using a fast subgraph isomorphism algorithm,” in Proc. 30th ACM/IEEE Design Automation Conference (Dallas, TX, USA, 1993), pp. 31–37.

  11. 11

    Z. Ling, “SubCircuit Extraction with SubGraph Isomorphism.” Available at http:http://software. nju.edu.cn/lingzong/papers/SCE.pdf (Accessed January 4, 2019).

  12. 12

    M. L. Bushnell and V. D. Agrawal, Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits (Springer Science + Business Media, New York, 2006).

  13. 13

    A. V. Levitin, Introduction to the Design and Analysis of Algorithms (Addison Wesley, Boston, MA, 2002).

    Google Scholar 

  14. 14

    L. D. Cheremisinova, Synthesis and Optimization of Combinational Structures of VLSI (OIPI NANB, Minsk, 2005) [in Russian].

    Google Scholar 

  15. 15

    A. I. Belous, V. A. Emel’yanov, and A. S. Turtsevich, Fundamentals of Circuit Design of Microelectronic Devices (Tekhnosfera, Moscow, 2012) [in Russian].

    Google Scholar 

  16. 16

    J. M. Rabaey, A. Chandrakasan, and B. Nikolic, Digital Integrated Circuits: A Design Perspective, 2nd ed. (Prentice Hall, Englewood Cliffs, NJ, 2003).

    Google Scholar 

  17. 17

    M. Qiao, H. Zhang, and H. Cheng, “Subgraph matching: on compression and computation,” Proc. VLDB Endowment 11 (2), pp. 176–188 (2017).

  18. 18

    B. D. McKay, “Practical graph isomorphism,” Congressus Numerantium 30, 45–87 (1981).

    MathSciNet  MATH  Google Scholar 

  19. 19

    T. Junttila and P. Kaski, “Engineering an efficient canonical labeling tool for large and sparse graphs,” in Proc. Meeting on Algorithm Engineering & Expermiments (New Orleans, LA, 2007), SIAM, pp. 135–149.

  20. 20

    Netgen version 1.5 Tutorial. Available at URL: http://opencircuitdesign.com/netgen/tutorial/tutorial.html (Accessed February 16, 2018).

Download references

Author information

Affiliations

Authors

Corresponding authors

Correspondence to D. Cheremisinov or L. Cheremisinova.

Ethics declarations

The authors declare that they have no conflicts of interest.

Additional information

Dmitry Ivanovich Cheremisinov. Born 1947. Graduated from the Tomsk State University in radiophysics and radioelectronics in 1970. Received candidate’s degree in 1985. Currently is leading researcher at the United Institute of Informatics Problems of National Academy of Sciences of Belarus and Associate Professor at the Byelorussian State University of Informatics and Radioelectronics. Scientific interests: logic design and testing of discrete control systems, programming technologies, concurrent systems. Author of more than 200 publications including 3 monographs.

Liudmila Dmitrievna Cheremisinova. Born 1947. Graduated from the Tomsk State University in radiophysics and radioelectronics in 1971. Received candidate’s degree in Engineering Cybernetics and Information Theory in 1980 and Doctor of Sciences degree in System Analysis, Control and Information Processing in 2001. Currently is principal researcher at the United Institute of Informatics Problems of National Academy of Sciences of Belarus and Professor at the Byelorussian State University of Informatics and Radioelectronics. Scientific interests: discrete mathematics, logic design and testing of discrete control systems, concurrent systems. Author of more than 340 publications including 10 monographs.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Cheremisinov, D., Cheremisinova, L. Subcircuit Pattern Recognition in Transistor Level Circuits. Pattern Recognit. Image Anal. 30, 160–169 (2020). https://doi.org/10.1134/S1054661820020042

Download citation

Keywords:

  • subcircuit extraction
  • graph matching
  • VLSI layout verification
  • circuit reengineering