УДК 621 Общее машиностроение. Ядерная техника. Электротехника. Технология машиностроения в целом
В статье предложена архитектура тестовой структуры для верификации библиотек стандартных ячеек в кремнии, основанная на конвейерно-распределительном подходе. Указанный подход позволяет снизить как количество входов и выходов, так и площадь, занимаемую тестовой структурой на кристалле в сравнении с традиционными подходами. Перечислены составляющие тестовой структуры, взаимосвязи между ними. Основное внимание уделено использованию мультиплексоров и демультиплексоров для управления процессами выбора, управления и вывода сигналов. Рассмотрены несколько вариантов компоновки вспомогательных иерархических блоков и соответствующих им блоков автоматизированного формирования входных воздействий для комбинационных ячеек. Выполнена численная оценка характеристик каждого из рассмотренных вариантов. Проведён сравнительный анализ применения предлагаемой тестовой структуры для верификации в кремнии библиотек стандартных цифровых элементов. Предложенная архитектура была успешно применена в тестовом кристалле для верификации трех библиотек стандартных элементов, разработанных по базовой технологии АО НИИМЭ КМОП 90 нм. Полнота верификации предлагаемой тестовой структуры по сравнению с использованием блоков кольцевых генераторов больше в 10,86 раза, схем из наборов ISCAS’85/89 – в 6,19-6,31 раза и достигает 99,94%. Площадь тестовой структуры в сравнении с площадью топологии блоков кольцевых генераторов на уменьшилась величину от 88% до 99%, а в сравнении с площадью топологии схем из наборов ISCAS’85/89 – на величину от 57% до 78%.
СБИС, тестирование, библиотека стандартных элементов, конвейерно-распределительная архитектура
I. Введение
Автоматизация как отдельных процедур, так и этапов в целом является необходимым условием развития современных маршрутов проектирования. Одним из ключевых элементов современного автоматизированного маршрута являются комплекты средств проектирования (КСП) в базисе полупроводниковой технологии и их неотъемлемая часть – библиотеки стандартных элементов (СЭ).
Последним этапом маршрута проектирования библиотеки является верификация в кремнии, которая позволяет подтвердить соответствие характеристик библиотеки техническому заданию. Под верификацией в данной работе понимается проверка всех состояний и переходов между ними при всех допустимых сочетаниях температуры и напряжения питания.
Большое число ячеек и как следствие, большое количество входных векторов и проверяемых состояний, ограничения на занимаемую тестовой структурой площадь и количество выводов микросхемы делают верификацию сложной задачей. [1-6]
Традиционные способы построения тестовых структур для верификации библиотек имеют ряд особенностей [7-9]:
- низкая полнота верификации элементов;
- большая занимаемая площадь;
- большое количество входов и выходов;
- отсутствие независимого доступа к каждому проверяемому элементу;
- необходимость ручного проектирования.
Указанные недостатки привели к необходимости разработки архитектуры тестовой структуры, которая бы могла одновременно обеспечивать независимый доступ к каждому проверяемому элементу, небольшую занимаемую площадь, небольшое количество входов и выходов и автоматизированное формирование входных воздействий.
Для проектирования тестовой структуры, обеспечивающей верификацию в кремнии библиотек стандартных цифровых элементов, была разработана архитектура тестовой структуры на основе конвейерно-распределительного подхода. В статье представлены основные элементы, входящие в её состав, и описаны их взаимосвязи. Далее приведена обобщённая архитектура тестовой структуры для верификации одной библиотеки, даны численные оценки результатов имплементации структуры на основе предлагаемой архитектуры в тестовые кристаллы по технологиям с топологическими нормами 90 нм [10].
1. P. Grigoryev, "Redhawk View Validation by Merging Different Sets of Cells for Logical Libraries with Different Technological Standards," 2020 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), St. Petersburg and Moscow, Russia, 2020, pp. 1809-1813, doi:https://doi.org/10.1109/EIConRus49466.2020.9039021
2. P. Grigoryev, "OA Verilog AMS Consistency Validation in logical Library with Different Technological Standards from 16 to 40 nm," 2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus), St. Petersburg, Moscow, Russia, 2021, pp. 1975-1978, doi:https://doi.org/10.1109/ElConRus51938.2021.9396687.
3. M. Dharani, M. Bharathi, N. Padmaja and K. Praveena, "Design and Verification process of Combinational Adder using UVM Methodology," 2023 International Conference on Advances in Electronics, Communication, Computing and Intelligent Information Systems (ICAECIS), Bangalore, India, 2023, pp. 359-362, doi:https://doi.org/10.1109/ICAECIS58353.2023.10170273.
4. M. Li, B. Cao, F. Lai and N. Zhang, "Design and Verification of Radiation Hardened Scanning D Flip-Flop," 2020 IEEE 3rd International Conference on Electronics Technology (ICET), Chengdu, China, 2020, pp. 87-90, doi:https://doi.org/10.1109/ICET49382.2020.9119693.
5. A. B. Chong et al., "Pre-silicon ASIC Library Validation" 2023 6th International Conference on Electronics Technology (ICET), Chengdu, China, 2023, pp. 442-448, doi:https://doi.org/10.1109/ICET58434.2023.10211972.
6. J. Yang-Scharlotta et al., "ASIC Flow for Space Radiation Tolerant Components on Commercial Process Technologies— Part 1 Library Validation," 2022 IEEE Aerospace Conference (AERO), Big Sky, MT, USA, 2022, pp. 1-10, doi:https://doi.org/10.1109/AERO53065.2022.9843660.
7. H. Zhang, S. Li and T. Iizuka, "A Single Ring-Oscillator-Based Test Structure for Timing Characterization of Dynamic Circuit," in IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 32, no. 5, pp. 938-951, May 2024, doi:https://doi.org/10.1109/TVLSI.2024.3370862
8. P. Sharma and B. P. Das, "On-Chip Characterization of Ultra-Low Voltage Standard Cell Library Considering Input Slew and Output Capacitance," in IEEE Transactions on Electron Devices, vol. 71, no. 1, pp. 308-315, Jan. 2024, doi:https://doi.org/10.1109/TED.2023.3319598
9. Методика автоматизированной верификации и валидации в кремнии комплекта средств проектирования цифровых СБИС / С. А. Ильин, Д. Ю. Копеикин, О. В. Ласточкин [и др.] // Наноиндустрия. – 2023. – Т. 16, № S9-1(119). – С. 249-252. – DOIhttps://doi.org/10.22184/1993-8578.2023.16.9s.249.252.
10. K. Li, H. Fang, Z. Ma, F. Yu, B. Zhang and Q. Xing, "Area-Efficient Pipeline Architecture for Serial Real-Valued Fast Fourier Transform," in IEEE Transactions on Very Large Scale Integration (VLSI) Systems, doi:https://doi.org/10.1109/TVLSI.2024.3496922.
11. Kumar, Guvvaladinne & Chandra, Maturi & Prasanna, K & Mahesh, M. (2021). Design and Implementation of AGU based FFT Pipeline Architecture. Journal of Physics: Conference Series. 2089. 012070.https://doi.org/10.1088/1742-6596/2089/1/012070.
12. Быханова, Н. В. Поиск рациональной структуры тестового генератора для подсистем встроенного самотестирования цифровых схем / Н. В. Быханова, С. Г. Мосин // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). – 2020. – № 1. – С. 89-94. – DOIhttps://doi.org/10.31114/2078-7707-2020-1-89-94.
13. Создание тестовых шаблонов для верификации микросхем на функционально-логическом уровне / Т. В. Скворцова, Ю. А. Литвинова, Е. В. Грошева [и др.] // Информационная безопасность и защита персональных данных. Проблемы и пути их решения: сборник материалов и докладов ХVI межрегиональная научно-практическая конференция, Брянск, 29 апреля 2024 года. – Брянск: Брянский государственный технический университет, 2024. – С. 248-251.
14. Основные принципы проектирования и методика применения многоразрядных триггеров на примере технологии КМОП 28 нм / С. А. Ильин, Д. Ю. Копейкин, О. В. Ласточкин, Д. С. Шипицин // Наноиндустрия. – 2023. – Т. 16, № S9-1(119). – С. 211-215. – DOIhttps://doi.org/10.22184/1993-8578.2023.16.9s.211.215
15. Свидетельство о государственной регистрации программы для ЭВМ № 2024614103 Российская Федерация. Программа для автоматизированной генерации комплекта высокоуровневых, технологически независимых представлений специализированной тестовой структуры и файла входных воздействий для валидации библиотек стандартных цифровых элементов в кремнии: № 2024612340: заявл. 08.02.2024: опубл. 20.02.2024 / Д. С. Шипицин, О. В. Ласточкин, А. А. Новиков [и др.]; заявитель Акционерное общество «Научно-исследовательский институт молекулярной электроники».
