社区首页
博客
论坛
文库
评测
芯语
活动
商城
更多
社区
论坛
博客
问答
评测中心
面包芯语
E币商城
社区活动
资讯
电子工程专辑
国际电子商情
电子技术设计
CEO专栏
eeTV
EE|Times全球联播
资源
在线研讨会
视频
白皮书
小测验
供应商资源
ASPENCORE Studio
EE直播间
活动
IIC Shanghai 2023
2023(第四届)国际 AIoT 生态发展大会
全球 MCU 生态发展大会
第四届临港半导体产业高峰论坛暨司南科技奖颁奖盛典
IIC Shenzhen 2023
第四届中国国际汽车电子高峰论坛
更多活动预告
杂志与服务
免费订阅杂志
电子工程专辑电子杂志
电子技术设计电子杂志
国际电子商情电子杂志
社区每月抽奖
登录|注册
帖子
帖子
博文
电子工程专辑
电子技术设计
国际电子商情
资料
白皮书
研讨会
芯语
文库
首页
分类
专题
技术白皮书
电子杂志
帮助
创建专题
上传文档
我的上传
我的下载
我的收藏
登录
下载首页
分类
专题
技术白皮书
帮助
面包板社区
博客
论坛
E币商城
面包芯语
帖子
帖子
博文
资料
资料
专题
热门搜索:
python
HarmonyOS
嵌入式
电源
C语言
华为
电子竞赛
单片机
PCB
首页
分类列表
单片机/嵌入式
论文
基于SystemC描述的嵌入式系统的自动化验证
推荐星级:
类别:
单片机/嵌入式
时间:2021-09-10
大小:139.76KB
阅读数:754
上传用户:
czd886
查看他发布的资源
下载次数
0
所需E币
5
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
资料介绍
基于SystemC描述的嵌入式系统的自动化验证
展开阅读全文
所属专题
嵌入式系统技术资料文献
展开资源列表
嵌入式系统技术资料文献
三层传输模型在嵌入式系统与PC间通信中的实现
ARM处理器与嵌入式系统.
ARM平台下Linux嵌入式系统移植的研究
ARM嵌入式系统C语言编程
ARM嵌入式系统模糊可靠性评价
ARM嵌入式系统启动过程分析及实现
ARM嵌入式系统在GIS在线监测中的应用
CDROM在嵌入式系统中的应用
C语言在DSP嵌入式系统中的应用与开发
DSP主机接口在嵌入式系统中的应用
DVI接口在嵌入式系统中的应用
FPGA在嵌入式系统中的应用
GOA避障算法的嵌入式系统实现
IDE与嵌入式系统设计.
Java在嵌入式系统中的应用与实现
KGDB在基于ARM+Linux的嵌入式系统中的应用
LDO稳压器对嵌入式系统掉电保护作用的研究
Linux+2.6内核的嵌入式系统应用
Linux嵌入式系统的实时性分析
Linux在嵌入式系统中的应用
LPC3250嵌入式系统的图像采集
MOOC环境下嵌入式系统虚拟仿真平台的实现与应用
OOPN与嵌入式系统开发
PLC与单片机技术研究
PLD在嵌入式系统的应用
PPPoE协议在嵌入式系统中的实现
SSL在嵌入式系统上实现的策略
STM32嵌入式系统实验教学方案的设计与实践
UML在嵌入式系统开发中的研究与应用
UML在嵌入式系统设计中的应用
WDT在嵌入式系统中的应用
编码技术在嵌入式系统开发中的应用分析
策略驱动的可靠嵌入式系统建模及分析方法
船舶电力推进负荷仿真DSP+MCU嵌入式系统
大数据时代与嵌入式系统
单片机技术下的嵌入式PLC软开发探讨
单片机技术在电气传动控制系统中的应用
单片机技术在电气传动系统中的应用
单片机技术在电子信息技术中的运用探究
单片机技术在网络通信中的应用
单片机技术在网络通信中的应用研究
单片机技术在智能化电子产品中的应用.
单片机嵌入式系统的抗干扰技术
电气传动与控制系统中单片机技术的运用
对嵌入式系统的开发与应用研究
分布式嵌入式系统的自适应能耗管理和分析
分布式实时嵌入式系统端到端性能确保.
分析单片机在嵌入式系统软件中的应用研究
高速嵌入式系统隐私数据安全传输建模与仿真
关键安全性分布嵌入式系统测试平台研究
互连网技术在嵌入式系统中的实现
混合动力汽车多能源动力总成嵌入式系统
基于8051嵌入式系统的GPRS终端实现
基于Android的嵌入式系统综合实验设计
基于ARM9嵌入式系统的Bootloader移植
基于ARM-μCLinux的嵌入式系统实验研究
基于ARM的嵌入式系统开发
基于ARM的嵌入式系统实验研究
基于ARM的嵌入式系统在直流系统接地故障定位中的研究
基于ARM的嵌入式系统在直流系统接地故障检测中的应用
基于ARM的嵌入式系统组网设计与实现
基于ARM嵌入式系统导航接收机设计与实现
基于ARM嵌入式系统的拟人机器人控制器的设计
基于ARM嵌入式系统的微型智能可编程控制器
基于ARM与WinCE的微波变频器嵌入式系统设计
基于COM的操作系统在嵌入式系统中的应用
基于CPM理论的仿生康复手嵌入式系统的研究
基于DLL的嵌入式系统中的软件组件化
基于DSP和嵌入式系统的便携式数据采集分析装置设计
基于ECC的嵌入式系统的一次性口令方案
基于Hi3510和Linux2.6内核嵌入式系统的存储研究与应用
基于IPV6的嵌入式系统设计与应用
基于Kerberos的嵌入式系统认证方案
基于Linux的嵌入式系统开发
基于LinuX的嵌入式系统设计与实现
基于linux嵌入式系统的研究.
基于Matlab的嵌入式系统设计
基于MC68332的嵌入式系统设计.
基于MVC设计模式搭建嵌入式系统应用框架.
基于MVI模块嵌入式系统的Modbus协议开发.
基于Nucleus+PLUS的嵌入式系统的软件设计
基于Nucleus的嵌入式系统数据库架构设计
基于OMAP的手持设备嵌入式系统研究
基于Petri网的分布式实时嵌入式系统的调度分析
基于PXA255的嵌入式系统的设计与实现
基于PXA270嵌入式系统的Bootloader研究与实现
基于S7600A的嵌入式系统Internet接入方案
基于Simics的嵌入式系统的研究与开发
基于SNMP的嵌入式系统Web管理模型
基于SOPC的嵌入式系统
基于STM32嵌入式系统的无人物流车运输控制系统设计
基于SystemC的嵌入式系统设计
基于SystemC和汇编级TA的嵌入式系统协同仿真方法
基于SystemC描述的嵌入式系统的自动化验证
基于Targetlink的嵌入式系统控制软件开发
基于TFTP协议的嵌入式系统开发方法设计与实现
基于TMS320C6202的嵌入式系统实时软件模块设计
基于UML的嵌入式系统的分析与设计
基于UML的嵌入式系统模型设计
基于
systemc
描述
嵌入式系统
自动化验证
0
收藏
举报
版权说明:本资料由用户提供并上传,仅用于学习交流;若内容存在侵权,请进行举报,或
联系我们
删除。
相关评论
(下载后评价送E币
我要评论
)
发送
取消
没有更多评论了
加载更多评论
可能感兴趣
关注本资料的网友还下载了
技术白皮书
视频基础知识
所需E币:1
时间:2019-05-27
大小:2.91MB
上传者:
xld0932
立即下载
PROFIBUS规范(标准部分)_第八部分(用户规范)
所需E币:0
时间:2019-05-24
大小:675.53KB
上传者:
xld0932
立即下载
基于
单片机的增量式光电编码器接口的设计
所需E币:1
时间:2019-05-24
大小:174.89KB
上传者:
牛渔曦
立即下载
图灵电子与电气工程丛书-智能传感器设计
所需E币:1
时间:2019-05-24
大小:36.78MB
上传者:
牛渔曦
立即下载
6-S7通信基础
所需E币:0
时间:2019-05-27
大小:1.65MB
上传者:
崴
立即下载
《单片机C 语言程序设计实训 100 例—
基于
8051+Proteus
所需E币:0
时间:2019-05-27
大小:830.31KB
上传者:
feiniao2008
立即下载
TI电源设计经验谈1-50
所需E币:0
时间:2019-05-27
大小:5.14MB
上传者:
Elearch
立即下载
单片机的40个实验
所需E币:1
时间:2019-05-27
大小:2.56MB
上传者:
feiniao2008
立即下载
51端口的结构及工作原理
所需E币:1
时间:2019-05-27
大小:891.4KB
上传者:
feiniao2008
立即下载
《RTX51中文版》KEIL RTX51实时操作系统的说明
所需E币:2
时间:2019-05-27
大小:416.83KB
上传者:
feiniao2008
立即下载
基于
特征关联分析的档案信息关联模型
所需E币:3
时间:2019-05-27
大小:1.56MB
上传者:
royalark_912907664
立即下载
面向枪声定位的无线传感器网络系统研究
所需E币:3
时间:2019-05-27
大小:1.66MB
上传者:
royalark_912907664
立即下载
大气波导现象对二次雷达的影响及抑制方法
所需E币:3
时间:2019-05-27
大小:1.48MB
上传者:
royalark_912907664
立即下载
基于
μCOS系统的液晶显示界面的设计
所需E币:3
时间:2019-05-27
大小:1.45MB
上传者:
royalark_912907664
立即下载
基于
检测单元统计量的SOS-CFAR检测器
所需E币:3
时间:2019-05-27
大小:1.66MB
上传者:
royalark_912907664
立即下载
电子竞赛—数字化语音存储与回放
所需E币:2
时间:2019-05-27
大小:749.93KB
上传者:
feiniao2008
立即下载
FIFO及CPLD器件在高速AD测量中的应用
所需E币:1
时间:2019-05-27
大小:155.88KB
上传者:
牛渔曦
立即下载
MCS51单片机扩展大量高速并行接口的低成本实现
所需E币:1
时间:2019-05-27
大小:149.42KB
上传者:
牛渔曦
立即下载
PLC输入输出端的硬件保护
所需E币:1
时间:2019-05-27
大小:51.31KB
上传者:
牛渔曦
立即下载
光电火控系统模拟器外围接口电路设计
所需E币:1
时间:2019-05-27
大小:247.19KB
上传者:
牛渔曦
立即下载
基于
51单片机和CPLD的数字频率计
所需E币:1
时间:2019-05-27
大小:132.62KB
上传者:
牛渔曦
立即下载
基于
CPLD的高速电磁阀驱动电路研究
所需E币:1
时间:2019-05-27
大小:123.99KB
上传者:
牛渔曦
立即下载
基于
CPLD的接口实验系统的设计
所需E币:1
时间:2019-05-27
大小:344.99KB
上传者:
牛渔曦
立即下载
基于
CPLD和单片机实现的无线报警系统
所需E币:1
时间:2019-05-27
大小:80.78KB
上传者:
牛渔曦
立即下载
基于
DSP、CPLD和单片机的高速数据采集装置设计
所需E币:1
时间:2019-05-27
大小:267.44KB
上传者:
牛渔曦
立即下载
基于
FPGA的ADS7817驱动电路设计
所需E币:1
时间:2019-05-27
大小:3.85MB
上传者:
牛渔曦
立即下载
基于
FPGA的模糊PID控制器设计
所需E币:1
时间:2019-05-28
大小:3.01MB
上传者:
牛渔曦
立即下载
基于
FPGA的数据采集系统的研究
所需E币:1
时间:2019-05-28
大小:15.4MB
上传者:
牛渔曦
立即下载
基于
单片机和CPLD的大容量数据采集存储系统的设计
所需E币:1
时间:2019-05-27
大小:130.05KB
上传者:
牛渔曦
立即下载
基于
单片机和CPLD的数字转速表设计
所需E币:1
时间:2019-05-27
大小:220.39KB
上传者:
牛渔曦
立即下载
基于
单片机和FPGA的控制地址空间的读写访问方法
所需E币:1
时间:2019-05-27
大小:279.47KB
上传者:
牛渔曦
立即下载
数控式LED高速频闪仪的设计与实现
所需E币:1
时间:2019-05-27
大小:1.19MB
上传者:
牛渔曦
立即下载
C语言深度解剖学习笔记
所需E币:1
时间:2019-05-28
大小:850.64KB
上传者:
xld0932
立即下载
ARM SoC体系结构
所需E币:0
时间:2019-05-28
大小:9.17MB
上传者:
xld0932
立即下载
基于
FPGA的无人机BLDC电调模块设计与实现
所需E币:3
时间:2019-05-28
大小:1.56MB
上传者:
royalark_912907664
立即下载
一种用于深空探测的宽带低功耗频谱仪的设计与试验
所需E币:3
时间:2019-05-28
大小:2.04MB
上传者:
royalark_912907664
立即下载
新型战术联合训练系统架构研究
所需E币:3
时间:2019-05-28
大小:1.83MB
上传者:
royalark_912907664
立即下载
AT89C51单片机在无线数据传输中的应用
所需E币:1
时间:2019-05-28
大小:118.47KB
上传者:
feiniao2008
立即下载
USB接口设计
所需E币:1
时间:2019-05-28
大小:597.2KB
上传者:
feiniao2008
立即下载
焊后热处理温控装置
所需E币:2
时间:2019-05-28
大小:165.96KB
上传者:
feiniao2008
立即下载
更多资源
点击登录
全站已有
275822
份文档
上传我的文档
热门资料
基础知识
电源/功率
PCB
单片机/嵌入式
FPGA
模拟/数字
处理器/DSP
传感器
测试测量
通信/RF/网络
软件/EDA/IP
采购/供应链/管理
问答互动,点亮电子技术新火花!
2024面包板原创奖励活动
【11.27直播】30年经验分享:如何用LTspice优化开关电源
【11.28 上海】2024国际汽车电子创新发展论坛
【北京12.5号】无线前沿新技术与测试技术峰会
【首场直播发布】Keysight AP5000系列新型高性价比模拟信号源
一次集齐!2023热门下载资料Top100
推荐白皮书
1
毫米波转换器方案评估
2
基于ADI最新射频器件的5G毫米波基站和NTN地面终端平台方案-睿查森电子演讲PPT资料
3
未来智能工业现场的关键技术
4
利用降噪技术改善开关模式电源
5
为智能工厂提供的解决方案
6
mPower基础:全新电源完整性设计方案
7
ADC和音频测试的全新方案
8
超详细指南:数字预失真故障排除和微调
热门专题
1
常用封装尺寸资料
2
单片机管理技术
3
单片机管理技术
4
一次集齐!2023热门下载资料Top100
5
电源资料
6
DSP控制资料的介绍
7
关于CPLD及EDA设计资料集合
8
关于嵌入式开发必备的综合性资料
下载排行榜
本周
本月
本年
用户贡献榜
本周
本月
本年
EE直播间
更多
无线前沿新技术与测试技术峰会-线上直播
直播时间: 12月05日 09:30
首场直播发布: Keysight AP5000 系列新型高性价比模拟信号源
直播时间: 12月06日 10:00
功率表的基础知识及其校准
直播时间: 12月10日 10:00
提升毫米波信号测试精度
直播时间: 12月18日 14:00
在线研讨会
更多
uModule DC/DC稳压器 - 减少热量、增加功率
ADAS系统中采用的MEMS时钟
PLL基础知识及其在时钟系统中的应用
PIC16F13145单片机可配置逻辑模块(CLB)概览
×
举报
报错
恶意重复上传
无法下载或打开失败
资源不完整或内容不详
恶意重复上传骗E币
资源E币售价虚高
标题与资源内容不符
含反动色情暴力或病毒
广告垃圾内容
版权问题,侵犯版权
其他
举报说明
上传
本网页已闲置超过10分钟,按键盘任意键或点击空白处,即可回到网页
X
最新资讯
Intel新一代B系游戏显卡发布,还带AI帧生成...
商务部:加强对美出口管制,涉及镓、锗、锑、超硬材料等两用物项
四大行业协会齐发声明:国内企业谨慎采购美国芯片
无需电池?这种设备能让你随时随地监测口腔健康
德国大众汽车关厂裁员并减薪,12万名工人罢工行动爆发