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

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

youdao

This paper described the use of spring model, penalized density method and topology optimization as a synthesis tool for the design of controllable path-generating compliant mechanisms.

结合弹簧模型、变密度法和拓扑优化工具，研究了实现平面可控轨迹输出柔顺机构的设计方法。

youdao

As always, when polarization is the theme, synthesis becomes a necessary and vital tool for finding and holding onto a middle path.

像往常一样，当两极化成为主题，为了找到并坚持中间路线，综合就成为必不可少的重要工具。

youdao