楼主这个问题涉及到芯片设计的一致性验证，属于芯片设计里面的验证部分。

现在的asic一般都有一致性验证的工具，如formality等。