那些城市那些花

导航

统计

文章分类 -  技术积累

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

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

Formal Verification(形式验证)
摘要:Formal Verification(形式验证) 在计算机硬件(特别是集成电路)和软件系统的设计过程中,形式验证的含义是根据某个或某些形式规范或属性,使用数学的方法证明其正确性或非正确性。 形式验证是一个系统性的过程,将使用数学推理来验证设计意图(指标)在实现(RTL)中是否得以贯彻。形式验证可以 阅读全文

posted @ 2016-10-29 18:31 那些城市那些花 阅读(6272) 评论(0) 推荐(0) 编辑

软硬件融合之EDA篇:Mentor Graphics,借Veloce硬件平台加速仿真验证
摘要:作为EDA厂商的代表,明导公司(Mentor Graphics)在硬件平台开发方面投入了大量的资源。拥有20多年的硬件加速仿真加速器经验,并且在全球的研发人员超过200多人。其推出的Veloce 系列产品提供了高性能的仿真加速(Simulation Acceleration)和模拟真实环境的在线硬件 阅读全文

posted @ 2016-09-19 00:13 那些城市那些花 阅读(1027) 评论(0) 推荐(0) 编辑

FPGA Editor应用技巧
摘要:Clayton Cameron是赛灵思公司在多伦多市的一名资深现场应用工程师(FAE)。他于2000年加入赛灵思公司,在赛灵思渥太华的办公处工作,主要为电信客户提供支持。作为一名现场应用工程师,Clayton为客户提供支持,帮助他们解决问题。他喜欢这一工作的多样性以及每天遇到的各种挑战。业余时间,他 阅读全文

posted @ 2016-08-20 01:33 那些城市那些花 阅读(401) 评论(0) 推荐(0) 编辑

如何正确使用FPGA的时钟资源
摘要:把握DCM、PLL、PMCD和MMCM知识是稳健可靠的时钟设计策略的基础。 赛灵思在其FPGA中提供了丰富的时钟资源,大多数设计人员在FPGA设计中或多或少都会用到。不过对FPGA设计新手来说,什么时候用DCM、PLL、PMCD和MMCM四大类型中的哪一种,让他们颇为困惑。赛灵思现有的FPGA中没有 阅读全文

posted @ 2016-08-12 00:47 那些城市那些花 阅读(236) 评论(0) 推荐(0) 编辑

FPGA开发基本流程
摘要:FPGA是可编程芯片,因此FPGA的设计方法包括硬件设计和软件设计两部分。硬件包括FPGA芯片电路、 存储器、输入输出接口电路以及其他设备,软件即是相应的HDL程序以及最新才流行的嵌入式C程序。 目前微电子技术已经发展到SOC阶段,即集成系统(Integrated System)阶段,相对于集成电路 阅读全文

posted @ 2016-08-12 00:40 那些城市那些花 阅读(197) 评论(0) 推荐(0) 编辑

Linux基础知识入门及常见命令
摘要:1,V8:192.168.40.10V1:192.168.40.11Linux ip:192.168.40.128 2,Linux是一个操作系统, 与windows的区别:Linux:图形化界面简单,性能很快,在企业中当做服务器来使用.Windows:图形化界面很炫,性能相对差,大众用户.windo 阅读全文

posted @ 2016-08-11 23:57 那些城市那些花 阅读(151) 评论(0) 推荐(0) 编辑

FPGA功耗那些事(转)
摘要:在项目设计初期,基于硬件电源模块的设计考虑,对FPGA设计中的功耗估计是必不可少的。有点过高了,功耗过高则会造成发热量增大,温度高最常见的问题就是系统重启,另外对FPGA内部的时序也不利,导致可靠性下降。其它硬件电路的功耗是固定的,只有FPGA的功耗有优化的余地,因此FPGA团队尽量多做些低功耗设计 阅读全文

posted @ 2016-08-11 16:27 那些城市那些花 阅读(340) 评论(0) 推荐(0) 编辑

逻辑电平和上拉电阻
摘要:2016-08-11 15:57:41 1 逻辑电平 数字电路中,并没有数学意义上的 1 和 0,只有不同的电压值。 通常定义不同的电压值范围,来表示“逻辑 1” 和 “逻辑 0”, 如下所示: 2 上拉电阻 2.1 定义 实际电路中,尤其是在单片机和一些数字逻辑器件中,常用上拉电阻来连接开关或按钮 阅读全文

posted @ 2016-08-11 15:59 那些城市那些花 编辑

VGAcolorbar
摘要:1 module VGAcolorbar(clk,rst,hsync,vsync,vga_r,vga_g,vga_b ); 2 input clk; 3 input rst; 4 output hsync; 5 output vsync; 6 output [2:0] vga_r; 7 output [2:0] vg... 阅读全文

posted @ 2016-08-11 12:08 那些城市那些花 阅读(83) 评论(0) 推荐(0) 编辑

[Z]使用Synplify综合时保留logic
摘要:转自:http://www.cnblogs.com/wobeiwangle/p/5755612.html 在使用Synplify综合时,此工具会自动优化我的设计。 当然此功能有好有坏,最近有个项目需要使用Chipscope观察内部信号,打开inserter就懵了,信号列表中我的设计有的是名字被改了, 阅读全文

posted @ 2016-08-11 11:37 那些城市那些花 阅读(277) 评论(0) 推荐(0) 编辑

Chipscope信号无法找到的解决方案
摘要:#FPGA#Chipscope信号无法找到的解决方案 #FPGA#Chipscope信号无法找到的解决方案 为了调试逻辑,现在很少再将FPGA中的信号引出,通过示波器或者逻辑分析仪来观察,更多的是在工程中生成stp或者cdc文件,通过signalTAP或者chipscope这两个工具来调试. 但工程 阅读全文

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

Serial interface (RS-232)
摘要:转自:http://www.fpga4fun.com/SerialInterface.html A serial interface is a simple way to connect an FPGA to a PC. We just need a transmitter and receiver 阅读全文

posted @ 2016-08-10 11:01 那些城市那些花 阅读(389) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示