非经典切片优化的同步运行时检验方法
利用现有的同步IP 核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检
PCBA检验技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
利用现有的同步IP 核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检
介绍了热式多传感器信息融合的气固质量流量检测方法的实验研究情况;给出了实验系统方案和实验测量装置的硬软件设计. 实验结果分析说明,该检测方法通过复合传感器可以同时测量气体流速、粉体浓度和各处温度,经过
过程装备制造与检测》课程实验教学大纲 课 程 名 称:过程装备制造与检测英 文 名 称:Manuf
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件
·摘要: 介绍了一种基于RTDX技术的多用户检测试验平台设计方法,同时阐述了如何利用RTDX技术实现多用户检测试验平台设计的具体方法.
资料->【B】电子技术->【B6】品质管理->【1】标准规范(国标、行标、安规、规范)->【行标】->DLT 5161 电气装置安装工程质量检验及评定规程->DL T 5161.14-2002 电气装置安装工程质量检验及评定规程第14部分 ...
基于TI的INA226做的功率检测模块,板子已经经过检验了可以放心使用基于TI的INA226做的功率检测模块,板子已经经过检验了可以放心使用
资料->【B】电子技术->【B6】品质管理->【1】标准规范(国标、行标、安规、规范)->【行标】->DLT 5161 电气装置安装工程质量检验及评定规程->DL T 5161.8-2002 电气装置安装工程质量检验及评定规程第8部分 盘、...