%0 Journal Article
%T Formalization of topology and electrical circuit verification for computer-aided design systems
%A Skvortsova, T.V.
%A Zolnikov, K.V.
%A Plotnikov, A.M.
%A Scorkin, I.V.
%K LVS-project Verification, xRC-project extraction, Physical Project Verification, Cadence Physical Verification System, LVS-project verification, Calibre
%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