ICC 里修天线插了diode

各位大牛， 我在ICC里为了修天线手动插了diode, 用的命令是insert_zrt_diode
然后我导出网表，准备做形式验证。但是却发现diode，没有verilog model。
这个情况怎么处理呢? 做形式验证能做过吗?

自己定义一个