验证-EDA365

研发资源 > 标签 > 验证

一种基于模型检查的嵌入式软件验证方法

嵌入式软件广泛应用于不同领域.如消费电子.工业控制.汽车电子.移动通信等.嵌入式软件的可靠性保证十分关键.嵌入式软件中常见的错误包括状态机错误.时序错误.栈溢出／存储溢出等.在开发过程中对嵌入式软件进...

嵌入式开发

|

发布时间：2020-05-21

10分钟开启您的ARM开发之旅

近日.台北–全球嵌入式计算市场领导厂商研华科技(2395.TW)持续创新,于近日推出搭载NXP和TI处理器的ARM入门开发套件.研华ARM入门开发套件为ARM平台的评估和开发提供了一条捷径.此套件包含开发环境必备的各项要素....

嵌入式开发

|

发布时间：2020-05-19

在下一代嵌入式系统设计中采用平行测试测略

嵌入式设计正面临一种有趣的两难抉择:系统更加复杂.但时间日益紧迫.且对质量的要求更高.今天的嵌入式装置拥有较过去更丰富的功能.由FPGA.微处理器.相机与运动传感器构成的系统.可控制从自主乐高机器人到CERN...

嵌入式开发

|

发布时间：2020-05-18

从验证体系结构开始的SoC IP方法探究

IP(知识产权)是实现大规模 SOC(单片系统)设计的关键.从表面上看.使用商业 IP似乎既简单又方便.但电子行业在实现 IP 价值之前.必须先解决几个重要问题.除物理问题外.只要粗略地看一看 IP 验证与集成的功能...

嵌入式开发

|

发布时间：2020-05-18

结合FPGA与结构化ASIC进行设计

由于结构化ASIC具有单位成本低.功耗低.性能高和转换快(fast turnaound)等特点.越来越多的先进系统设计工程师正在考虑予以采用.在结构化ASIC中.像通用逻辑门.存储器.锁相环和I/O缓存这些功能性资源都嵌在芯片...

可编程逻辑

|

发布时间：2020-05-16

FPGA产业变革下的i-IP微电子

正如Xilinx CTO Bolsens强调的[伴随这些激动人心的性能提升的同时是FPGA价格的大幅度降低.必然引发产业在设计上出现变革.在更多领域得到发展和应用." 经过二十几年的发展.FPGA应用在全球市场虽已初具规模....

可编程逻辑

|

发布时间：2020-05-15

嵌入式系统架构:RISC家族之ARM处理器

ARM公司于1991年成立于英国剑桥.主要出售芯片设计技术的授权.目前.采用ARM技术智能财产(IP)核心的处理器.即我们通常所说的ARM处理器.已遍及工业控制.消费类电子产品.通信系统.网络系统.无线系统等各类产...

嵌入式开发

|

发布时间：2020-05-15

集成ZigBee无线电设计.检定和验证一体解决方案

受全球变暖和能源价格上升的影响.市场对智能化.基于无线电控制的设备的需求快速增长.这些装置可用于监测.控制.传讯以及自动化能源和其他资源的输送.不过这只是基于物理层无线电标准的IEEE 802.15.4技术的许多...

技术百科

|

发布时间：2025-02-01

如何验证RF功率晶体管的耐用性

目前制造的大功率射频晶体管比以往任何时候都更坚实耐用.针对特高耐用性设计的器件可以承受严重的失配.即使在满输出电平时也是如此.现在多家制造商可提供大功率硅横向扩散金属氧化物半导体(LDMOS)晶体管.这种产...

技术百科

|

发布时间：2025-02-01

新版Wi-Fi EAP测试计划即将揭开神秘面纱

Wi-Fi联盟透露.即将在2009年5月20日公布新的EAP(延伸认证通讯协议)类型之验证计画.据表示.新的EAP类型测试──EAP FAST(安全信道弹性认证)与AKA(认证与金钥协议)将会影响WPA2/WPA(Wi-Fi保护存取)与802.11n draft 2....

技术百科

|

发布时间：2025-02-01

首页上一页 2 3 4 5

《全球精品发布会》首期圆满落幕，库觅燃爆全场！

《全球精品发布会》首期圆满落幕，库觅燃爆全场！

|相关标签

|热门文章

一种基于模型检查的嵌入式软件验证方法

Synopsys通过Verdi Advanced AMS Debug解决方案

RFID板级标签验证平台的总体设计与实现

一种基于模型检查的嵌入式软件验证方法

RFID板级电子标签验证平台的设计及测试