DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Park, Kyu-Ho | - |
dc.contributor.advisor | 박규호 | - |
dc.contributor.author | Hong, Gyung-Pyo | - |
dc.contributor.author | 홍경표 | - |
dc.date.accessioned | 2011-12-14T02:13:04Z | - |
dc.date.available | 2011-12-14T02:13:04Z | - |
dc.date.issued | 1987 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65792&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/39057 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전기 및 전자공학과, 1987.2, [ [iii], 53 p. ] | - |
dc.description.abstract | In this thesis we describe a diagnosis method to circuits that are described by RTLL(Register Transfer Level Language). This method is composed of two parts, namely fault isolation procedure and test generation procedure. The fault isolation procedure uses the violated expectation approach. In this step we generate the suspect list of a fault. To determine a most probable suspect among suspects, we generate tests for each suspect in the suspect list. The test generation method is similar to the path-sensitization procedure (D-algorithm). We define the behavior and control rule of the RTLL primitives to propagate values and inference through RTLL construct. And temporal logic is used to specify the digital circuits. If a fault is detected, then we can diagnose the causes of a fault by detecting the discrepancy between the actual value of the circuit and the expected value obtained from the temporal logic specification and generating tests. This system implemented by using C-Prolog in VAX/11/750. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | Diagnosis of register level description using fault isolation and test generation algorithm | - |
dc.title.alternative | 오류분리 및 시험 패턴 생성 알고리즘에 의한 Register Level Description 의 오류진단 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65792/325007 | - |
dc.description.department | 한국과학기술원 : 전기 및 전자공학과, | - |
dc.identifier.uid | 000851451 | - |
dc.contributor.localauthor | Park, Kyu-Ho | - |
dc.contributor.localauthor | 박규호 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.