搜索到801篇“ 汇编程序“的相关文章
- 一种嵌入式汇编程序生成设备和方法
- 一种嵌入式汇编程序生成设备,包括处理器和存储器,所述存储器中存储有程序,所述程序被所述处理器执行时实现以下步骤:录入项目信息,所述项目信息包括集成电路(integrated circuit,IC)种类,项目功能,配套外设...
- 陈三江
- 基于8051单片机的LED动态显示汇编程序设计
- 2023年
- 阐述8051单片机的应用,LED显示器动态显示原理,及与单片机的接口设计,分析LED显示器动态显示的汇编语言程序,并进行模拟仿真。
- 张少玉
- 关键词:8051单片机LED显示器动态显示汇编程序
- ARMv8.1-M向量化汇编程序形式化验证
- ARM针对ARMv8.1-M微处理器架构推出基于M-Profile向量化扩展方案的技术,并命名为ARM Helium,声明能为ARM Cortex-M处理器提升15倍的机器学习性能和5倍的信号处理性能。随着物联网的高速发...
- 黄厚华
- 关键词:形式化验证操作语义内存溢出
- 汇编程序处理方法及相关装置
- 本申请实施例公开了一种汇编程序处理方法及相关装置,方法包括:在检测到针对第一汇编程序的解析请求时,处理所述第一汇编程序得到第一汇编元素序列,所述第一汇编元素序列包括多个汇编元素,所述多个汇编元素包括操作码和操作数;检测所...
- 方攀 陈岩
- 并行访存汇编程序自动生成系统和存储一致性测试方法
- 本发明公开一种并行访存汇编程序自动生成系统和存储一致性测试方法,包括以下步骤:S1、并行程序生成器读取控制核心和运算核心的汇编程序框架,并且根据核心的数目生成包含相应数目汇编函数的基础汇编程序;S2、并行访存指令序列生成...
- 王丽一谭坚陈磊胡夏晖吴臻蒋丽萍
- 基于汇编程序的智能寻迹车系统
- 2022年
- 工业革命以来,人类的科技飞速发展,现在已进入了智能时代。从尖端航天科技至医学电子器械、家用电器、儿童玩具均越来越趋向于智能化。针对一款智能寻迹车系统进行分析及设计。系统的智能程序采用汇编语言编写,小车不仅能够依据路上轨迹进行自识别路段和方向,而且还能够自动修整姿势和反向行驶,功能较为全面,深受儿童及智能机器人参赛者们的喜爱。另外依靠寻迹车的特点和功能可以应用到快件分选智能系统,即由循迹车扫描快件上二维码信息,与车下的轨迹信息相符就将此件带到相应的集散中心,继而再运输至各地。智能循迹小车其实就是依靠安装在车底部的传感器进行轨迹识别的。当行驶在轨迹内时,发射器发射出的光线被吸收,这样接收探头接受不到信号,证明在轨迹内。反之接收探头能够接收到信号,也就说明循迹车不在预设的轨迹内或已出轨,需要进行向左或向右自我修正方向,直到重新回到轨道上。主要针对部分无倒车功能的寻迹车编程进行程序修改,使用汇编语言来编写的智能循迹车程序,以在更为复杂的环境下能够满足人们的需求。
- 杨富强
- 关键词:单片机汇编语言
- 处理器、模拟器程序、汇编程序以及信息处理程序
- 处理器具有:第一寄存器;第二寄存器,储存与上述第一寄存器相关的状态信息;以及检测电路,基于储存于上述第二寄存器的上述状态信息,检测上述第一寄存器被指定为操作数的命令中的异常。
- 川上健太郎栗原康志
- 一种汇编程序的形式验证的方法
- 一种汇编程序的形式验证的方法基于Intel x86目标机器模型TM,支持Hoare风格的推理.通过出具证明编译器的一个原型,在该汇编程序验证框架上生成了有关单链表和二叉树的一些函数的携带证明的代码。
- 不公告发明人
- 一种汇编程序控制流路径检测方法及装置
- 本发明属于计算机程序分析和软件测试技术领域,公开了一种汇编程序控制流路径检测方法,包括以下步骤:检测并删除汇编程序中代码段的注释,对整数寄存器进行重命名;通过辅助表AT和控制流原始数据CRD得到汇编程序的控制流图CFG;...
- 许瑾晨 曹浩 郭绍忠 周蓓 刘聃
- 一种汇编程序控制流路径检测方法及装置
- 本发明属于计算机程序分析和软件测试技术领域,公开了一种汇编程序控制流路径检测方法,包括以下步骤:检测并删除汇编程序中代码段的注释,对整数寄存器进行重命名;通过辅助表AT和控制流原始数据CRD得到汇编程序的控制流图CFG;...
- 许瑾晨 曹浩 郭绍忠 周蓓 刘聃
相关作者
- 王丽一

- 作品数:49被引量:8H指数:2
- 供职机构:江南计算技术研究所
- 研究主题:处理器 测试程序 寄存器 汇编程序 指令CACHE
- 谭坚

- 作品数:34被引量:6H指数:1
- 供职机构:江南计算技术研究所
- 研究主题:处理器 测试程序 汇编程序 指令CACHE 共享空间
- 原亮

- 作品数:95被引量:326H指数:11
- 供职机构:中国人民解放军军械工程学院
- 研究主题:演化硬件 FPGA 电磁防护 嵌入式系统 EHW
- 吴臻

- 作品数:20被引量:0H指数:0
- 供职机构:江南计算技术研究所
- 研究主题:处理器 汇编程序 处理器测试 处理器性能 程序框架
- 陈磊

- 作品数:16被引量:0H指数:0
- 供职机构:江南计算技术研究所
- 研究主题:汇编程序 处理器测试 处理器性能 处理器 程序框架