有Rtl与网表对应的工具么？
时间：12-12
整理：3721RD
点击：
请教版上的各位大神，有没有工具是可以将rtl的逻辑和综合后的网表对应起来的？
什么叫对应起来？
verdi应该就行。
formality不就是干这个的
lec
形式验证
输入是RTL的一段逻辑，
输出网表中对应的门。
formality可以选择某段RTL的逻辑，给出网表中对应的门是哪些么？