|
|
| 2007-08-15 |
竞争对手纷纷出招，AMD Barcelona甫出生便面临新挑战 |
| |
在AMD芯片与第三方元器件配套的过程中，AMD一直在解决出现的各种问题。在LinuxWorld上，这家芯片巨头揭开了AMD Validated Server Platforms(经验证服务器平台)计划的新阶段，在Novell的“YES Certified”名称下，使该平台第一次可用于Novell公司的SUSE Linux企业级服务器 |
| 2007-08-14 |
硅知识产权交易中心携手安捷伦成立IP测试验证/汽车电子测试联合实验室 |
| |
上海硅知识产权交易中心和安捷伦科技有限公司日前在沪共同签署了“上海硅知识产权交易中心-安捷伦科技IP测试验证/汽车电子测试联合实验室”合作协议。上海市信息委相关领导及双方的高层出席了该仪式。 |
| 2007-08-13 |
统计静态时序分析(SSTA)的发展与前景解析 |
| |
自从DAC 2005以来，人们一直在讨论采用统计静态时序分析(SSTA)工具来验证目前和将来一代用90nm及其以下工艺制造的设计。既然要在最先进的工艺和设计中把物理效应及复杂性结合起来，时序验证就要求在制造过程中解决裸片内部以及裸片与裸片之间的可变性问题。 |
| 2007-08-13 |
硅知识产权交易中心与安捷伦携手合作，共同推进IC IP核测试验证技术与服务 |
| |
上海硅知识产权交易中心和安捷伦科技有限公司日前在沪共同签署了“上海硅知识产权交易中心-安捷伦科技IP测试验证/汽车电子测试联合实验室”合作协议。上海市信息委相关领导及双方的高层出席了该仪式。 |
| 2007-08-10 |
Mathworks为嵌入式软件增加形式设计方法 |
| |
为了在得到广泛使用的基于Simulink模型的设计套件中增加形式设计方法，Mathworks公司最近推出了Simulink Design Verifier工具，该工具可以为Simulink仿真平台和Stateflow设计与仿真工具提供的模型生成测试和验证属性。 |
| 2007-08-07 |
高速PCI接口式硬件原型再现仿真加速器iPROVE |
| |
韩国Dynalith Systems公司目前又推出一款适合于中高档规模集成电路开发和验证的高速PCI接口式硬件原型再现仿真加速器iPROVE，该产品采用了嵌入到计算机PCI接口的方式以便可以达到最高速的运行效果。 |
| 2007-08-06 |
赛灵思65nm FPGA VIRTEX-5器件与领先厂商DDR3 SDRAM实现互操作 |
| |
可编程逻辑解决方案厂商赛灵思公司（Xilinx, Inc.）日前宣布其Virtex-5 FPGA器件已顺利实现了与领先存储器供应商的800 Mbps DDR3 SDRAM器件的互操作性。与Virtex-5器件实现经硬件验证的互操作性，可帮助客户通过这个业界唯一正式投入量产的高性能65nm FPGA产品系列，率先享受到DDR3 SDRAM技术带来的优势。 |
| 2007-08-03 |
基于FPGA的软件验证推动ASIC与SoC原型设计技术的发展 |
| |
ASIC与SoC器件的成本不断上升，迫使半导体厂商不断扩大每种器件的市场应用范围，以提高投资回报率。软件使用的趋势还在不断加强，这作为一种有效的机制，扩大了单个器件的市场使用范围，因为软件内容能带来更多特性，而不同软件则能满足特定市场专用产品的特色化需求。 |
| 2007-08-02 |
UNISYS利用Cadence IFV形式验证器，将基于断言的验证方法学纳入生产设计流程 |
| |
Cadence设计系统公司近日宣布，Unisys公司已经将Cadence Incisive Formal Verifier纳入它的设计流程，以便进行基于断言的形式分析。 |
| 2007-07-30 |
美信电信时钟器件支持SONET/SDH/SyncE及无线系统 |
| |
Maxim推出业界第一款可提供全运营级时钟同步的IC DS3104，适用于新型同步以太网(SyncE)线卡以及SONET/SDH/SyncE混合线卡。这一新型线卡时钟IC采用Maxim经过验证的基于DSP的数字PLL(DPLL)技术，适合于下一代电信系统。 |
| 2007-07-27 |
网络接口加速器可能是助力，也可能是阻力 |
| |
从校验和验证到TCP及更高层协议的卸载，网络接口架构包含的加速功能日益增多。这些加速功能有部分可以利用软件来有效执行。在某些环境中，复杂加速功能的使用实际上可能降低性能，损害系统完整性和安全性。 |
| 2007-07-27 |
如何有效地采用基于断言的验证？ |
| |
有关断言和更新的验证方法学的新近标准极大地方便了设计师创建、实现和监视断言。设计师可以利用完整的断言验证(ABV)方法在开发RTL时编写断言，然后用针对单个模块的形式分析工具对这些断言以及自动析取的断言进行验证。针对设计团队在标准生产流程中采用ABV组件时所面临的挑战，本文给出了一些建议和策略。 |
| 2007-07-26 |
SpringSoft新版侦错平台大幅强化设计性能并加入SystemVerilog支持 |
| |
电子设计自动化厂商SpringSoft，近期推出大型数字芯片以及系统芯片（System-on-chip）侦错自动化平台Verdi的开发蓝图。新版Verdi侦错平台整合了不同阶层的设计语言及工具，能有效将系统规格到芯片实现的验证时间缩短一半以上。 |
| 2007-07-25 |
方便验证多电压设计的验证解决方案 |
| |
越来越多的IC设计采用多电源，以节省功率，但多电源域很难验证。ArchPro设计自动化公司最近推出了旨在应对这种挑战的MaVeric(发音同“maverick”)工具，据称这是一种全面的多电压验证解决方案。 |
| 2007-07-20 |
Dynalith Systems公司推出高速携带式硬件原型再现仿真加速器适用于中国市场 |
| |
韩国Dynalith Systems公司目前针对中国市场推出了一款非常精巧而且极其高速的携带式硬件原型仿真加速器iNCITE，该产品采用了USB2.0接口技术，用来开发SOC或验证100万门的设计电路。 |
|
|
|
轻松满足电子元器件、半导体和OEM生产的快速测试New!
搜集工程师们最关心的话题，发表您的真知灼见。
|
|手持电子设备|家庭娱乐系统|工业控制|汽车电子设计|电源系统|模拟混合信号|国际电子商情|电子系统设计
|