请教在tmax用write_pattern -verilog生成的pis pos seq scn文件分别是干嘛的

qing_icefire

在tmax中用write_pattern -verilog语句，生成一堆文件，以XXX.testbench.v为主文件，调用XXX.testbench.pis、XXX.testbench.pos、XXX.testbench.seq、XXX.testbench.scn文件。下面我的理解是不是正确，恳请高人指点：
1. 用vcs跑verilog pattern时，将pis文件输入给待测试网表，将网表的输出与pos文件比对，如果
比对不上，就报错（比如exp=1,got=0...这样）
2. pos文件行数是pattern数*2，pis文件的行数与pattern数相同
3. pis文件和pos文件输入输出值与vcs仿真波形中，每当到capture时刻（一般SCAN_EN为低）输
入输出的值一一对应。
pis文件每行表示一个pettern，pos文件隔行表示一个pattern.


如果以上三点理解是正确的话，发现最近的一个带DFT的项目严重质疑了我之前的理解。该项目中seq
文件说明一共有758个patterns，而pis文件一共有802有效行，而pos文件有1516有效行（正好是
758*2）。我打开pis文件，发现从第719行开始，每个行都被double了一下。（如果从719行开始，
隔行保留，就正好是758行）为什么会这样？这是怎么回事呢？