通向FPGA之路---七天玩转Altera之验证篇V1.0.pdf

《通向FPGA之路---七天玩转Altera之验证篇V1.0.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、通向FPGA之路---七天玩转Altera之验证篇V1.0前言：网上关于Altera的教程很多，可谓浩如烟海。大体来说有两类：一是，stepbystep的指导如何操作Quartus软件，这类方法的优点是上手快，但却有知其然不知其所以然之惑；二是，从一个很高的起点分析一些具体问题，优点是有深度，但也把大部分初学者拒之门外，不知路在何方。本系列教程的宗旨是在力求全面介绍Altera及其QuartusII软件原理的基础上，对何如使用AlteraFPGA进行基础设计、时序分析、验证、优化四大方面进行讲解。本篇为验证篇，推荐用两天天时间掌握。本教程大部分内容参考翻译al

2、tera官方handbook和对应的paper等资料，也有部分章节系热心网友所创，笔者基本原文引用，只为阅读流畅性做了少许改动，如造成原作者的不适，可联系笔者删除之。后记：原本只出了《基础篇》和《时序篇》，而《验证篇》只在小范围内交流。后发现signaltapII的使用比较广泛，使用者也较多，故在此放出《验证篇》。这也是本年度最后一篇。最后需要说明一点，本篇没有像前两篇那样做目录，抱歉了：）。2011.8.27上海foreveryoung交流QQ群：123035845/919686561.验证及调试工具介绍2.SignalTapIILogicAnalyzer2

3、.1设计流程2.2配置SignalTapII2.2.1指定采样时钟2.2.2添加信号2.2.2.1综合属性2.2.2.2不能使用的信号2.2.3添加FSM状态编码寄存器2.2.4选择缓冲捕获模式2.2.5使用StorageQualifier2.3定义触发2.3.1基本触发2.3.2高级触发2.3.3触发流控制2.3.3.1Sequential触发2.3.3.2State-Based触发2.3.3.3触发流描述语言2.3.3.4使用基于状态的StorageQualifier2.3.4上电触发2.3.5外部触发2.3.6强制触发2.4编译设计2.4.1使用增量编译

4、2.4.2权衡性能和资源2.4.3重编译2.5编程及运行2.5.1编程2.5.2运行2.5.3状态信息2.6FPGA设计开发中应用仿真技术解决故障的方法3.SignalProbe3.1介绍3.2设计流程3.3执行SignalProbe编译前言：网上关于Altera的教程很多，可谓浩如烟海。大体来说有两类：一是，stepbystep的指导如何操作Quartus软件，这类方法的优点是上手快，但却有知其然不知其所以然之惑；二是，从一个很高的起点分析一些具体问题，优点是有深度，但也把大部分初学者拒之门外，不知路在何方。本系列教程的宗旨是在力求全面介绍Altera及其Q

5、uartusII软件原理的基础上，对何如使用AlteraFPGA进行基础设计、时序分析、验证、优化四大方面进行讲解。本篇为验证篇，推荐用两天天时间掌握。本教程大部分内容参考翻译altera官方handbook和对应的paper等资料，也有部分章节系热心网友所创，笔者基本原文引用，只为阅读流畅性做了少许改动，如造成原作者的不适，可联系笔者删除之。后记：原本只出了《基础篇》和《时序篇》，而《验证篇》只在小范围内交流。后发现signaltapII的使用比较广泛，使用者也较多，故在此放出《验证篇》。由于本人工作关系，这也是本年度最后一篇，可能也是本系列最后一篇，原计划

6、的《优化篇》可能要烂尾了。。。。最后需要说明一点，本篇没有像前两篇那样做目录，在此一并抱歉了：）。2011.8.27上海foreveryoung交流QQ群：123035845/919686561.验证及调试工具介绍Altera提供了如下七种验证调试工具：（1）SignalTapIILogicAnalyzer可以在系统分析器件内部节点和I/O引脚信号。SignalTapII使用FPGA资源，根据用户定义的触发条件将信号数据通过JTAG接口显示在SignalTapII文件中。使用前需要确保有足够的片上存储器资源，也因此不支持CPLD。（2）SignalProbe可

7、以在系统分析器件内部节点和I/O引脚信号。SignalProbe使用剩余未用的器件布线资源和IO资源，在最近一次布局布线的基础上进行增量式地布线，将选定信号送往外部逻辑分析仪或示波器。适用于片上存储器资源不多的情况。（3）外部逻辑分析仪接口（LAI）可以在系统分析器件内部节点和I/O引脚信号。如果片上存储器资源有限，并希望用外部逻辑分析仪来验证大量内部的数据总线，可以使用LAI。（4）In-SystemSourcesandProbes使用JTAG来驱动和采样内部节点的逻辑值。当系统还不完整的时候可以利用该工具模拟众多的输入激励。（5）In-SystemMemo

8、ryContentEditor用来显示