xcelium的X传播测试

一、简介

xcelium的X传播有两种模式：FOX，CAT。专业人员建议项目在X传播测试时选择CAT模式，更能测试项目完备性。

二、详情

X回归命令调用有两种：

1、xrun -xprop {F|C} source_files

2、xrun -xfile my.xfile source_files

第一种调用方式可用于项目整体使用一种X传播模式。

但是当项目中不同文件需要不同的X传播模式，或者部分文件不需要进行X传播测试时，就要使用第二种命令调用格式。

这个博客主要介绍第二种调用模式下my.xfile该怎么写。

三、文件写法

文件写法规则：

<SCOPE>  <hierarchical_path>   {F|C|D}

 <MODULE>   <module name>    {F|C|D}

注：1、D模式指定不进行X传播，且为默认模式

       2、三个点（...）为特殊字符，代表当前文件及它实例化的所有子文件

　　3、注释要以  /* 开头，以  */ 结束

样例：

（1）注释写法

/* this is a comment */

（2）指定所有文件cat模式

SCOPE ... C

或

MODULE top... C 

（3）指定某一文件fox模式

SCOPE top.u1 F

或

MODULE u1 F

（3）指定不同文件不同模式

SCOPE top.u1 F

SCOPE top.u2 C

SCOPE top.u3 D

或

MODULE u1 F

MODULE u2 C

MODULE u3 D