TY JOUR TI A set-theoretic model of a test structure for verifying in silicon libraries of standard digital elements KW VLSI KW standard cell library KW silicon verification KW set-theoretic model KW design automation KW submicron technologies. JO Modeling of systems and processes AU Il'in, S.A. PY 2025 IS PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov