那些城市那些花

导航

2016年10月30日 #

Veloce2 Emulator

摘要: High capacity, high-speed, multi-application powerhouse for simulation and emulation of SoC designs The Veloce2 emulator accelerates block and full So 阅读全文

posted @ 2016-10-30 23:11 那些城市那些花 阅读(346) 评论(0) 推荐(0) 编辑

Perl入门

摘要: Perl 是一门开源的脚本语言,由 Larry Wall 所创造,该语言以实用,快速开发为主要目标,与当前流行的面向对象结构化编程有些格格不入,但这并不妨碍 Perl 被广泛流传和使用,世界范围内围绕 Perl 建立起了非常活跃的社区,很多人在其中不断帮助完善文档,创建示例代码,提供一些第三库等等。 阅读全文

posted @ 2016-10-30 22:06 那些城市那些花 阅读(473) 评论(0) 推荐(0) 编辑

哪一种验证方法最好?形式验证、硬件加速还是动态仿真?

摘要: 关于最佳的验证方法,最近总能在各种文章中看到。这里希望以一些新的视角来看待这些问题。所以根据一些EDA公司代表对相关问题的回答,总结出本文。 受邀回答问题的代表有:Steve Bailey,Mentor Graphics公司新兴技术总监;Dave Kelf,OneSpin解决方案营销副总裁;Fran 阅读全文

posted @ 2016-10-30 02:23 那些城市那些花 阅读(1989) 评论(0) 推荐(0) 编辑

芯片验证全视之一:功能验证介绍

摘要: 如果你在设计一款计算器,除了加减乘除的基本功能以外,在科学计算层面上,你需要注意到三角函数、取模、阶乘、幂运算、开根号等等复杂运算。 如果你在设计一款处理器,你需要考虑将其拆分成为运算器(算术逻辑运算单元,ALU,Arithmetic Logic Unit)和高速缓冲存储器(Cache)及实现它们之 阅读全文

posted @ 2016-10-30 02:17 那些城市那些花 阅读(1669) 评论(0) 推荐(0) 编辑

什么是形式验证?

摘要: 在当前复杂的数字设计开发过程中,功能验证十分重要。虽然硬件的复杂度仍遵循摩尔定律持续增长,但是验证的复杂性更具挑战。事实上,随着硬件复杂性随时间呈双指数增长,验证复杂性理论上也呈指数增长。验证已被公认为是设计过程中的主要瓶颈:高达70%的设计开发时间和资源花在功能验证上。Collett Intern 阅读全文

posted @ 2016-10-30 02:08 那些城市那些花 阅读(833) 评论(0) 推荐(0) 编辑