没有合适的资源?快使用搜索试试~
我知道了~
文库首页
安全技术
网络安全
实验02-逻辑综合与等价性检查思考题1
实验02-逻辑综合与等价性检查思考题1
edge
需积分: 0
0 下载量
80 浏览量
2022-08-08
22:10:02
上传
评论
收藏
23KB
DOCX
举报
温馨提示
立即下载
实验02-逻辑综合与等价性检查思考题1
资源推荐
资源详情
资源评论
实验02-逻辑综合与等价性检查1
浏览:179
1.1 登录方法 1.2 进入实验目录 2.1 设置软件环境 2.2 进入逻辑综合运行目录 2.3 定义时序约束 2.4 使用命令输入运行逻辑综合 2.4.1
词法分析--有限自动机等价性.pptx
浏览:25
词法分析--有限自动机等价性,编译原理-第二章-词法分析之NFA、DFA之间的转化和DFA的化简笔记对应的课件资源
论文研究-循环自动机的等价性.pdf
浏览:184
主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。
大数据-算法-基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究.pdf
浏览:173
大数据-算法-基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究.pdf
逻辑回归和最大熵的等价性证明
浏览:133
二分类问题选择逻辑回归(logistic regression, LR )的证明,用最大熵原理进行解释,逻辑回归和最大熵原理具有等价性,论文
操作系统实验报告-实验九.docx
浏览:44
操作系统实验报告-实验九全文共11页,当前为第1页。操作系统实验报告-实验九全文共11页,当前为第1页。实验九:文件系统观察 操作系统实验报告-实验九全文共11页,当前为第1页。 操作系统实验报告-实验九全文共11页...
论文研究-使用逻辑锥分割的组合电路等价性验证.pdf
浏览:76
为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用...
论文研究-四类拍卖的收益等价性研究 .pdf
浏览:18
论文研究-四类拍卖的收益等价性研究 .pdf,
论文研究-最优调节器的两种综合方法的等价性.pdf
浏览:78
论文研究-最优调节器的两种综合方法的等价性.pdf, 本文讨论了单输入-单输出系统的最优调节器的两种综合方法的等价性,即时域方法和频域方法的等价性。前者是解一个代数 Riccati 方程,后者是解一个多项式 Diophantine...
离散数学 - 数理逻辑和等价关系的应用大作业
浏览:185
这个资料适用于正在学习或者已经学习了离散数学的同学进行参考学习
论文研究-H2-MAC-MD5的等价密钥恢复攻击 .pdf
浏览:84
H2-MAC-MD5的等价密钥恢复攻击,王薇,,H2-MAC由Kan Yasuda在ISC 2009上提出,与HMAC的不同之处在于H2-MAC没有外部密钥,简化密钥管理。首次给出H2-MAC-MD5的等价密钥恢复攻击,并进行�
大数据-算法-微分等价递归算法研究及在体系可靠度分析中的应用.pdf
浏览:82
大数据-算法-微分等价递归算法研究及在体系可靠度分析中的应用.pdf
【IT十八掌徐培成】Java基础第10天-04.List-迭代器-对象等价性.zip
浏览:81
【IT十八掌徐培成】Java基础第10天-04.List-迭代器-对象等价性.zip
基于固定极Reed-Muller展开式的3阶可逆逻辑函数NP-NP等价判定
浏览:174
基于固定极Reed-Muller展开式的3阶可逆逻辑函数NP-NP等价判定,罗庆斌,杨国武,在可逆逻辑函数综合中,分类可以使模块重复使用。把布尔函数NP-N等价的概念推广到可逆逻辑函数中,得到了可逆逻辑函数NP-NP等价的概
论文研究-逻辑等价度量下的模糊推理系统的鲁棒性.pdf
浏览:3
给出了基于模糊逻辑等价度量的模糊集的扰动的定义,讨论了模糊集扰动与模糊连接词及蕴涵算子扰动之间的关系,针对若干特殊的模糊连接词及蕴涵算子的扰动情形,给出了模糊推理系统的扰动的估计,并讨论了模糊推理系统...
论文研究-基于H-等价的算法识别技术研究.pdf
浏览:147
蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达,构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。H-等价的判定条件...
三角形程序-黑盒测试-等价类划分法-边界值分析法.zip
浏览:21
关于...该程序有GUI,用户按照提示输入三条边,由程序判断是否为符合输入数据的三角形,该程序设计故意存在不严谨的地方,可用于黑盒测试,等价类划分法、边界值分析法的测试用例的验证。
最新版ISO/IEC 27001:2022、ISO 27002:2022中英文合集
浏览:48
5星 · 资源好评率100%
ISO 27001:2022英文版 ISO 27001:2022中文版(本人译稿,再也不改了版) ISO 27002:2022英文版 ISO 27002:2022中文版(本人译稿,再也不改了版) 全部为文字版PDF文件,带完整目录标签。
Goby红队版-win-x64-2.4.7版本
浏览:174
Goby红队专版:集成1500个poc和exp ,覆盖普通版本所有功能,开箱即用 使用方式: 解压后双击goby.exe运行即可 注意事项: 最新的漏洞不可以在线更新,可自行添加poc和exp 重要的事情说三遍 不要用于非法或未授权测试! 不要用于非法或未授权测试! 不要用于非法或未授权测试! 自行判断可刑性!
Chrome Header Editor 插件
浏览:82
Chrome Header Editor 插件 及 配置文件,旨在取消因流量异常或IP异常导致的谷歌人机验证。
ISO SAE 21434-2021 中文版.pdf
浏览:152
4星 · 用户满意度95%
ISO SAE 21434中文版
OpenVAS GVM 中文翻译补丁
浏览:59
自己制作的粗糙版 放入/usr/share/gvm/gsad/web/locales目录刷新浏览器即可
安全认证cisp教材全套
浏览:49
5星 · 资源好评率100%
cisp教材全套,最全的CISP电子版教材,总共20章节分20个PDF文件
CISP、NISP二级、CISE题库最新版(2024年1月更新)
浏览:143
CISP、NISP二级、CISE是用的同一套试卷,本人自考NISP二级12月份场次已过,免费把自己备考刷的题库分享出来,考NISP二级在考前把这些题库刷两遍基本上就过了,我是一把过的,重点是认真刷题,考试的时候全部是原题
现代永磁同步电机控制原理及MATLAB仿真__袁雷编著1
浏览:24
内容简介本书着眼于现代永磁同步电机控制原理分析及 MATLAB 仿真应用,系统地介绍了永磁同步电机控制 系统的基本理论、基本方法和应用技术 。全 书分为 3 部
全面的安全基线核查清单
浏览:16
全面的安全基线核查清单
数字部分
实验二
逻辑综合与等价性检查
五、思考题
(1)
从
2.4.4
节生成的报告中,找出以下数据并填入表格中。
report_timing
命令运行结果
中的部分数据
Critical Path
Value
Group
Start Point
End Point
Clock Edge (ps)
Output Delay (ps)
Require Time (ps)
Data Path Delay (ps)
Slack (ps)
report_power
命令运行结果
中的部分数据
Item
Value
Instance
Cells
Leakage Power (nW)
Dynamic Power (nW)
Total Power (nW)
report_qor
命令运行结果
中的部分数据
Item
Value
Clock Period (ps)
Critical Path Slack (ps)
Total Negative Slack (TNS) (ps)
Sequential Instance Count
Combinational Instance Count
Total Area (um
2
)
Max Fanout
Min Fanout
Average Fanout
本内容试读结束,
登录后
可阅读更多
下载后可阅读完整内容,剩余1页未读,
立即下载
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
熊比哒
粉丝: 29
资源:
292
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
Chromeextent_paly.zip
【2023年全国职业技能大赛“信息安全与评估”赛项】任务4-Linux内存取证WP+靶场环境
Python3源码开心麻花影视作品分析程序
小树苗盐城0000000
新闻文章网盟新闻发布系统 v0.9-wmj-news.rar
2024年java面试题-java集合相关面试题
Python3源码今天吃什么程序
Python3源码火车票分析助手程序
Python3源码高德地图58租房的程序
2024年java面试题-java基础相关的面试题
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功