Engee 文档
Model Verification
Assertion
检查零信号值。