我的项目 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

验证环境

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

env user guide