1、
最后，针对RTL级代码以及门级网表进行了等价性验证，验证其RTL级代码与综合后的门级网表是否逻辑等价。
互联网摘选
2、
Gbps Low Power Serializer CMOS IC Power-Driven Circuit Netlist Multilevel Partitioning Algorithm
4Gbps低功耗并串转换CMOS集成电路低功耗驱动的电路网表多级划分算法
互联网摘选
3、
delay test generation for processors combining rtl and gate level netlist
RTL和门级结合的处理器时延测试产生方法
互联网摘选
4、
netlist: list of parts and their connection points which are connected in each net of a circuit.
网络表：一个电路中所有元件及其连接点的清单。
互联网摘选
