遵循Formality用户手册中的Tutorial，为什么Analyze无法实现？

日晨难再

进行的是第一个实验“Verifying fifo.vg Against fifo.v”，进行到“To run diagnosis on the failing points, click Analyze.”时，分析的结果如下图所示。



用户手册的描述为“During diagnosis, Formality analyzes a set of compare points and finds the error  candidates. Click on the error candidates. The Error Candidates window appears displaying the error candidates found in your design.”换了两个版本的Formality都是如此。

日晨难再

解决了，需要右键选的diagnose或者在shell使用该命令