Extracting a Logic Gate Network from a Transistor-Level CMOS Circuit
- Autores: Cheremisinov D.1, Cheremisinova L.1
-
Afiliações:
- United Institute of Informatics Problems, National Academy of Sciences of Belarus
- Edição: Volume 48, Nº 3 (2019)
- Páginas: 187-196
- Seção: Article
- URL: https://journals.rcsi.science/1063-7397/article/view/187129
- DOI: https://doi.org/10.1134/S106373971903003X
- ID: 187129
Citar
Resumo
In this paper, we address the problem of converting a flat CMOS circuit of transistors in the SPICE format into a hierarchical circuit of CMOS gates in the same format. This problem arises in the process of layout versus schematic (LVS) verification, as well as when reengineering integrated circuits. A method for recognizing subcircuits (CMOS gates) is described. The method is implemented as a C++ program; it recognizes subcircuits that are described by the same logic functions but are not isomorphic at the transistor level as different ones. This provides the isomorphism of the original and decompiled circuits.
Sobre autores
D. Cheremisinov
United Institute of Informatics Problems, National Academy of Sciences of Belarus
Autor responsável pela correspondência
Email: cher@newman.bas-net.by
Belarus, Minsk, 220012
L. Cheremisinova
United Institute of Informatics Problems, National Academy of Sciences of Belarus
Email: cher@newman.bas-net.by
Belarus, Minsk, 220012