DocumentCode :
673051
Title :
A toolset for easy development of test and repair infrastructure for embedded memories
Author :
Khzarjyan, Aram
Author_Institution :
Synopsys Yerevan, Yerevan, Armenia
fYear :
2013
fDate :
23-27 Sept. 2013
Firstpage :
1
Lastpage :
7
Abstract :
The development of a modern System-on-Chip (SOC) requires usage of embedded IP blocks from different vendors. One of widely used IP blocks in SOC is an embedded memory that usually occupies an essential die area. All IP blocks can have manufacturing defects. Meanwhile, in difference to other SOC components embedded memories are more defect-prone. STAR Hierarchical System (SHS) is an infrastructural IP solution for built-in test and repair engines of IP blocks. It is widely adopted now by a variety of customers which development flows essentially differ from each other. To cover the diversity of requests for user maintenance implying from difference in development flows we suggest a new approach basing on a library of SHS standard use flows implemented in a form of templates and a special toolset for their modification and verification. The implemented library of templates assists to design new flows quickly through retrieving and customizing specific examples. User can extend the library via insertion of new templates. A formal verification approach used already for business processes is successfully applied to the built library. The application is illustrated on some use flow examples.
Keywords :
built-in self test; electronic engineering computing; embedded systems; formal verification; integrated circuit reliability; microprocessor chips; software libraries; system-on-chip; SOC; STAR hierarchical system; built-in repair engines; built-in test engines; development flow; embedded IP blocks; embedded memories; formal verification approach; infrastructural IP; manufacturing defects; standard SHS library; system-on-chip; template insertion; template modification; template verification; user maintenance; Algorithm design and analysis; Formal verification; IP networks; Libraries; Maintenance engineering; Manufacturing; System-on-chip; BIST; IP; SOC; embedded system; formal verification; template library; use flow;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Science and Information Technologies (CSIT), 2013
Conference_Location :
Yerevan
Print_ISBN :
978-1-4799-2460-8
Type :
conf
DOI :
10.1109/CSITechnol.2013.6710328
Filename :
6710328
Link To Document :
بازگشت