网表是 一类专业的、高效的信息化系统制作工具，能解决管理中遇到的几乎所有的系统问题，让使用者根据实际管理需要，快速构建适应变化的各类信息化系统。
The generator firstly obtains a netlist of programmable core by synthesis of the structual description.
这个自动生成器读入一个结构描述文件,并对结构描述文件进行综合,得到可编程核的网表。
参考来源 - 可编程逻辑核版图自动生成方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
介绍了设计网表转换，网表优化途径；
The design netlist conversion and approaches to optimizing the netlist are presented.
在理论上，逻辑综合工具，保证第一网表是合乎逻辑相当于RTL源代码。
In theory, a logic synthesis tool guarantees that the first netlist is logically equivalent to the RTL source code.
本算法可直接结合到现有的RTL和门级网表的验证流程中，从而提高算术电路的验证能力。
The approach can be easily incorporated into existing RTL to gate equivalence checking frameworks and increase the robustness of equivalence checking for arithmetic circuits.
应用推荐