没有合适的资源?快使用搜索试试~ 我知道了~
SFSM:安全 FSM 生成
共55个文件
kiss2:25个
pl:19个
bash:8个
需积分: 9 0 下载量 39 浏览量
2021-06-10
11:03:50
上传
评论
收藏 68KB ZIP 举报
温馨提示
SFSM 安全 FSM 生成 此 repo 包含创建 FSM 以及修改和创建安全有限状态机所需的 perl 和 bash 脚本。
资源推荐
资源详情
资源评论
收起资源包目录
SFSM-master.zip (55个子文件)
SFSM-master
scripts
mkverilog.bash 721B
runAll.bash 2KB
makeallbin.bash 497B
createSecure.bash 1KB
hscripts
stats.pl 17KB
createBINencode.pl 675B
quickTranState.pl 601B
genFSMBen.pl 2KB
exlz3py_wstructconv.py 3KB
exl2verilog.pl 2KB
globresults.pl 1KB
fsminputlen.pl 747B
exlz3py_reduced.pl 2KB
getInsize.pl 384B
exlz3py.pl 3KB
createSassign.pl 2KB
getDCRUNstats.pl 391B
z3toBin.pl 980B
generatedigits.pl 350B
fsm2sfsm.pl 3KB
exl2oracle.pl 4KB
exl2Secexl.pl 3KB
exl2dot.pl 1KB
automin.pl 882B
generate.bash 294B
getStats.bash 124B
createviz.bash 1KB
runAllmod.bash 773B
LICENSE 34KB
README.md 153B
ben_new
m_node_25_loop_0_conp_20.kiss2 3KB
m_node_5_loop_75_conp_20.kiss2 213B
m_node_35_loop_75_conp_20.kiss2 8KB
m_node_5_loop_0_conp_20.kiss2 125B
m_node_45_loop_50_conp_20.kiss2 13KB
m_node_5_loop_25_conp_20.kiss2 181B
m_node_45_loop_25_conp_20.kiss2 13KB
m_node_15_loop_75_conp_20.kiss2 1KB
m_node_45_loop_75_conp_20.kiss2 13KB
m_node_5_loop_50_conp_20.kiss2 197B
m_node_25_loop_25_conp_20.kiss2 3KB
m_node_25_loop_50_conp_20.kiss2 4KB
m_node_25_loop_75_conp_20.kiss2 4KB
m_node_35_loop_0_conp_20.kiss2 7KB
m_node_45_loop_100_conp_20.kiss2 14KB
m_node_15_loop_50_conp_20.kiss2 1KB
m_node_15_loop_0_conp_20.kiss2 1KB
m_node_15_loop_100_conp_20.kiss2 1KB
m_node_35_loop_100_conp_20.kiss2 8KB
m_node_35_loop_50_conp_20.kiss2 7KB
m_node_15_loop_25_conp_20.kiss2 1KB
m_node_45_loop_0_conp_20.kiss2 12KB
m_node_25_loop_100_conp_20.kiss2 4KB
m_node_5_loop_100_conp_20.kiss2 229B
m_node_35_loop_25_conp_20.kiss2 7KB
共 55 条
- 1
资源评论
蓝星神
- 粉丝: 24
- 资源: 4714
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功