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

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

youdao

Scalability, network complexity, and netlist management become cumbersome as the number of nodes in the network increases.

可扩充性、网络复杂性、以及网络列表管理随着网络中节点的增加而成为令人棘手的问题。

youdao

An alternative way to solve this is to formally prove that the RTL code and the netlist synthesized from it have exactly the same behavior in all cases.

另一种方式来解决，这是正式证明，RTL代码和网表合成具有完全相同的行为在所有的案件。

youdao