TetraMax的问题

时间：03-15 整理：3721RD 点击：

请问：1.TetraMax是否可以计算电路中各个节点为0、为1的概率（譬如各级AND门、OR门输出为0、为1的概率）?2.如果可以，怎么做?
3.如果不行的话，有什么软件可以读出电路，计算节点为0和1的概率?
看到一篇文献，有提到用之实现，但是只有一句，此后，经过查找文献和用户指南，都暂未想到可行的方法，prime time又看到会有转换时间，但是貌似也没有提到计算节点为0和1的概率，各路大神，救命啊

干什么用呢?TetraMax好像不是做这个用的。