针对日趋复杂的微处理器功能验证,提出一种基于分层思想的受限随机激励产生方法,通过测试层、场景层、功能层和指令层的多层约束,实现随机激励在不同粒度范围的高度可控性,精炼测试空间,加快验证的收敛速度。采用可配置的功能库,将处理器功能行为单元作为随机激励的构建基础,产生逻辑功能与通信接口结合的随机激励,实现系列处理器的验证复用。CKCore处理器验证的实验结果表明,该方法与受限随机激励相比,在功能覆盖率相同的情况下,激励编写量减少60%;在仿真时间相同的情况下,功能和代码覆盖率分别改善10%和5%以上,有效提高处理器验证的质量和效率。
2023-02-02 10:29:31 2.04MB 分层 随机 激励 微处理器 功能 验证 约束
1
类似jquery ztree实现的树列表,代码简单,直接引入相关css,js,支持引入json数据。
2023-02-01 21:45:49 159KB 列表
1
包含2个文件:opencv_java460.dll+opencv-460.jar,加载方法有很多文章写,这里不赘述了 wiindows10下编译 x86_64架构 包含opencv+Opencv_contrib4.6.0下所有功能,包括微信qrcode,ximgproc等功能 下载后直接可用,不用自己编译。
2023-02-01 18:56:19 16.99MB opencv contrib win10 微信qrcode
1
WIN10 WIN7 WIN XP 右菜单管理软件 轻松移除文件、文件夹、快捷方式 以及IE浏览器你不想要的右键菜单以及分析、导出右键菜单涉及的注册表项等!
2023-01-31 21:22:31 592KB WIN10 WIN7 WINXP 右键菜单管理
1
CAN 基本知识 CAN –控制器局域网络(Controller A rea N etwork) † 一种稳健的串行总线,专为噪声环境(如汽车和工业控制系统)下的板间通信而 设计。 † 最初是由Bosch 为汽车应用而开发的,随后迅速扩展至 ¬ 工业控制 ¬ 印刷 ¬ 医疗系统 † 基于硬件实现的自动错误检测和有保证的报文传送使得CAN成为噪声环境应用的 理想选择。 † 数据率高达1Mb/s ¬ 分布式电源系统中的配置总线 ¬ 用来替代RS232和RS485 ¬ 路由器中的维护总线 英飞凌自带CAN 应用系列MCU 介绍 英飞凌 自带CAN 应用MCU 开发工具
2023-01-31 15:55:16 669KB 英飞凌 CAN MCU
1
一个很好的资源 分享下 里面有图形的局部放大 图形显示是在对话框上面的
2023-01-31 14:59:07 931KB 图形显示
1
SpringBoot+AntDesignVue实现excel导入功能
2023-01-31 14:19:06 198KB SpringBoot AntDesignVue excel
1
flink-kafka-hbase 功能:实现kafka消息实时落地hbase,支持csv/json字符串两种格式的消息,支持自定义组合rowkey,列簇和列名,支持按照kafka消息流中不同字段join不同的hbase表,并自定义写入列簇和列(join时需评估一下性能) 支持at least once语义 外部依赖:apollo配置中心,本项目依靠配置驱动,配置存储在apollo配置中心 配置: { "indexColumnMapping": { --indexColumnMapping即CSV格式消息的key和value按照value里的分隔符拼接后再分割后下标及写入hbase列的对应关系 "0": "basic:time", --第0列始终是kafka消息的key,如果不需要可以不指定 "1": "basic:user_id",
2023-01-30 14:24:41 35KB kafka apollo hbase flink
1
uplist-具有上传功能的基本静态文件服务器 具有使用构建的基本上传功能的单二进制HTTP静态文件服务器。 免责声明 这不是一台经过安全加固的服务器,仅是一台快速而肮脏的静态文件服务器。 如果您需要强大的功能,建议使用 。 特征 单二进制 小的 高效的 异步的 可以上传 用法 USAGE uplist [PORT [MAX_UPLOAD]] DESCRIPTION Simple HTTP-based file upload service. OPTIONS PORT Port to listen on. Defaults to 8000 MAX_UPLOAD Maximum file upload size in bytes. Defaults to 500MB 建造 如果还没有,请获取 ,然后运行 cargo build --release
2023-01-29 16:20:01 5.08MB HTML
1
阻尼最小二乘法matlab代码我的matlab机器人学工具箱 DH参数在MATLAB中的简单直接实现这可用于执行机器人的正向运动学,以查找机器人每个链接的位置和方向。 DH参数的实现有两种不同的约定。 这使用标准的DH参数,该参数也可以在本书中找到:。 结果已通过Peter Corke的RVC工具箱()进行了验证。 cgr前缀表示代码已准备好代码生成。 NCGR意味着代码不是代码生成做好准备。 特征: 正向运动学 机器人各环节的同质化改造 数值雅可比 简单的可视化,也可以动画 用伪逆方法和阻尼最小二乘法进行逆运动学。 代码生成准备就绪。 如何使用: 创建一个全局变量N_DOFS,并在其中定义机器人的自由度数。 使用全局变量的原因是因为在将动态内存分配用于MATLAB编码器时一直遇到问题。 因此,我使用全局变量来定义必要的静态数组的维数。 使用cgr_create创建机械手结构。 使用cgr_self_update函数来激活和更新关节。 如有必要,可通过在程序开始时首先调用ncgr_graphic来绘制带有ncgr_plot的机械手。 为了创建已编译的MEX或DLL文件,提供了两个MAT
2023-01-29 15:54:23 100KB 系统开源
1