验证-EDA365

研发资源 > 标签 > 验证

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

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

嵌入式开发

|

发布时间：2020-06-20

Synopsys通过Verdi Advanced AMS Debug解决方案

国加利福尼亚州.山景城.2016年2月23日――新思科技(Synopsys, Inc..纳斯达克股票代码:SNPS)日前宣布:其Verdi® Advanced AMS Debug解决方案现已发售.由于如今的混合信号系统级芯片(system-on-chip)设计在复杂...

技术百科

|

发布时间：2020-06-20

系统级设计和验证语言的发展趋势

1 前言解决系统级设计问题首先要解决系统及功能的描述问题.系统级设计语言的竞争正在如火如荼的展开.需要一种语言能够描述包括嵌入的软件和模拟电路在内的整个系统.而现在的寄存器级的硬件描述语言将成为硬件设...

技术百科

|

发布时间：2020-06-19

基于VHDL语言的IP核验证

引言在IC(integratedcircuit．集成电路)发展到超大规模阶段的今天.基于IP(IntellectualProperty.知识产权)核的IC设计及其再利用是保证SoC(systemonchip.片上系统)开发效率和质量的重要手段.如果能对IP核进行验证...

嵌入式开发

|

发布时间：2020-06-18

1万美元即可获V1 ColdFire许可

飞思卡尔通过IPextreme向嵌入式市场提供32位V1 ColdFire内核.进一步扩展了其ColdFire许可计划.IPextreme新近推出的Core Store使客户能够以只有传统许可成本几分之一的成本.在线获得ColdFire内核的许可权.现在....

技术百科

|

发布时间：2020-06-17

设计与验证复杂SoC中可综合的模拟及射频模型

设计与验证复杂SoC中可综合的模拟及射频模型设计用于SoC集成的复杂模拟及射频模块是一项艰巨任务.本文介绍的采用基于性能指标规格来优化设计(如PLL或ADC等)的方法.可确保产生可制造性的鲁棒性设计.通过这样的设计...

技术百科

|

发布时间：2020-06-16

S2C为Xilinx原型验证系统提供突破性验证模块技术

S2C 日前宣布其Verification Module技术(专利申请中)已可用于其基于Xilinx的FPGA原型验证系统中.V6 TAI Verification Module可以实现在FPGA原型验证环境和用户验证环境之间高速海量数据传输.用户可以使用Xilinx ...

技术百科

|

发布时间：2020-06-15

自适应时钟技术在芯片设计与验证中的应用

0 引言随着半导体工艺的迅速发展.嵌入式处理器和DSP的设计越来越复杂.其开发调试工作也日趋重要.因此处理器平台提供强大的调试系统已成为设计中必不可少的一部分.嵌入式处理器调试系统使用硬件仿真器将调试软件...

嵌入式开发

|

发布时间：2020-06-13

基于软件仿真验证的运放电路设计方法

引言集成运算放大器广泛应用于电子电路的设计中.可以进行信号的放大.运算(加.减.乘.除.对数.反对数.平方.开方等).处理(调制)以及波形的产生和变换.积分器和滤波器就是运放器件辅以外围电路后的两种典...

技术百科

|

发布时间：2020-06-13

三阶电荷泵锁相环系统级设计与仿真验证

摘要:本文采用锁相环开环传输函数波特图对三阶电荷泵锁相环进行了系统级设计.并且对相位裕度与建立时间.稳定性与环路带宽这两对矛盾进行了权衡.然后在SIMULINK中建立了包含电荷泵锁相环离散时间特性和非线性本...

技术百科

|

发布时间：2020-06-12

首页上一页 1 2 3 4 5 下一页尾页

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

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

|相关标签

|热门文章

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

Synopsys通过Verdi Advanced AMS Debug解决方案

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

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

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