|
Size: 847
Comment:
|
Size: 1117
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 21: | Line 21: |
| drawing:mytest | drawing:verif |
| Line 24: | Line 24: |
| A seperate script written in python is used for regression. This script has the ability to run all of the test cases in a list file, and then generate a report summary file. | |
| Line 25: | Line 26: |
| == env user guide == | cvs is adapted for revision control，Rational ClearQuest is adapted as issue/bug tracking tool == env user guide == |
我的项目 TableOfContents 看看我都做了些什么
现在的项目
项目概述
建立一个嵌入式控制器芯片(SoC)的功能验证环境。这个芯片有embedded java processor，采用wishbone总线结构。
验证策略
constraint random
coverage driven
code coverage
functional coverage
assertion based
用PSL作为assertion language，并且利用其中的cover来统计control based functional coverage。
Technologies and Tools
- Simulator采用Cadence的IUS54
- Debugger采用Novas的Debussy 5.4v7。
- Code Coverage analysis采用Cadence的Incisive Coverage Tool, 其实说白了就是hdlscore。
验证环境
drawing:verif
Coverage Metrics
Regression
A seperate script written in python is used for regression. This script has the ability to run all of the test cases in a list file, and then generate a report summary file.
项目管理
cvs is adapted for revision control，Rational ClearQuest is adapted as issue/bug tracking tool