DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kyung, Chong-Min | - |
dc.contributor.advisor | 경종민 | - |
dc.contributor.author | Kim, Young-Il | - |
dc.contributor.author | 김영일 | - |
dc.date.accessioned | 2011-12-14 | - |
dc.date.available | 2011-12-14 | - |
dc.date.issued | 2005 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=244884&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/35265 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전기및전자공학전공, 2005.2, [ x, 108 p. ] | - |
dc.description.abstract | This thesis presents new technology that accelerates the system verification. The proposed method partitions testbench program into software and hardware such that the execution of the hardware-mapped testbench is accelerated, thus enabling fast functional simulation. Traditional functional verification methods, which are based on logic simulation, become very time consuming as design complexity increases. To speed up functional simulation, hardware acceleration is used to offload calculation-intensive tasks from the software simulator. However, the communication overhead between software simulator and hardware accelerator is becoming a new critical bottleneck. To reduce the communication overhead, it is suggested to identify a part of the testbench tightly coupled with the hardware-mapped DUT and move it into the hardware accelerator by converting testbench synthesizable. Our experiments demonstrated that the proposed method reduces the communication overhead by a factor of about 40 compared to the conventional hardware accelerated simulation while maintaining the cycle accuracy and strict compatibility with the original testbench. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Simulation acceleration verification | - |
dc.subject | communication-efficient hardware | - |
dc.subject | 효율적인 하드웨어 가속 방법 | - |
dc.subject | 시뮬레이션 가속 검증 | - |
dc.title | Communication-efficient hardware acceleration for fast functional simulation | - |
dc.title.alternative | 고속 시뮬레이션을 위한 효율적인 하드웨어 가속 방법 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 244884/325007 | - |
dc.description.department | 한국과학기술원 : 전기및전자공학전공, | - |
dc.identifier.uid | 020005059 | - |
dc.contributor.localauthor | Kyung, Chong-Min | - |
dc.contributor.localauthor | 경종민 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.