请问一个formality的问题

综合后的netlist与rtl做formality有地方不match
发现这些地方都是用到casez的
请问应该怎么解决呢
是这样的写法有问题 还是formality的设置得不对？
谢谢！

我用2004.12-sp1的formal，没有这个问题啊
按说如果你的rtl是reference，netlist是implementation的话，不应该有问题的