TURBO51嵌入式微处理器功能验证
来源： 作者： 发布时间：2016-01-22 06:33:13 浏览量：
表2 主要模块在不同的测试激励下的覆盖率
5 物理原型验证物理原型验证是AS IC 设计中通常采用的另一种重要的验证手段。它是将RTL 描述通过针对FPGA目标器件的综合及优化， 布局布线及优化并同时进行了静态时序分析后形成ASIC 设计的另一种物理实现形式。它能比RTL 模拟仿真更接近真实的AS IC， 能在系统板上在功能上完全取代ASIC 进行工作， 但最高速度一般比ASIC 慢一半以上。在这些都完成并通过了设计描述文档和验证文档的审核后进行FPGA 硬件加速仿真， 完全在系统应用环境下检验兼容性及正确性并做出初步性能*测。相对于仿真而言， 它能在提高系统运行速度上提高几个数量级。TURBO51的FPGA 验证的前提是设计已经过了关键点的形式验证， 完成了块覆盖率为100% 的RTL仿真及代码检查且错误已收敛完毕， 故对FPGA验证的首要目的是通过运行和真实应用环境完全相同的完整目标应用系统验证两步的错误估计是否正确并配合其他SOC 模块作SOC 协同验证。因为对有的仿真做起来不方便的系统验证在FPGA 平台上很方便验证。在TURBO51的FPGA 验证中， 充分利用了FPGA 上的剩余资源， 用于实时定位与监测TURBO51的FPGA 实现版每个时钟的状态及其运行状态， 这其实已使原本认为FPGA 上难于定位错误的缺陷大为改观， 在真实环境下运行系统提供了非常接近RTL仿真的调试能力的观测窗口。这里依然首先选用了指令提交地址和指令取指地址，累加器， B 寄存器， 程序状态字PSW， 重定序缓冲状态， 例外处理标识， 写回总线， 提交总线位为主要观察点， 显示每个时钟的状态， 将它们协同SOC 其它模块的输出， 示波器观测输出波形结果一起形成FPGA 验证结果。TURBO51在FPGA 验证时工作在60MH z， 除运行全部手工编写的用于模拟仿真的测试程序外， 还成功连续两百小时运行全部现有量产的基于RTOS商用系统及其极限条件， 没有发现严重错误。通过对寄存器值的实时监测发现十处以内的外设非致命错， 比如GPIO 与外设输入输出复用。当然， 每改一次RTL或监视寄存器都需要重新进行FPGA 烧写文件的生成， TURBO51耗时近两小时， 故它仍然不可能取代仿真。完成FPGA 验证后做准备流片的工厂提供的工艺标准单元库综合及静态时序分析， 交出网表做后端布局布线， 完成后再用带门延时的后端门级网表进行门级仿真， 最后编写样片基台测试程序。6 验证结果分析由于最初在制定实现的方法和制定验证计划时是同步进行的， 致使整个设计阶段的错误累积。在TURBO51的设计和验证中， 首先用形式验证将最高风险的存贮访问， 高速缓存， 分支预测， 动态执行， 例外处理中的最高风险组合进行完备证明， 使错误得以排除。在此后的验证中， 凡经形式验证正确的部分再未出现过异常， 如图1所示。
如何选择恰当的超低静态电流LDO稳压器 电子应用设计人员现今面临的一项极重要挑战是将电子系统能耗降至最低。为了达到此目的，大多数系统利用不同的低功率模式，帮助降低整体功耗。在利用不同工作模式时，系统供电电流差异极大，低者如休眠模式下仅为数
电磁防护措施标签：电磁(94)接地将电子设备通过适当的方法和途径与大地连接，这不仅是出于提高电子信息系统、设备工作稳定性的考虑，更是由于电子设备与大地相连后有了一个公共的零电位基准面，从而能够有效地抑制外界电磁场
电源中的EMS是什么？有哪些内容？昨天去一家公司面试，笔试题中有一个问题是：EMS包含哪些内容？以前没遇到这样的问题
你是應徵安規工程師麼?不然怎會有這樣的問題, 一般工程師只知道EMI, 或EMC, 很少提EMS
在线客服1号