In theory, a logic synthesis tool guarantees that the first netlist is logically equivalent to the RTL source code.

在理论上，逻辑综合工具，保证第一网表是合乎逻辑相当于RTL源代码。

youdao

In theory, a logic synthesis tool guarantees that the first netlist is logically equivalent to the RTL source code.

在理论上，逻辑综合工具，保证第一网表是合乎逻辑相当于RTL源代码。

youdao