SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。
目录如下:第一章SV环境构建常识 1 1.1数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2过程块和方法 27 initial和always 30 function逻辑电路 33 task时序电路 35 动态静态变量 39 1.3设计例化和连接 45第二章验证的方法 393 动态仿真 395 静态检查 397 虚拟模型 403 硬件加速 405 效能验证 408 功能验证 410第三章SV组件实现 99 3.1接口 100 什么是interface 101 接口的优势 108 3.2采样和数据驱动 112 竞争问题 113 接口中的时序块clocking 123 利于clocking的驱动 133 3.3测试的开始和结束 136 仿真开始 139 program隐式结束 143 program显式结束 145 软件域program 147 3.4调试方法 150第四章验证的计划 166 4.1计划概述 166 4.2计划的内容 173 4.3计划的实现 185 4.4计划的进程评估 194第五章验证的管理 277 6.1验证的周期检查 277 6.2管理三要素 291 6.3验证的收敛 303 6.4问题追踪 314 6.5团队建设 321 6.6验证的专业化 330第六章验证平台的结构 48 2.1测试平台 49 2.2硬件设计描述 55 MCDF接口描述 58 MCDF接口时序 62 MCDF寄存器描述 65 2.3激励发生器 67 channelinitiator 72 registerinitiator 73 2.4监测器 74 2.5比较器 81 2.6验证结构 95第七章激励发生封装:类 209 5.1概述 209 5.2类的成员 233 5.3类的继承 245 三种类型权限protected/local/public 247 thissuper 253 成员覆盖 257 5.4句柄的使用 263 5.5包的使用 269第八章激励发生的随机化 340 7.1随机约束和分布 340 权重分布 353 条件约束 355 7.2约束块控制 358 7.3随机函数 366 7.4数组约束 373 7.5随机控制 388第九章线程与通信 432 9.1线程的使用 432 9.2线程的控制 441 三个fork...join 443 等待衍生线程 451 停止线程disable 451 9.3线程的通信 458第十章进程评估:覆盖率 495 10.1覆盖率类型 495 10.2功能覆盖策略 510 10.3覆盖组 516 10.4数据采样 524 10.5覆盖选项 544 10.6数据分析 550第十一章SV语言核心进阶 552 11.1类型转换 552 11.2虚方法 564 11.3对象拷贝 575 11.4回调函数 584 11.5参数化的类 590第十二章UVM简介 392 8.2UVM简介 414 8.3UVM组件 420 8.4UVM环境 425
2022/10/19 15:18:43 47.25MB systemverilog
1
这个是我的毕业设计五个模块包括:个人信息管理模块,公告模块,基本信息管理模块,奖学金管理模块,成绩管理模块角色:学生,教师,管理员目录1引言11.1课题的研究目的与意义11.2课题的创新点11.3课题的实用价值22业务概述22.1传统业务处理模式介绍22.2现有信息系统应用情况23可行性研究33.1系统粗略分析33.2系统数据流图43.2.1顶层数据流图43.2.2一层数据流图53.3系统可行性分析53.3.1技术可行性63.3.2经济可行性63.3.3操作可行性63.3.4法律可行性64需求分析74.1系统功能需求74.1.1个人信息管理模块74.1.2公告管理模块84.1.3基本信息管理模块84.1.4奖学金管理模块94.1.5成绩管理模块图104.2系统功能需求114.3系统数据需求114.3.1学生基本信息实体图114.3.2教师基本信息实体图124.3.3管理员基本信息实体图124.3.4公告基本信息实体图134.3.5期末成绩基本信息实体图134.3.6德育成绩基本信息实体图134.3.7奖学金申请基本信息实体图144.4其他需求144.4.1可靠性和可用性145总体设计155.1系统功能结构分析155.1.1学生综合素质测评系统上层功能结构图155.1.2学生综合素质测评系统模块功能结构图155.2系统应用架构设计195.3系统安全性分析196数据库设计206.1系统数据库设计环境配置说明206.2数据库模型设计206.3数据表及其结构217详细设计277.1程序流程图277.1.1奖学金审核程序流程图287.1.2公告管理程序流程图297.2详细说明297.2.1登录界面307.2.2管理员主界面317.2.3添加管理员界面327.2.4添加学生界面337.2.4修改综合素质测评成绩系数347.2.5管理员管理公告357.2.7教师个人信息管理357.2.8教师录入学生加减分377.2.9教师管理学生综合素质测评成绩407.2.10学生查看公告427.2.11学生奖学金申请438系统使用说明458.1系统运行环境和配置458.1.1硬件环境458.1.2软件环境458.2系统操作说明458.2.1用户登录说明468.2.2管理员子系统说明478.2.3学生子系统说明538.2.4教师子系统说明589总结66参考文献67致谢68
2018/1/3 17:07:13 6.92MB asp.net sql 毕业设计
1
本书是为应用数学系本科生、工科硕士研究生所写的有关最优化知识的一本教材,作为教材,本书的基本观点是:采用简单、基本直观的方法,向学生介绍最优化的有关理论、基本原理和相应的算法,并试图让学生了解算法的来龙去脉,以便使他们在处理实际问题的过程中,更好地运用这些方法。
本书的基础是“数学分析”和“线性代数”,对于工科学生,只需具备“高等数学”和“线性代数”知识就可读懂大部分内容。
第一章绪论1.1引言1.2最优化问题1.3数学预备知识1.4凸集和凸函数第二章线性规划2.1引言2.2线性规划的数学模型2.3线性规划的基本性质2.4单纯形方法2.5改进单纯形法第三章线性规划的对偶问题3.1对偶问题3.2线性规划的对偶理论3.3对偶单纯形法3.4第一个正则解的求法第四章无约束最优化问题的一般结构4.1无约束问题的最优性条件4.2无约束问题的一般下降算法4.3算法的收敛性第五章一维搜索5.1试探法5.2插值法5.3非精确一维搜索方法第六章使用导数的最优化方法6.1Newton法6.2共轭梯度法6.3变度量法6.4变度量法的基本性质6.5非线性最小二乘问题第七章直接方法7.1Powell方法7.2模式搜索方法7.3单纯形调优法第八章约束问题的最优性条件8.1约束问题局部解的概念8.2约束问题局部解的必要条件8.3约束问题局部解的充分条件8.4Lagrange乘子的意义第九章二次规划问题9.1二次规划的基本概念和基本性质9.2等式约束二次规划问题9.3有效集法9.4对偶问题第十章可行方向法10.1可行方向法10.2投影梯度法10.3既约梯度法第十一章乘子法11.1惩罚函数法11.2等式约束问题的乘子法11.3一般约束问题的乘子法
2017/3/25 14:36:01 3.5MB 最优化原理和方法
1
第一章操作系统引论11.1操作系统的目标和作用11.2操作系统的发展过程51.3操作系统的基本特性131.4操作系统的次要功能161.5OS结构设计22习题31第二章进程的描述与控制322.1前趋图和程序执行322.2进程的描述352.3进程控制422.4 进程同步472.5 经典进程的同步问题602.6进程通信672.7线程(Threads)的基本概念752.8线程的实现79习题84第三章处理机调度与死锁853.1处理机调度的层次和调度算法的目标853.2作业与作业调度87
1
1绪论 11.1设计背景 11.2设计目的与意义 12需求分析 32.1需求概述 32.2系统需求说明 32.2.1功能需求 32.3数据字典 52.3.1数据流图 52.3.2数据项描述 72.4模块分析 82.4.1材料管理 92.4.2采购管理 92.4.3销售管理 92.4.4库存管理 102.4.5应付款管理 102.4.6应收款管理 102.4.7帐务管理 112.4.8统计分析 112.4.9零售管理 122.4.10系统管理 123概念结构设计 133.1系统流程图 133.2E-R图 133.2.1总体E-R图 133.2.2商品清单 143.2.3供货商清单 143.2.4客户清单 153.2.5概念结构模型图 154逻辑结构设计 174.1逻辑关系图 174.2数据项 175物理结构设计及功能实现 235.1物理结构 235.2功能实现 245.2.1基本表的创建 245.2.2创建视图 265.2.3创建触发器 275.2.4创建存储过程 286设计体会与建议 33致谢 34参考文献 35
2020/4/10 23:22:28 722KB 进销存管理系统 数据库
1
1光纤通信概论11.1光纤通信的发展史11.2光纤通信系统32光纤62.1概述62.2光线在光纤中的传输92.2.1阶跃光纤中的光线分析92.2.2梯度光纤中的光线分析102.2.3平面光波导132.3光纤的波动理论172.3.1波动方程172.3.2归一化变植182.3.3贝塞尔方程的场解192.3.4特征方程212.3.5线偏振校及其特性222.3.6传播常数卢与归一化频率V的关系242.3.7光纤中的功率流252.3.8单模光纤262.4光纤的损耗特性292.4.1材料的吸收损耗302.4.2光纤的散射损耗312.4.3辐射损耗312.5光纤的色散特性及带宽322.5.1群时延和时延差332.5.2材料色散和波导色散332.5.3高斯脉冲在单橾光纤中的传播382.5.4偏振栈色散402.5.5模间色散412.5.6光纤的传输带宽412.6单模光纤中的非线性效应432.6.1媒质中的仆线性效应432.6.2光纤中的受激散射效应442.6.3非线性折射率调制效应462.6.4光脉冲在光纤中的传输方程472.7光纤光栅482.7.1基本工作原理482.7.2耦合模理论及布拉格光栅的滤波特性502.7.3嘱啾光纤光栅532.7.4长周期光纤光栅542.7.5抽样光栅552.7.6光纤光栅在光纤通信中的应用552.8无源光器件572.8.1光纤的连接与光纤连接器582.8.2光纤分路器及耦合器582.8.3GR1N透镜连接器602.8.4光隔离器与光环行器602.8.5光开关612.9聚合物光纤与光子晶体光纤简介642.9.1聚合物光纤642.9.2光子晶体光纤65习题683光源与光发送机703.1半导体中的光发射713.1.1光的吸收与发射713.1.2半导体的光发射743.2发光二极管783.2.1发光二极管的结构783.2.2发光二极管的主要特性803.3半导体激光器的工作原理与结构833.3.1半导体激光器的工作原理833.3.2半导体激光器的结构873.4半导体激光器的工作特性933.4.1P-1特性933.4.2模式特性与线宽963.4.3调制特性973.4.4波长调谐特性1023.4.5噪声特性1033.4.6半导体激光器的安全使用1053.5光发送机1053.5.1光载波的调制1063.5.2发光二极管驱动电路1063.5.3激光二极管驱动电路1083.5.6光源与光纤的耦合1103.5.7光源的外调制技术112习题1144光检测器与光接收机1164.1概述1164.2光检测器1174.2.1光检测器的工作原理1174.2.2光检测器的主要工作持性1224.3光接收机的噪声1254.3.1光接收机中的噪声源1254.3.2接收机等效电路及放大器电路噪声1274.3.3光检测器的噪声1284.3.4背景噪声1314.4模拟接收机的噪声及信噪比1324.4.1均方信号电流1324.4.2光检测器噪声1324.4.3信噪比及接收灵敏度1334.5数字接收机的噪声分析1354.5.1概述1354.5.2数字接收机的分析模型1364.5.3信号分析1374.5.4放大器电路噪卢1384.5.5光检测器噪声1384.5.6输入输出脉冲外形及/1/2/3~1值1404.6光接收机前置放大器1454.6.l高阻抗前置放大器1464.6.2互阻抗放大器1524.6.3动态范围1544.7数字接收机的误码率和接收灵敏度1564.7.1数字接收机的误码率1564.7.2数字接收机的接收灵敏度1594.7.3数字接收机的灵敏度极限一量子极限1634.8数字接收机中的定时提取与判决再生1644.8.1定时提取1644.8.2判决再生165习题1665光放大器1685.1光放大器简介及其一般特性1685.1.1半导体光放大器(SOA)1685.1.2掺饵光纤放大器(EDFA)1705.1.3光纤喇曼放大器(1BA)1705.1.4光放大器一般工作特性1705.1.5
2016/8/26 19:29:08 14.7MB 光纤通信
1
目录一.总体规划 11.1项目确认 11.2问题分析 11.3决策分析 1二.系统分析 22.1需求说明 22.2功能分析 22.3业务流程分析 32.3.1借阅管理 32.3.2图书管理 42.3.3读者管理 52.4数据流图 62.4.1顶层图、第一层图 62.4.2第二层图:借阅管理 72.4.3第二层图:图书管理 72.4.4第二层图:读者管理 82.5数据字典 8三.系统设计 103.1总体结构设计 103.2数据库设计 103.2.1E-R图 103.2.2数据库表设计 113.2.3数据库关系设计 12四.系统构建、实现和运转支持 134.1系统运转环境 134.2各个功能窗体实现 144.2.1主窗体 144.2.2管理员登录窗体 184.2.3查询图书窗体 204.2.4续借图书窗体 224.2.5借阅图书窗体 274.2.6归还图书窗体 324.2.7图书管理窗体 374.2.8读者管理窗体 434.3系统测试(白盒测试) 514.3.1管理员登录测试 514.3.2查询图书测试 514.3.3续借管理测试 524.3.4借阅图书测试 534.3.5归还图书测试 554.3.6图书管理测试 564.3.7读者管理测试 58
2021/3/7 13:36:39 1.75MB 课程设计 报告 图书管理系统 delphi
1
中文名:深入解析Windows操作系统原名:MicrosoftWindowsInternals作者:(美)所罗门(Solomon,D.A.)/美)罗斯(Russinovich,M.E.)译者:潘爱民资源格式:PDF版本:中文第4版出版社:电子工业出版社书号:9787121039690发行时间:2007年04月01日地区:大陆语言:简体中文简介:目录:第1章概念和工具1.1Windows操作系统的版本1.2基础概念和术语1.3挖掘Windows内部机理1.4本章总结第2章系统结构2.1需求和设计目标2.2操作系统模型2.3总体结构2.4关键的系统组件2.5本章总结第3章系统机制3.1陷阱分发3.2对象管理器3.3同步3.4系统辅助线程3.5Windows全局标志3.6本地过程调用(LPC)3.7内核事件追踪3.8Wow643.9本章总结第4章管理机制4.1注册表4.2服务4.3Windows管理规范4.4本章总结第5章启动和停机5.1引导过程5.2引导和启动问题的故障检查5.3停机5.4本章总结第6章进程、线程和作业6.1进程的内部机理6.2CreateProcess的流程6.3线程的内部机理6.4检查线程活动6.5线程调度6.6作业对象6.7本章总结第7章内存管理7.1内存管理器简介7.2内存管理器提供的服务7.3系统内存池7.4虚拟地址空间的规划结构7.5地址转译7.6页面错误处理7.7虚拟地址描述符7.8内存区对象7.9工作集7.10逻辑预取器7.11页面帧编号数据库7.12本章总结第8章安全性8.1安全系统组件8.2保护对象8.3账户权限和特权8.4安全审计8.5登录(Logon)8.6软件限制策略8.7本章总结第9章I/O系统9.1I/O系统组件9.2设备驱动程序9.3I/O处理9.4即插即用(PnP)管理器9.5电源管理器9.6本章总结第10章存储管理10.1有关存储的术语10.2磁盘驱动程序10.3卷的管理10.4本章总结第11章缓存管理器11.1缓存管理器的关键特性11.2缓存的虚拟内存管理11.3缓存的大小11.4缓存的数据结构11.5文件系统接口11.6快速I/O11.7预读(ReadAhead)和滞后写(WriteBehind)11.8本章总结第12章文件系统12.1Windows文件系统格式12.2文件系统驱动程序总体结构12.3诊断文件系统的问题12.5NTFS文件系统驱动程序12.6NTFS在磁盘上的结构12.7NTFS的恢复支持12.8加密文件系统(EFS)安全性12.9本章总结第13章网络13.1Windows的网络总体结构13.2网络API13.3多重定向器支持13.4名称解析13.5协议驱动程序13.6NDIS驱动程序13.7绑定13.8分层的网络服务13.9本章总结第14章崩溃转储分析14.1Windows为什么会崩溃14.2蓝屏14.3崩溃转储文件14.4Windows错误报告14.5在线崩溃分析14.6基本的崩溃转储分析14.7使用崩溃诊断工具14.8高级的崩溃转储分析术语表术语对照表索引
2021/3/8 8:11:38 89.49MB Windows 操作系统
1
处理“CouldnotfindDeveloperDiskImage”问题,11.2(15C107)和11.2.6(15D100)开发包。
主要处理手机系统升级了,但系统没升级,xcode没有新的sdk的问题。
我也是找了好久,下载了最新的xcode也没有,最后整理出来了需要的sdk。
本人亲测在xcode7.3.1和xcode8.3.3下可以用
2019/3/7 21:16:22 17.32MB 15C107 15D100
1
摘要IIAbstractIII第一章设计概述11.1实验背景11.2设计目的1第二章设计简介及设计方案阐述32.1方案阐述3第三章详细设计43.1结构体的定义43.2主函数定义43.2副函数定义5第四章设计结果及分析114.1设计结果显示114.2设计结果分析12总结13致谢
2017/3/22 23:57:55 348KB 哈夫曼树
1
共 143 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡