RTL 代码加扰，工具与思路？

榉木 · 发表于 2019-11-28 15:10:29

RTL 代码release 给其他人存在知识产权泄露的问题，一般是用pretect 加密，但这种办法别人只能拿来做仿真，做综合，跑后端就有麻烦了。据说还有一种加扰的办法，我猜测就是虽然不加密，但用某种脚本把RTL的变量名替换，内容搞到面目全非，别人看不懂，综合后端工具反而不受影响。

请问有人见过这种工具或脚本吗？提供一下思路？多谢帮助。

小目标 · 发表于 2019-12-2 10:19:23

arm 提供的 cortex m3/m0 测试的核就是混淆的

腾云 · 发表于 2019-12-2 10:19:57

我觉得是 Perl 逐行搜索所有非空变量进行统计把变量放入一个数据，然后逐个替换数组中的单位，替换为26个大小写随机的等长度字符而后formality进行形式验证确认替换成功与否

图尔 · 发表于 2019-12-2 10:20:21

软件领域有很多成熟的脚本混淆器，Javascript什么的。

EDA更方便的是还能用LEC验证。

ghjkop · 发表于 2020-1-17 06:35:55

谢谢分享~~~

asasq11 · 发表于 2020-1-19 05:09:37

高性能计算研究

		自动登录	找回密码
密码			立即注册

[咨询求助] RTL 代码加扰，工具与思路？