Designing of Timing Verification Tool for FPGA Systems
碩士 === 國立臺北科技大學 === 電腦與通訊研究所 === 96 === The timing specifications described by timing diagram are often used for bus transaction and sequential logic. The designer performs timing verification using simulation and emulation against the timing specification. However, these verification techniques are...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
2008
|
Online Access: | http://ndltd.ncl.edu.tw/handle/equyc2 |
id |
ndltd-TW-096TIT05652091 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-TW-096TIT056520912019-07-25T04:46:39Z http://ndltd.ncl.edu.tw/handle/equyc2 Designing of Timing Verification Tool for FPGA Systems FPGA系統之時序驗證工具設計 Chiu-Chuan Yao 姚秋全 碩士 國立臺北科技大學 電腦與通訊研究所 96 The timing specifications described by timing diagram are often used for bus transaction and sequential logic. The designer performs timing verification using simulation and emulation against the timing specification. However, these verification techniques are often used for SoC/FPGA systems but with limitations. First, the simulator can only generate stimulus and then the circuit produces responses in accordance with circuit behavior. The FPGA is often used with Chipscope Pro for emulation. The Chipscope Pro, however, merely collects signal data and then displays waveforms on the screen during emulation phase. Moreover, these FPGA development tools are lack of timing verification and finding errors position in timing diagram. In this work, we propose an efficient verification method to automatically verify among golden data, simulation results and emulation data for timing verification in FPGA systems and integrate in an enhanced FPGA verification tool with graphic user interface to verify user’s design. A CPU system and an LCD IP will also be implemented for demonstrating the feasibility of the proposed tool. The experimental results show that the proposed verification method and tool rapidly find timing errors, error transactions and contents of bus when error occurs in simulation and emulation results. Therefore, the proposed tool reduces efforts and time consuming using timing diagram, and human error in debugging. Trong-Yen Lee 李宗演 2008 學位論文 ; thesis 60 en_US |
collection |
NDLTD |
language |
en_US |
format |
Others
|
sources |
NDLTD |
description |
碩士 === 國立臺北科技大學 === 電腦與通訊研究所 === 96 === The timing specifications described by timing diagram are often used for bus transaction and sequential logic. The designer performs timing verification using simulation and emulation against the timing specification. However, these verification techniques are often used for SoC/FPGA systems but with limitations. First, the simulator can only generate stimulus and then the circuit produces responses in accordance with circuit behavior. The FPGA is often used with Chipscope Pro for emulation. The Chipscope Pro, however, merely collects signal data and then displays waveforms on the screen during emulation phase. Moreover, these FPGA development tools are lack of timing verification and finding errors position in timing diagram. In this work, we propose an efficient verification method to automatically verify among golden data, simulation results and emulation data for timing verification in FPGA systems and integrate in an enhanced FPGA verification tool with graphic user interface to verify user’s design. A CPU system and an LCD IP will also be implemented for demonstrating the feasibility of the proposed tool. The experimental results show that the proposed verification method and tool rapidly find timing errors, error transactions and contents of bus when error occurs in simulation and emulation results. Therefore, the proposed tool reduces efforts and time consuming using timing diagram, and human error in debugging.
|
author2 |
Trong-Yen Lee |
author_facet |
Trong-Yen Lee Chiu-Chuan Yao 姚秋全 |
author |
Chiu-Chuan Yao 姚秋全 |
spellingShingle |
Chiu-Chuan Yao 姚秋全 Designing of Timing Verification Tool for FPGA Systems |
author_sort |
Chiu-Chuan Yao |
title |
Designing of Timing Verification Tool for FPGA Systems |
title_short |
Designing of Timing Verification Tool for FPGA Systems |
title_full |
Designing of Timing Verification Tool for FPGA Systems |
title_fullStr |
Designing of Timing Verification Tool for FPGA Systems |
title_full_unstemmed |
Designing of Timing Verification Tool for FPGA Systems |
title_sort |
designing of timing verification tool for fpga systems |
publishDate |
2008 |
url |
http://ndltd.ncl.edu.tw/handle/equyc2 |
work_keys_str_mv |
AT chiuchuanyao designingoftimingverificationtoolforfpgasystems AT yáoqiūquán designingoftimingverificationtoolforfpgasystems AT chiuchuanyao fpgaxìtǒngzhīshíxùyànzhènggōngjùshèjì AT yáoqiūquán fpgaxìtǒngzhīshíxùyànzhènggōngjùshèjì |
_version_ |
1719229677665517568 |