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

An approach of star memory system use flow automation and its verification

Khzarjyan, A. A. (2013) An approach of star memory system use flow automation and its verification. ՀՀ ԳԱԱ Տեղեկագիր: Տեխնիկական գիտություններ, 66 (2). pp. 163-170. ISSN 0002-306X

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
2397Kb

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

Item Type:Article
Additional Information:«ՍԹԱՐ» հիշողության համակարգի օգտագործման ընթացքի ավտոմատացման և ստուգման մոտեցում / Ա. Ա. Խզարջյան։ Подход к автоматизации и проверке процесса использования СТАР-системы памяти / А. А. Хзарджян.
Uncontrolled Keywords:STAR Memory System, use flow, formal verification, System-on-Chip, build in self-test, intellectual property.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
ID Code:3842
Deposited By:Fundamental Scientific Library
Deposited On:28 Feb 2014 15:36
Last Modified:12 Mar 2014 12:39

Repository Staff Only: item control page