Валидация комплектов средств проектирования в кремнии является ключевой задачей для полупроводниковых технологий любого уровня. Переход на современные субмикронные технологии значительно повышает её актуальность из-за увеличения сложности и стоимости проектирования СБИС. Данная работа посвящена одному из этапов разработки метода валидации в кремнии библиотек стандартных элементов: построению теоретико-множественной модели тестовой структуры. В работе приведены сведения о составе и параметрах теоретико-множественной модели тестовой структуры для валидации библиотеки стандартных элементов. Предлагаемая модель расширена для использования с несколькими библиотеками. Приведены результаты применения предлагаемой модели для библиотек с топологическими нормами 180, 90 и 28 нм.
Verification of silicon digital design kit is a critical task for semiconductor technologies across all scales. The transition to advanced submicron technologies has significantly heightened its relevance due to the escalating complexity and cost of VLSI design. This article presents the development of a set-theoretic model for a test structure aimed at verifying standard digital cell libraries. The proposed model formally describes the hierarchy of components, including elements under test (combinational and sequential), selection and control blocks, input stimulus generation blocks, signal output blocks, and auxiliary hierarchical blocks. The model enables the estimation of the number of inputs and outputs of the verification structure based on library characteristics, such as the number of elements, quantity and bit-width of inputs and outputs, and logical functions of the elements. The results of applying the model are demonstrated using industrial libraries with process nodes of 180 nm, 90 nm, and 28 nm. A 6.4-fold increase in the number of tested elements (from 199 to 1274) results in only a 1.3-fold growth in the total number of inputs/outputs (from 25 to 32), confirming the model’s efficiency. Particular emphasis is placed on reducing the test structure area while maintaining verification completeness.