DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kyung, Chong-Min | - |
dc.contributor.advisor | 경종민 | - |
dc.contributor.author | Kim, Sang-Ho | - |
dc.contributor.author | 김상호 | - |
dc.date.accessioned | 2011-12-14T01:51:24Z | - |
dc.date.available | 2011-12-14T01:51:24Z | - |
dc.date.issued | 2003 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=180477&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/37645 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전기및전자공학전공, 2003.2, [ iv, 45 p. ] | - |
dc.description.abstract | In verifying the memory interface of a complex network processor, it is crucial to reduce the number of state variables in the design and the verification time. In this paper, two methods are presented for these purposes. One is to remove the temporal operator ‘NEXT’ for reducing the verification time. The other is to separate data path signals from control path signals and set data path signals as scalar set for reducing the number of state variables. The first method allowed us to reduce the verification time by the factor of 2~100 times by just adding a small number of flip-flops without changing the design. We found a bug using this method. The second method is also found out to be crucial to the success of our work as we could verify the design which could not have been verified otherwise. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Formal Verification | - |
dc.subject | 검증 | - |
dc.title | Formal verification of memory interface in network processors | - |
dc.title.alternative | 네트워크 프로세서의 메모리 인터페이스의 형식 검증 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 180477/325007 | - |
dc.description.department | 한국과학기술원 : 전기및전자공학전공, | - |
dc.identifier.uid | 020013087 | - |
dc.contributor.localauthor | Kyung, Chong-Min | - |
dc.contributor.localauthor | 경종민 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.