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
LInux镜像文件:CentOS-6.6-i386-bin-DVD1.iso,linux镜像文件,内附网盘链接
2017/6/11 22:15:36 263B Linux centos
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
《数据结构》(C语言版)算法源码及运行演示系统使用说明一、启动演示系统双击演示系统应用程序文件“DS_VC_ALGO.EXE”启动演示系统,出现图1所示界面。
图1《数据结构》(C语言版)算法源码及运行演示系统主界面二、演示系统使用步骤除了个别算法之外,演示系统给出了《数据结构》(C语言版)书中算法对应的程序代码(CPP文件)和测试运行程序(VC++6.0的EXE文件)。
通过本系统,可以显示算法的源代码以及运行结果。
具体操作步骤如下:1.选择相应章单击演示系统界面右侧章选择按钮。
例如,要选择第6章,则单击“第6章”选择按钮。
当相应章被选择后,窗口的右侧部分将列出本章的算法选择按钮。
例如,选择第6章后,窗口的右侧部分将显示第6章中的算法6.1-6.13和6.15的选择按钮。
由于书中的算法6.14和6.16只是示意性算法,故未给出源码,其按钮上的文字为灰色,处于“无效”状态。
2.选择相应章中的算法单击窗口右侧部分所列举的本章某个算法选择按钮,被选择的算法的源码将在窗口左侧空白区域中显示。
对于较长的源码,单击显示区域后,可用键盘的光标键和翻页键浏览源码。
例如,选择了第6章中的算法6.5后界面如图2所示:图2选择算法6.53.运行测试程序单击窗口上部的“运行”按钮,将弹出运行窗口,运行所选算法的测试程序。
若运行按钮为灰色,表示该算法无单独测试程序。
例如,算法6.5的测试运行窗口如图3所示:图3测试运行窗口测试运行说明:测试运行窗口显示程序的执行过程及结果。
若在显示过程中出现运行窗口无法正常演示的情况,只需调节运行窗口大小即可正常显示(调节最小化按钮或窗口最大化/还原按钮“”)。
三、退出演示系统使用完毕后,单击窗口右上角关闭按钮“”退出演示系统。
四、测试程序示例在《数据结构》的课程教学中,各抽象数据类型的设计与实现是重要的学习和实践环节。
为此,本系统只给出了各算法源码的测试程序的可执行文件。
在此,给出算法6.5的测试程序示例,以供参考。
算法6.5是中序遍历线索二叉树的非递归算法,要对其源码进行测试,可首先调用算法6.6及6.7建立中序线索二叉树。
以下是测试程序的源码,相关类型和辅助函数定义在文件include06.h和include06.cpp中,此略。
//test0605.cpp:Definestheentrypointfortheconsoleapplication.//#include"stdafx.h"#include"include06.h"//相关类型和辅助函数的定义BiThrTreepre;//线索二叉树遍历辅助变量#include"algo0607.cpp"//算法6.7源码#include"algo0606.cpp"//算法6.6源码#include"algo0605.cpp"//算法6.5源码intmain(intargc,char*argv[]){chargl_str[64];BiThrTreeT;BiThrTreeThrt;printf("*******************************************\n");printf("*《数据结构》(C语言版)严蔚敏,吴伟民*\n");printf("*算法6.5,6.6&6.7*\n");printf("*******************************************\n");srand((unsigned)time(NULL));//随机函数初始化T=NULL;//空二叉树Tfor(intpass=0;pass<5;pass++){//测试运行5次,第一次为空树outBiThrTree(T,gl_str);//以类广义表的方式输出二叉树T到gl_strprintf("T=%s\n",gl_str);//显示pre=NULL;Statusr=InOrderThreading(Thrt,T);//算法6.6,6.7,中序线索化printf("InOrderThreading(Thrt,T):%s\n",(r)?"OK":"ERROR");initVisitStr();//将visitStr清为空串InOrderTraverse_Thr(Thrt,v
2018/10/26 23:48:18 2.92MB 严蔚敏 数据结构 C语言 源代码
1
【图书目录】第1章PB9.0编程基础1.1PB9.0的特性1.2PB9.0开发环境1.3PB9.0的次要画板1.4PowerScript简介1.5SQL语句的使用1.6常用控件1.7数据窗口对象1.8小结第2章记事本应用系统2.1应用程序的创建2.2窗口的创建2.3菜单的创建2.4各对象脚本的编写2.5应用程序的调试第3章同学录管理系统3.1系统需求分析3.2数据库的创建3.3数据库设计3.4各对象的创建3.5各对象脚本的编写3.6应用程序的编译和运行3.7小结第4章设备管理信息系统4.1系统需求分析4.2数据库设计4.3应用对象的创建4.4各功能模块的实现4.5小结第5章人事管理系统5.1系统设计5.2数据库设计5.3数据库的实现5.4应用程序对象的创建5.5全局变量和全局函数的定义5.6各对象的设计及脚本编写5.7应用程序的运行5.8小结第6章项目管理系统6.1系统设计6.2数据库设计6.3数据库的实现6.4应用程序对象的创建6.5全局函数和结构的定义6.6各对象的设计及其脚本的编写6.7应用程序的运行6.8小结第7章ftp文件传输系统7.1系统设计7.2数据库设计7.3数据库的实现7.4ftp的发布7.5应用对象的创建7.6全局变量和全局外部函数的定义7.7各对象的设计及其脚本的编写7.8应用程序的运行7.9小结第8章数据转换程序8.1实例概述8.2各对象的设计及其脚本的编写8.3应用程序的运行8.4小结第9章进销存管理系统9.1系统设计9.2数据库设计9.3数据库的实现9.4应用对象的创建9.5全局变量和结构的定义9.6各对象的设计及其脚本的编写9.7应用程序的运行9.8小结
2022/9/5 7:20:48 71.42MB PowerBuilder PB 教程 源码
1
PHP+MYSQL动态网站开发ppt很详细,具体的ppt教程,从基础入手,配合案例教程,及每章练习题,循序渐进,适合新手入门,及中级水平提高很好的一本教程!第1章PHP概述1.1PHP的来龙去脉1.2PHP可以做哪些事1.3PHP的特点及其与其它语言的比较1.4PHP常用开发工具案例1登陆Internet了解PHP的应用情况本章小结练习题第2章预备知识:HTML与JavaScript2.1什么是HTML2.2HTML的文本标记及属性2.3插入图片和超链接2.4表格的使用2.5创建表单2.6JavaScript简介2.7JavaScript语法2.8JavaScript使用范例第3章PHP服务器环境配置3.1PHP服务器概述3.2安装PHP前的准备工作3.3PHP5+IIS服务器安装配置3.4PHP5+APACHE服务器安装配置第4章PHP5的基本语法4.1PHP语法概述4.2PHP的常量和变量4.3PHP的运算符和表达式4.4PHP的流程控制4.5PHP的系统函数与自定义函数4.6PHP5的类与对象第5章PHP5内置数组和常量5.1PHP5的内置数组简介5.2接收表单数据和URL附加数据5.3用Cookie和Session实现用户登录5.4用内置数组获取服务器环境信息第6章PHP5常用函数引见6.1PHP5内置函数概述6.2数组函数6.3字符串处理函数6.4时间日期函数6.5数学函数6.6图像处理函数6.7其他函数第7章PHP5文件与目录操作7.1文件操作7.2目录操作7.3文件上传的实现第8章MYSQL数据库安装与使用8.1MYSQL数据库系统简介8.2MYSQL的安装与初始化设置8.3MYSQL中的数据类型8.4结构化查询语言(SQL)简介8.5MYSQL数据库管理工具案例8安装并配置Mysql,并建立一个用户信息表第9章PHP+MYSQL数据库编程9.1PHP操作MYSQL数据库的流程9.2连接数据库前的准备工作9.3PHP操作MYSQL方法详解案例9编写一个PHP+MySQL留言本程序第10章PHP5程序开发综合范例10.1需求分析10.2流程设计10.3数据库设计10.4代码编写10.5程序运行10.6本章小节10.7练习题案例7利用文件操作实现支持头像上传的用户注册程序
2019/4/11 18:19:25 3.72MB php mysql web开发
1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡