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/synops