«ՍԹԱՐ» հիշողության համակարգի օգտագործման ընթացքի ավտոմատացման և ստուգման մոտեցում / Ա. Ա. Խզարջյան։ Подход к автоматизации и проверке процесса использования СТАР-системы памяти / А. А. Хзарджян.

Պատ․ խմբ․՝ Ա․ Գ․ Նազարով (1957-1964) ; Մ․ Վ․ Կասյան (1964-1988) ; Ռ․ Մ․ Մարտիրոսյան (1989-2017 ) ; Գլխավոր խմբ․՝ Վ․ Շ․ Մելիքյան (2018-)

Electronic computers; Computer science ; Mathematics ; Science

STAR Memory System ; use flow ; formal verification ; System-on-Chip ; build in self-test ; intellectual property.

163-170

Modern SoC design restricted with Time to Market and yield. A widely used IP block in SoC is an embedded memory which is more inclined to defects. One of the well-known Infrastructural IP is a STAR Memory System (SMS) which is a general solution of BIST and repair. This paper introduces an approach of SMS use flow template library construction with application of formal verification algorithm. It is implemented as a supporting tool to optimize the SMS use flow design and verify the customer needs. Ժամանակակից համակարգ բյուրեղի վրա (ՀԲՎ)-ի նախագծումը սահմանափակված է դեպի շուկա ժամանակի և օգտակարության ելքով: Լայնորեն օգտագործվող մտավոր սեփականության (ՄՍ) կտորը ՀԲՎ-ում ներդրված հիշողությունն է, որն ավելի հակված է արատների: Հայտնի ենթակառուցվածքային ՄՍ է «ՍԹԱՐ» հիշողության համակարգը (ՍՀՀ), որը ընդհանուր լուծում է՝ ներդրված ինքնաթեստավորման և վերանորոգման համար: Ներկայացվում է ՍՀՀ օգտագործման ընթացքի կաղապարների գրադարանի կառուցումը՝ կիրառելով ձևային ստուգման ալգորիթմի մոտեցումը: Այն իրականացվել է որպես աջակցման գործիք՝ օպտիմալացնելով ՍՀՀ օգտագործման ընթացքի նախագծումը և ստուգումը՝ հաճախորդների կարիքներից ելնելով: Современное проектирование системы на кристалле (СнК) ограничено временем выхода до рынка и полезным выходом. Широко используемый блок интеллектуальной собственности (ИС) в СнК - это встроенная память, которая более склонна к дефектам. Одна из известных инфраструктурных ИС СТАР - системы памяти (ССП) - это обобщен- ное решение для ВСТ и ремонта. Предлагается подход к конструированию библиотеки шаблонов процесса использования ССП и применения формального алгоритма проверки. Данный подход реализован в виде инструмента поддержки оптимизации проектирования использования ССП и проверки для нужд клиентов.

Երևան