标签： vlsi
在LEC（逻辑等效性检查）期间，我们需要将RTL和一些标准库都加载到黄金部分中，并将网表加载到修订部分中。将库加载到黄金列中有什么用（考虑将要进行功能比较的事实）在RTL代码和网表之间）？