TY  JOUR
TI  Increasing formalization of tasks of verification of topology and electrical diagram for CAD-CAM design systems
KW  LVS project verification
KW  xRC project extraction
KW  physical project verification
KW  Cadence Physical Verification System
KW  LVS project verification
KW  Caliber
KW  artificial intelligence.
JO  Modeling of systems and processes
AU  Poluektov, A.V.
AU  Zolnikov, K.V.
AU  Achkasov, A.V.
AU  Chevychelov, Y.A.
PY  2024
IS  17
PB  FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov