Publication Details:

Լույս է տեսնում 1948 թվականից՝ տարին 4 անգամ։

Journal or Publication Title:

ՀՀ ԳԱԱ և ՀՊՃՀ Տեղեկագիր. Տեխնիկական գիտություններ =Proceedings of the NAS RA and SEUA: Technical Sciences

Date of publication:

2013

Volume:

66

Number:

2

ISSN:

0002-306X

Official URL:

Other title:

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

Contributor(s):

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

Coverage:

163-170

Abstract:

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. Ժամանակակից համակարգ բյուրեղի վրա (ՀԲՎ)-ի նախագծումը սահմանափակված է դեպի շուկա ժամանակի և օգտակարության ելքով: Լայնորեն օգտագործվող մտավոր սեփականության (ՄՍ) կտորը ՀԲՎ-ում ներդրված հիշողությունն է, որն ավելի հակված է արատների: Հայտնի ենթակառուցվածքային ՄՍ է «ՍԹԱՐ» հիշողության համակարգը (ՍՀՀ), որը ընդհանուր լուծում է՝ ներդրված ինքնաթեստավորման և վերանորոգման համար: Ներկայացվում է ՍՀՀ օգտագործման ընթացքի կաղապարների գրադարանի կառուցումը՝ կիրառելով ձևային ստուգման ալգորիթմի մոտեցումը: Այն իրականացվել է որպես աջակցման գործիք՝ օպտիմալացնելով ՍՀՀ օգտագործման ընթացքի նախագծումը և ստուգումը՝ հաճախորդների կարիքներից ելնելով: Современное проектирование системы на кристалле (СнК) ограничено временем выхода до рынка и полезным выходом. Широко используемый блок интеллектуальной собственности (ИС) в СнК - это встроенная память, которая более склонна к дефектам. Одна из известных инфраструктурных ИС СТАР - системы памяти (ССП) - это обобщен- ное решение для ВСТ и ремонта. Предлагается подход к конструированию библиотеки шаблонов процесса использования ССП и применения формального алгоритма проверки. Данный подход реализован в виде инструмента поддержки оптимизации проектирования использования ССП и проверки для нужд клиентов.

Place of publishing:

Երևան

Publisher:

ՀՀ ԳԱԱ հրատ.

Date created:

2013-06-15

Format:

pdf

Identifier:

oai:arar.sci.am:32871

Call number:

АЖ 413

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան