请问：logic cone 是什么？
时间：10-02
整理：3721RD
点击：
一篇资料提到这个
逻辑锥?
这是?
看synosys fomality的user guide，说得很清楚。进行等效验证用的
lec里面也有，logic 相关
formality里面提到的，就是用来做形式验证的，我认为就是多输入和一个输出的逻辑等效路径吧