ZO1X介绍

一、ZO1X仿真的故障范围

深亚微米制造缺陷

(1)stuck-at

(2)transition

(3)bridge

(4)IDDQ

二、故障模型

两种故障模型：

usage model	Fault model abailiable	Fault locations
功能安全和安全验证模型，基于模型的故障注入高速故障仿真器	stuck-at(port, primitive, net) transient expression	array assign variable
制造质量保证，检测制造中出现的缺陷	stuck-at(port, primitive, net) transient bridge IDDQ expression	array assign variable

三、获取zo1x更多信息的命令

fault_report -help或者man fault_report

stty -a查看tty设置

四、环境变量

MANPATH：用户手册位置

setenv MANPATH $ZOIXHOME/share/man:${MANPATH}

ZOIXHOME：ZO1X软件的安装位置，自定义

setenv ZOIXHOME /usr/local/synopsys/ZOIX/N-2017.12

setenv PATH "${ZOIXHOME}/bin:${PATH}"

LM_LICENSE_FILE（SNPSLMD_LICENSE_FILE）：定义这个变量来找到license server(指向license file)，自定义

setenv LM_LICENSE_FILE /u/edatools/vcs/license.dat

LM_LIBRARY_PATH：ZO1X的license

ZOIX_CC：c编译器的位置，如果c编译器不是安装在默认路径，或者需要指定不同的编译链接选项，则需要用这个环境变量来定义所需的路径和选项，除非定义，否则默认路径为/usr/bin/gcc，例如

setenv ZOIX_CC '/special/bin/cc'

ZO1X先检测zo1x编译脚本的-cc或-gcc_path的选项，如果没有则检测ZOIX_GCC_PATH的值，如果没有，则检测ZOIX_CC的值

五、快捷键

ctrl+c：调用交互模式

ctrl+\：中断仿真而不调用交互模式

六、license

1.查看license是否可以正常工作，可以看到“OK”：

lmcksum -c license_file_pathname

2.开始license server

lmgrd -c license_file_pathname -l logfile_pathname

3.设置LM_LICENSE_FILE和LM_LIBRARY_PATH环境变量来指向license file

七、VCS两步法与三步法跑zo1x仿真

需要的文件：

1.verilog设计源文件，包括顶层模块的文件

2.包含所有library cell

3.SDF文件（如果后放置）

4.所有自定义模块（PLLs,a2d converters）

两步法，产生zoix.sim：

1.zoix <file_list> \

[-f <run.f>] \

[-l <file>] \

[-v <file>] \

[-w] \

[-y <dir>] \

[<plusargs>] \

2.    ./zoix.sim

三步法：

1.$ZOIXHOME/bin/vlogan    <verilog-source-files>  <other-options>

2.$ZOIXHOME/bin/zoix    <top-module-names-or-config>  <other-options>

3. ./zoix.sim

+nomodportcheck：disable模块端口的使用是否与声明方向矛盾（输入用作输出，输出用作输入）

-boundscheck：输出边界报警，例如：

warning! select index [7] out of range for a[4:0] 'test.v', 9: