如何保证RTL与综合后网表的一致性 RTL, 一致性

dlq480

.......................共享

dlq480

.....................................

caopengly

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

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