状态机netlist逆向工程

sh469 · 发表于 2020-4-25 08:41:58

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

求问大神，一个用于常规数据通路控制电路（一般是某种协议）的4bit的16个状态的状态机，从netlist可以reverse出rtl吗？具体要怎么做？要求是最终输出rtl要能和netlist 在formality比对通过。感觉一般data path的组合逻辑或者单bit的控制寄存器都可以逆向，但状态机的跳转条件太过复杂，要完全精确的逆向很不好做啊，有什么方法吗？

sh469 · 发表于 2020-4-28 19:16:19

求助，真的没人知道吗？

zzj0329 · 发表于 2020-4-30 11:49:04

都有netlist了为啥还要rtl，直接当作黑盒不香吗
除非说你不清楚端口定义

renminggong · 发表于 2020-5-3 15:00:30

组合逻辑提取出RTL确实比较难，如果的确有很强的商业需求，可以面授。

夏尔 · 发表于 2020-5-6 14:02:39

？？？？？

sh469 · 发表于 2020-5-7 09:07:31

已解决，有方法了。网表毕竟只是网表可读性很差，要debug或者跟着协议升版本还是要有rtl的。

[求助] 状态机netlist逆向工程

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

站长推荐 /2