TY  JOUR
TI  Formalization of topology and electrical circuit verification for computer-aided design systems
KW  LVS-project Verification
KW  xRC-project extraction
KW  Physical Project Verification
KW  Cadence Physical Verification System
KW  LVS-project verification
KW  Calibre
JO  Modeling of systems and processes
AU  Skvortsova, T.V.
AU  Zolnikov, K.V.
AU  Plotnikov, A.M.
AU  Scorkin, I.V.
PY  2024
IS  17
PB  FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov