A Verification Collaborative Infrastructure Based on Perl and Verilog
碩士 === 國立臺灣大學 === 電機工程學研究所 === 90 === With designs becoming increasingly complex, the scope and scale of verification requirements faced by system, ASIC, and SOC verification engineers have dramatically expanded. This has, in turn, resulted in traditional approaches to functional verific...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
2002
|
Online Access: | http://ndltd.ncl.edu.tw/handle/01503659707914437135 |
id |
ndltd-TW-090NTU00442092 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-TW-090NTU004420922015-10-13T14:38:20Z http://ndltd.ncl.edu.tw/handle/01503659707914437135 A Verification Collaborative Infrastructure Based on Perl and Verilog Perl與Verilog語言為基礎之協同模擬驗證架構 Ming-Tang Chen 陳銘堂 碩士 國立臺灣大學 電機工程學研究所 90 With designs becoming increasingly complex, the scope and scale of verification requirements faced by system, ASIC, and SOC verification engineers have dramatically expanded. This has, in turn, resulted in traditional approaches to functional verification proving to be significantly insufficient. In this thesis, we present the Perl/Verilog-based hybrid verification collaborative infrastructure (VCI) developed on Sun/Linux systems that attempts to reduce the test development time and make the verification environment more flexible. VCI provides an interface between the procedural Perl testbench and the declarative Verilog code that describes the design under test. The integration of Perl/Verilog exploits existing mainstream implementation languages and methods to raise the level of abstraction of specifying test generators, result checkers, and architectural reference models. VCI consists of a set of application program interface (API) routines to bridge the gap between the procedural language Perl and the declarative world of Verilog. The experimental results show that VCI provides more effective verification testing with higher productivity. In addition, VCI integrates seamlessly with existing methods and environments supporting Hardware/Software co-verification and also large-scale project requirements for design management and regression. Sy-Yen Kuo 郭斯彥 2002 學位論文 ; thesis 57 en_US |
collection |
NDLTD |
language |
en_US |
format |
Others
|
sources |
NDLTD |
description |
碩士 === 國立臺灣大學 === 電機工程學研究所 === 90 === With designs becoming increasingly complex, the scope and scale of verification requirements faced by system, ASIC, and SOC verification engineers have dramatically expanded. This has, in turn, resulted in traditional approaches to functional verification proving to be significantly insufficient.
In this thesis, we present the Perl/Verilog-based hybrid verification collaborative infrastructure (VCI) developed on Sun/Linux systems that attempts to reduce the test development time and make the verification environment more flexible. VCI provides an interface between the procedural Perl testbench and the declarative Verilog code that describes the design under test. The integration of Perl/Verilog exploits existing mainstream implementation languages and methods to raise the level of abstraction of specifying test generators, result checkers, and architectural reference models.
VCI consists of a set of application program interface (API) routines to bridge the gap between the procedural language Perl and the declarative world of Verilog. The experimental results show that VCI provides more effective verification testing with higher productivity. In addition, VCI integrates seamlessly with existing methods and environments supporting Hardware/Software co-verification and also large-scale project requirements for design management and regression.
|
author2 |
Sy-Yen Kuo |
author_facet |
Sy-Yen Kuo Ming-Tang Chen 陳銘堂 |
author |
Ming-Tang Chen 陳銘堂 |
spellingShingle |
Ming-Tang Chen 陳銘堂 A Verification Collaborative Infrastructure Based on Perl and Verilog |
author_sort |
Ming-Tang Chen |
title |
A Verification Collaborative Infrastructure Based on Perl and Verilog |
title_short |
A Verification Collaborative Infrastructure Based on Perl and Verilog |
title_full |
A Verification Collaborative Infrastructure Based on Perl and Verilog |
title_fullStr |
A Verification Collaborative Infrastructure Based on Perl and Verilog |
title_full_unstemmed |
A Verification Collaborative Infrastructure Based on Perl and Verilog |
title_sort |
verification collaborative infrastructure based on perl and verilog |
publishDate |
2002 |
url |
http://ndltd.ncl.edu.tw/handle/01503659707914437135 |
work_keys_str_mv |
AT mingtangchen averificationcollaborativeinfrastructurebasedonperlandverilog AT chénmíngtáng averificationcollaborativeinfrastructurebasedonperlandverilog AT mingtangchen perlyǔverilogyǔyánwèijīchǔzhīxiétóngmónǐyànzhèngjiàgòu AT chénmíngtáng perlyǔverilogyǔyánwèijīchǔzhīxiétóngmónǐyànzhèngjiàgòu AT mingtangchen verificationcollaborativeinfrastructurebasedonperlandverilog AT chénmíngtáng verificationcollaborativeinfrastructurebasedonperlandverilog |
_version_ |
1717755698926845952 |