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
MATLABgui密码登陆程序,是MATLABgui学习手记第十一章的11.1相似的程序代码
2015/8/26 10:25:56 11KB MATLAB gui 密码登陆 程序
1
《工程电磁场》体现了面向工程的电磁场内容体系。
全书共分11章。
第1章矢量分析与场论基础是全书中数学基础。
第2-5章分别从库化定律、电荷守恒定律、安培定律、法拉第定律和麦克斯韦拉移电流假设推导出静电场、恒定电场、恒定磁场和时变电磁场的基本方程,并将其表述为边值问题。
第6章论述了镜像法的基本原理,并将其推广到模拟电荷法。
第7章基于加权余量概念引见了工程中常用的有限元法和边界元法。
第8-10章分别计论了电磁场的能量和力、平面电磁波和电路参数计算原理。
第11章引见了电气工程中典型的电磁场问题,包括变压器的磁场、电机的磁场、绝缘子的电场、三相输电线路的工频电磁环境以及三相输电线路的电容和电感参数。
2021/3/18 16:50:03 11.61MB 很经典 实用
1
资源名称:Superor老师高清Perl视频教程【17章】资源目录:【】Superor老师高清Perl视频教程[第10章]【】Superor老师高清Perl视频教程[第11章]【】Superor老师高清Perl视频教程[第12章]【】Superor老师高清Perl视频教程[第13章]【】Superor老师高清Perl视频教程[第14章]【资源太大,传百度网盘了,链接在附件中,有需求的同学自取。
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
李春葆算法设计与分析(第2版)课件、习题答案、书中全部源代码。
第1章概述第2章递归算法设计技术第3章分治法第4章蛮力法第5章回溯法第6章分枝限界法第7章贪婪法第8章动态规划第9章图算法设计第10章计算几何第11章计算复杂性理论第12章概率算法和近似算法
2015/3/26 22:40:25 9.25MB 算法设计与分析 李春葆 课件
1
网络编程是.NET企业级应用程序开发的重要内容,也是开发人员当前所面临的难点之一。
本书共分为11章,全面深入地引见了.NET网络编程技术,内容分别涉及到物理网络的体系结构、网络协议和OSI模型、.NET中的套接字编程、TCP和UDP、HTTP和多播套接字、Internet编程和用于发送电子邮件的.NET类、.NET中的密码术以及身份验证协议等。
本书适合那些熟悉C#基础编程知识、并希望切实掌握.NET网络编程技术的各类开发人员;
本书并不要求您先前了解网络,但具有网络编程的相关知识有利于学习本书。
2017/3/25 14:37:01 36.19MB C# Net 网络 计算机
1
《openssl编程》当前版本,在以前的基础上增加了椭圆曲线补充。
第一章 基础知识 81.1 对称算法 81.2 摘要算法 91.3 公钥算法 91.4 回调函数 11第二章 openssl简介 132.1 openssl简介 132.2 openssl安装 132.2.1 linux下的安装 132.2.2 windows编译与安装 142.3 openssl源代码 142.4 openssl学习方法 16第三章 堆栈 173.1 openssl堆栈 173.2 数据结构 173.3 源码 183.4 定义用户自己的堆栈函数 183.5 编程示例 19第四章 哈希表 214.1 哈希表 214.2 哈希表数据结构 214.3 函数说明 234.4 编程示例 25第五章 内存分配 275.1 openssl内存分配 275.2 内存数据结构 275.3 主要函数 285.4 编程示例 29第六章 动态模块加载 306.1 动态库加载 306.2 DSO概述 306.3 数据结构 316.4 编程示例 32第七章 抽象IO 347.1 openssl抽象IO 347.2 数据结构 347.3 BIO函数 367.4 编程示例 367.4.1 membio 367.4.2 filebio 377.4.3 socketbio 387.4.4 mdBIO 397.4.5 cipherBIO 407.4.6 sslBIO 417.4.7 其他示例 42第八章 配置文件 438.1 概述 438.2 openssl配置文件读取 438.3 主要函数 448.4 编程示例 44第九章 随机数 469.1 随机数 469.2 openssl随机数数据结构与源码 469.3 主要函数 489.4 编程示例 48第十章 文本数据库 5010.1 概述 5010.2 数据结构 5110.3 函数说明 5110.4 编程示例 52第十一章 大数 5411.1 引见 5411.2 openssl大数表示 5411.3 大数函数 5511.4 使用示例 58第十二章 BASE64编解码 6412.1 BASE64编码引见 6412.2 BASE64编解码原理 6412.3 主要函数 6512.4 编程示例 66第十三章 ASN1库 6813.1 ASN1简介 6813.2 DER编码 7013.3 ASN1基本类型示例 7013.4 openssl的ASN.1库 7313.5 用openssl的ASN.1库DER编解码 7413.6 Openssl的ASN.1宏 7413.7 ASN1常用函数 7513.8 属性证书编码 89第十四章 错误处理 9314.1 概述 9314.2 数据结构 9314.3 主要函数 9514.4 编程示例 97第十五章 摘要与HMAC 10015.1 概述 10015.2 openssl摘要实现 10015.3 函数说明 10115.4 编程示例 10115.5 HMAC 103第十六章 数据压缩 10416.1 简介 10416.2 数据结构 10416.3 函数说明 10516.4 openssl中压缩算法协商 10616.5 编程示例 106第十七章 RSA 10717.1RSA引见 10717.2 openssl的RSA实现 10717.3 RSA签名与验证过程 10817.4 数据结构 10917.4.1RSA_METHOD 10917.4.2 RSA 11017.5 主要函数 11017.6编程示例 11217.6.1密钥生成 11217.6.2 RSA加解密运算 11317.6.3签名与验证 116第十八章 DSA 11918.1DSA简介 11918.2 openssl的DSA实现 12018.3 DSA数据结构 12018.4 主要函数 12118.5 编程示例 12218.5.1密钥生成 12218.5.2签名与验证 124第十九章DH 12619.1 DH算法引见 12619.2 openssl的DH实现 12719.3数据结构 12719.4 主要函数 12819.5 编程示例 129第二十章
2018/2/16 22:25:54 354KB openssl
1
本书以AutoCAD软件为基础,集使用与开发为一体,以开发为主。
内容分为4部分:第一部分(第1章)引见AutoCAD系统二次开发的基本特性,外部命令的定义等;
第二部分(第2、3、4、7章)引见开发内容,这些内容包括各种菜单技术,线型、图案以及图形符号的扩充,对话框设计技术;
第三部分(第5、6章)引见系统的开发工具,比较详细地引见了VisualLISP和AutoLISP语言开发工具、参数化绘图以及高级语言的接口技术等;
第四部分(第8、9、10、11章)引见CAD二次开发技术在机械、建筑和采矿等工程领域中的应用。
2016/7/23 3:43:05 1.91MB CAD二次开发 LISP 清华大学
1
TMS320F2837xD技术参考手册-第1-2章:c28x处理器与系统控制TMS320F2837xD技术参考手册-第3-4章:ROM代码及外设启动与直接内存访问(DMA)TMS320F2837xD技术参考手册-第5-6章:控制率加速器(CLA)TMS320F2837xD技术参考手册-第7章:通用输入输出口(GPIO)TMS320F2837xD技术参考手册-第8章:交叉开关TMS320F2837xD技术参考手册-第9章:模仿子系统TMS320F2837xD技术参考手册-第10章:模数转换器(ADC)TMS320F2837xD技术参考手册-第11章:缓冲数模转换器(DAC)TMS320F2837xD技术参考手册-第12章:比较器子系统(CMPSS)TMS320F2837xD技术参考手册-第13章:SigmaDelta滤波器模块(SDFM)
2018/8/11 9:08:51 140.88MB F2837xD DSP双核 中文 TI
1
共 253 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡