请选择 进入手机版 | 继续访问电脑版
搜索
专业IC版图外包服务 微信:drclvs
广告位:SY02 广告业务联系QQ:3173974412
无锡芯满微电子有限公司---专业研发电机驱动芯片
IC设计论坛----ictown.com
广告位:SY05 广告业务联系QQ:3173974412
查看: 455|回复: 5

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

[复制链接]

7

主题

7

帖子

36

E币

技术员

Rank: 2

积分
14
发表于 2019-11-28 15:10:29 | 显示全部楼层 |阅读模式
RTL 代码release 给其他人存在知识产权泄露的问题,一般是用pretect 加密,但这种办法别人只能拿来做仿真,做综合,跑后端就有麻烦了。据说还有一种加扰的办法,我猜测就是虽然不加密,但用某种脚本把RTL的变量名替换,内容搞到面目全非,别人看不懂, 综合后端工具反而不受影响。

请问有人见过这种工具或脚本吗? 提供一下思路? 多谢帮助。
积分规则
回复

使用道具 举报

9

主题

15

帖子

52

E币

技术员

Rank: 2

积分
24
发表于 2019-12-2 10:19:23 | 显示全部楼层
arm 提供的 cortex m3/m0 测试的核就是混淆的
回复 支持 反对

使用道具 举报

4

主题

27

帖子

26

E币

技术员

Rank: 2

积分
31
发表于 2019-12-2 10:19:57 | 显示全部楼层
我觉得是 Perl 逐行搜索所有非空变量  进行统计  把变量放入一个数据,然后逐个替换数组中的单位,替换为26个大小写随机的等长度字符  而后formality进行形式验证 确认替换成功与否   
回复 支持 反对

使用道具 举报

26

主题

30

帖子

124

E币

技术员

Rank: 2

积分
56
发表于 2019-12-2 10:20:21 | 显示全部楼层
软件领域有很多成熟的脚本混淆器,Javascript什么的。

EDA更方便的是还能用LEC验证。
回复 支持 反对

使用道具 举报

0

主题

53

帖子

117

E币

技术员

Rank: 2

积分
53
发表于 2020-1-17 06:35:55 | 显示全部楼层
谢谢分享~~~
回复

使用道具 举报

0

主题

59

帖子

116

E币

技术员

Rank: 2

积分
59
发表于 2020-1-19 05:09:37 | 显示全部楼层
高性能计算研究
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则



版权所有:EDABOSS论坛 投诉受理:13816911948 合作热线:13816911948

备案信息:苏经营性ICP B2-20090218号 皖ICP备09697823号 电子公告服务许可文件号:皖通[2009]556号

Powered by EDABOSS X3.4 Tamplate By EDABOSS论坛  © 2001-2013 Comsenz Inc.

广告投放 微信:drclvs

快速回复 返回顶部 返回列表