formality 对failing points 进行diagnose 没有error candidates
时间：10-02
整理：3721RD
点击：
fm_shell (verify)> diagnose
Status:Diagnosing i:/WORK/pic16c5x vs r:/WORK/pic16c5x...
Status:Diagnosis initializing...
Status:Analyzing patterns...
Warning: Failing patterns do not have sufficient coverage for distinct errors. No error candidates identified. Please diagnose a smaller group of points. (FM-420)
Analysis completed
Status:Finding matching regions in reference design...
Single matching region detected in reference design.
Diagnosis completed
1
怎么解释啊
Status:Diagnosing i:/WORK/pic16c5x vs r:/WORK/pic16c5x...
Status:Diagnosis initializing...
Status:Analyzing patterns...
Warning: Failing patterns do not have sufficient coverage for distinct errors. No error candidates identified. Please diagnose a smaller group of points. (FM-420)
Analysis completed
Status:Finding matching regions in reference design...
Single matching region detected in reference design.
Diagnosis completed
1
怎么解释啊
那里可以找到新版的formality
good tips
用match ，verify吧， diagnose是干啥的?