There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.endPage | 835 | - |
dc.citation.number | 10 | - |
dc.citation.startPage | 827 | - |
dc.citation.title | 정보과학회논문지 | - |
dc.citation.volume | 50 | - |
dc.contributor.author | 하선 | - |
dc.contributor.author | 문현곤 | - |
dc.date.accessioned | 2023-12-21T11:42:31Z | - |
dc.date.available | 2023-12-21T11:42:31Z | - |
dc.date.created | 2023-11-01 | - |
dc.date.issued | 2023-10 | - |
dc.description.abstract | 응용 특화 프로세서들은 목표 도메인에서의 성능 극대화를 위해 자주 쓰이는 연산들을 위한 특화 명령어들을 가진다. 응용 특화 프로세서를 위한 프로그램은 특화 명령어를 사용하기 때문에 이들의 의미명세가 있어야 기호 실행기 등 고급 소프트웨어 분석 도구를 적용하는 것이 가능해진다. 이에 이 연구에서는 프로세서 구현 과정에서 반드시 작성해야 하는 레지스터 전송 레벨(RTL) 수준 프로세서 구현으로부터 명령어의 의미(semantics)을 자동으로 추출하는 시스템인 SemTracter를 개발하였다. SemTracter는 프로세서의 RTL을 기호 실행해서 각 명령어의 의미명세를 얻고 이를 ISA 명세 작성을 위해 개발된 언어인 Sail로 표현한다. 개발된 SemTracter는 간단한 구현된 5-stage RISC-V 프로세서로부터 몇 가지 명령어의 의미명세를 성공적으로 추출하였으며, 이는 직접 사람이 작성한 명세와 비교하여 일치하는 것을 확인하였다. | - |
dc.identifier.bibliographicCitation | 정보과학회논문지, v.50, no.10, pp.827 - 835 | - |
dc.identifier.doi | 10.5626/JOK.2023.50.10.827 | - |
dc.identifier.issn | 2383-630X | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/66080 | - |
dc.language | 한국어 | - |
dc.publisher | 한국정보과학회 | - |
dc.title.alternative | Extracting Instruction Set Architecture Semantics from a Processor Register-transfer Level | - |
dc.title | RTL 수준 프로세서 구현으로부터의 ISA 명세 자동 추출 기법 | - |
dc.type | Article | - |
dc.description.isOpenAccess | FALSE | - |
dc.identifier.kciid | ART003007123 | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | 도메인 특화 프로세서 | - |
dc.subject.keywordAuthor | 명령어 집합구조 명세 | - |
dc.subject.keywordAuthor | 기호 실행기 | - |
dc.subject.keywordAuthor | 소프트웨어 분석 도구 | - |
dc.subject.keywordAuthor | domain-specific architecture | - |
dc.subject.keywordAuthor | instruction set architecture specification | - |
dc.subject.keywordAuthor | symbolic executor | - |
dc.subject.keywordAuthor | software analysis tools | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Tel : 052-217-1404 / Email : scholarworks@unist.ac.kr
Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.
ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.