%0 Journal Article
%T Increasing formalization of tasks of verification of topology and electrical diagram for CAD-CAM design systems
%A Poluektov, A.V.
%A Zolnikov, K.V.
%A Achkasov, A.V.
%A Chevychelov, Y.A.
%K LVS project verification, xRC project extraction, physical project verification, Cadence Physical Verification System, LVS project verification, Caliber, artificial intelligence.
%J Modeling of systems and processes
%D 2024
%N 17
%P 9
%I FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov