Publications

Detailed Information

DRAM 테스트 패턴 프로그램의 기호 표현형 : Symbolic Representation of DRAM Test-pattern Programs

DC Field Value Language
dc.contributor.advisor문수묵-
dc.contributor.author조중하-
dc.date.accessioned2023-06-29T01:56:23Z-
dc.date.available2023-06-29T01:56:23Z-
dc.date.issued2023-
dc.identifier.other000000176449-
dc.identifier.urihttps://hdl.handle.net/10371/193254-
dc.identifier.urihttps://dcollection.snu.ac.kr/common/orgView/000000176449ko_KR
dc.description학위논문(석사) -- 서울대학교대학원 : 공과대학 전기·정보공학부, 2023. 2. 문수묵.-
dc.description.abstractDRAM 메모리의 테스트를 위한 테스트 패턴 프로그램은 ATE(Automatic Test Equipment)에 따라 프로그래밍 언어가 다르고 저수준이므로 가독성이 현저히 떨어 진다. 본 논문에서는 테스트 패턴 프로그램의 분석을 위해 새로운 형태의 기호 표 현형(symbolic representation)을 제시한다. 시뮬레이션 결과로 생성된 출력 기반의 중간 표현형(intermediate representation) 으로부터 각 사이클 핀 값을 분석하여 해당 사이클 정보를 추출해내고 이를 토대로 동일한 작업을 수행하는 사이클을 동일한 기호로 변환한다. 제품 수준의 테스트 패턴 프로그램 기반 21개의 벤치마크로 기호 표현형 변환을 진행하였고 의도한 결과가 도출됨을 확인하였다. 또한 기호 표현형을 활용한 분석 툴은 사용자가 패턴 프로그램의 구조와 작업 의도를 직관적으로 파악 할 수 있도록 도와준다. 테스트 패턴 프로그램의 변환이 완료된 기호 표현형은 패턴 프로그램 변환 시 동일성 테스트 및 최적화, 그리고 결함 모델(fault model) 역추론 등에 활용될 수 있다.-
dc.description.abstractTest pattern programs for testing DRAM memory have different programming lan- guages depending on Automatic Test Equipment (ATE) and are low in readability. In this paper, a new type of symbolic representation for the analysis of test pattern pro- grams is presented. Each cycle pin value is analyzed from the output-based interme- diate representation, which is the simulation result, to extract the corresponding cycle information, and based on this, the cycle performing the same task is converted into the same symbol. Symbol phenotype conversion was performed with 21 benchmarks based on commercial test pattern programs, and it was confirmed that the intended re- sult was derived. In addition, the analysis tool using the symbolic representation helps users to intuitively understand the structure and work intention of the pattern program. The symbolic representation of the test pattern program can be used for optimization of the pattern program, equality test when converting the pattern program, and fault model detection.-
dc.description.tableofcontents초록
제 1 장 서론 5
제 2 장 배경지식 7
2.1 테스트 패턴 프로그램의 구조 7
2.2 테스트 패턴 프로그램의 호환성 문제 9
제 3 장 Cycle Equivalency 12
3.1 Cycle Equivalency 12
제 4 장 기호 변환 14
4.1 제안하는 기호 변환 방식 14
4.2 Equivalence Rule 15
4.2.1 Concrete command name 판단 15
4.2.2 세부 정보 판단 16
4.2.3 프로그램 context 고려 16
4.3 분석 도구 19
제 5 장 실험 결과 21
5.1 실험 결과 21
제 6 장 관련 연구 및 SR 활용 사례 24
6.1 관련 연구 24
6.1.1 패턴 프로그램 변환 플랫폼 24
6.2 SR 활용 사례 25
6.2.1 SR 기반 Visualization 툴 25
제 7 장 결론 및 향후 과제 29
ABSTRACT 33
-
dc.format.extent33-
dc.language.isokor-
dc.publisher서울대학교 대학원-
dc.subjectDRAM-
dc.subject테스트 패턴 프로그램-
dc.subject기호 표현형-
dc.subject중간 표현형-
dc.subject.ddc621.3-
dc.titleDRAM 테스트 패턴 프로그램의 기호 표현형-
dc.title.alternativeSymbolic Representation of DRAM Test-pattern Programs-
dc.typeThesis-
dc.typeDissertation-
dc.contributor.AlternativeAuthorJoongha Cho-
dc.contributor.department공과대학 전기·정보공학부-
dc.description.degree석사-
dc.date.awarded2023-02-
dc.identifier.uciI804:11032-000000176449-
dc.identifier.holdings000000000049▲000000000056▲000000176449▲-
Appears in Collections:
Files in This Item:

Altmetrics

Item View & Download Count

  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Share