V0 第9节 验证环境结构

1. 验证环境结构

  • 测试平台(testbench)是整个验证系统的总称
  • 它包括验证结构中的各个组件、组件之间的连接关系、测试平台的配置和控制
  • 从系统的意义来讲,它还包括编译仿真的流程、结果分析报告和覆盖率量化
  • 我们主要关注验证平台的结构和组件部分,他们可以产生设计所需要的各种输入,也会在此基础上进行设计功能的检查

2. 测试平台结构图

在这里插入图片描述

  • 各个组件之间是相互独立
  • 验证组件与设计之间需要连接
  • 验证组件之间也需要进行通信
  • 验证环境也需要时钟和复位信号的驱动

3. 验证语言应用趋势

  • SystemVerilog 成为主流动态验证语言
  • Verilog 和C/C++ 系统级验证,算法模型验证
  • UVM 验证方法学基础类库应用

4. 验证结构的层次

  • 设计是由多个层次构成的,无论是物理分区例如FPGA/ASIC,还是逻辑分区例如合成单元/核心子系统
  • 验证也可以按照不同的级别来安排目标
  • 每个验证级别都有最合适的验证目标
  • 较小的模块更容易验证,因为它们提供更大的可控性和可观察性
  • 对于它们,很容易设置条件和状态组合,并观察其反应是否符合预期
  • 由小模块组成的子系统,则需要以较低的可控性和可观察性为代价去验证
  • 因此,不同级别的验证有着不同的验证重心
  • 任何层次的待验设计,都应该具备相对稳定的接口和预期的功能
  • 理想情况下,每个子系统或者模块,都应该有自己的硬件描述文档
  • 如果接口或者功能不断变化,那么测试平台也将一同发生变化,这会严重影响验证的进度
  • 对于设计稳定性的要求,一般是先期待其接口稳定下来,再使得功能可以稳定下来
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
开始有计划写这本书的时候, Altera 还叫 Altera, 还没有加入 Intel 的大家庭, Xilinx 的 ZYNQ 也才刚刚开始有人探索, Altera 大学计划第一次将亚洲创新大赛由传统的 SOPC 大赛 换成了 SOC 大赛,软核变硬核,性能翻几番。 那个时候,能出一本认认真真讲 FPGA 设计的 书, 会得到非常高的评价。 而我,则由于工作变动, 中间拖沓了半年,当半年后再来准备动 笔时,才恍然领悟到, Altera 即将成为 Intel 的可编程事业部, 基于嵌入式硬核的 SOC FPGA 芯片开始获得了大量的关注,已经有不少大的小的公司在着手这方面的教学内容与板卡设 计。原本计划编写的内容在新技术新产品面前,好像显得非常的不值一提。 总感觉当大家把 目光都投在了前沿的可编程 SOC 上的时候,我再编写这样一本单纯讲解 FPGA 数字逻辑设计 的书会显得与时代脱。 于是,编书的动力没有了那么强烈, 这事,又这么放了下来。 在这期间,我也向着 SOC FPGA 做了积极努力的探索, 学习了 Cyclone V SOC 的开发流 程, 从裸机到基于 Linux 嵌入式系统,实现了 FPGA 和 ARM Cortex-A9 CPU 之间的双向控制和 数据传输。 在做完这之后,就感觉遇到了瓶颈, 瓶颈主要来自于两个方面,第一是对 Linux 软件开发不熟悉,而 SOC FPGA 的处理器端应用又恰好需要对 Linux 的底层和应用都需要一 定的了解。 另一方面是对 FPGA 设计经验的欠缺,使用到 SOC FPGA 架构的场合,往往都是 一些较为复杂的系统,在系统中,本身就对 FPGA 的设计内容要求较高, 如视频流的处理, 运算加速逻辑的设计, 通信接口的实现等。 所以, 欠缺了任何一方面的知识, 在使用 SOC FPGA 架构的时候都会困难重重。如果 FPGA 方面没有踏实的功底,那么使用 SOC FPGA 也仅 仅只能是当做通用的嵌入式处理器使用, 无法将其结构的优势发挥出来 。 如果没有 ARM 嵌 入式处理器方面的踏实功底, SOC FPGA 也仅仅只能是个 FPGA。 所以, 编写这样一本单纯讲解 FPGA 数字逻辑的书还是非常有意义的,因为这才是真正合理应用 SOC FPGA 优势架构的 基础。
第1 章 Delphi 集成开发环境..........1 1.1 Delphi 6.0 简介............................................ 1 1.2 Delphi 可视化开发环境简介...................... 2 1.2.1 对象编辑器(Object Inspector)....3 1.2.2 工程管理器(Project Manager)....5 1.2.3 代码编辑器......................................5 1.2.4 CPU 观察窗口.................................6 1.2.5 对象浏览器......................................7 1.3.1 编程环境设置..................................7 1.3.2 自定义工具栏..................................9 1.3.3 编辑环境设置................................10 1.3.4 工程设置........................................11 1.4 一个简单的Delphi 程序........................... 12 1.5 本章小结.................................................... 13 第2 章 Object Pascal 语言..........14 2.1 Object Pascal 语言基础............................. 14 2.1.1 Object Pascal 入门.........................14 2.1.2 注释语句........................................15 2.1.3 标识符(Identifier) .....................16 2.1.4 保留字(Reserved Word)和指令字 (Directive) ..........................................16 2.1.5 数据类型........................................17 2.1.6 运算符(Operators)..........................27 2.1.7 语句................................................31 2.1.8 过程与函数....................................35 2.1.9 作用范围........................................42 2.1.10 规范化命名..................................43 2.2 Object Pascal 语言的面向对象技术......... 43 2.2.1 对象和类的概念............................44 2.2.2 Object Pascal 中类的定义.............46 2.2.3 方法...............................................51 2.2.4 多态性...........................................54 2.2.5 类运算符.......................................57 2.2.6 类方法和类引用............................58 2.2.7 单元文件.......................................61 2.2.8 TObject:所有对象的祖先...........63 2.3 结构化异常处理........................................64 2.3.1 try...except 语句和try...finally 语句 ................................................................65 2.3.2 raise 语句.......................................67 2.3.3 异常类...........................................67 2.4 方法与技巧................................................67 2.4.1 设置代码模板................................67 2.4.2 设置提示信息................................68 2.5 本章小结....................................................69 第3 章 常见组件编程............... 70 3.1 窗体和组件................................................70 3.1.1 概述...............................................70 3.1.2 窗体(Form)...............................71 3.1.3 组件(Component) .....................74 3.1.4 组件的使用....................................75 3.2 文本输入类组件........................................78 3.2.1 TEdit 组件.....................................78 3.2.2 TMemo 组件..................................78 3.2.3 TMaskEdit 组件.............................78 3.2.4 TRichEdit.......................................79 3.2.5 TLabel 组件...................................79 ·ii· 3.2.6 TStaticText .....................................79 3.2.7 几点说明..........................................80 3.3 按钮类组件................................................ 80 3.3.1 TButton 组件..................................81 3.3.2 TBitBtn 组件..................................81 3.3.3 TSpeedButton 组件........................81 3.3.4 TCheckBox 组件组件....................81 3.3.5 TRadioButton 组件........................82 3.4 列表类组件................................................ 82 3.4.1 TListBox 组件................................82 3.4.2 TComboBox 组件..........................83 3.4.3 TTreeView 组件.............................83 3.4.4 TListView 组件..............................84 3.4.5 TImageList 组件............................85 3.4.6 TCheckListBox 组件......................85 3.4.7 TDateTimePicker 组件...................85 3.5 表格类组件................................................ 85 3.5.1 TDrawGrid 组件............................85 3.5.2 TStringGrid 组件...........................86 3.5.3 TDBGrid 组件................................86 3.6 刻度和进度类组件.................................... 86 3.6.1 TProgressBar 组件.........................87 3.6.2 TStatusBar......................................87 3.7 分组组件.................................................... 87 3.7.1 TGroupBox 组件............................87 3.7.2 TRadioGroup 组件.........................87 3.7.3 TPanel 组件....................................87 3.7.4 TScrollBox 组件............................87 3.7.5 TTabControl 组件..........................88 3.7.6 TPageControl 组件.........................88 3.7.7 THeaderControl 组件.....................88 3.7.8 容器组件组件................................89 3.8 特殊输入组件............................................ 89 3.8.1 TScrollBar 组件.............................89 3.8.2 TTrackBar 组件..............................90 3.8.3 TUpDown 组件..............................91 3.8.4 THotKey 组件................................91 3.9 菜单的使用................................................ 91 3.9.1 主菜单............................................92 3.9.2 鼠标右键弹出式菜单....................93 3.9.3 使用菜单模板................................93 3.10 工具栏和状态栏......................................94 3.10.1 ToolBar 组件................................94 3.10.2 TCoolBar 组件.............................94 3.10.3 TControlBar 组件........................95 3.10.4 TStatusBar 组件...........................95 3.11 编程实例..................................................95 3.11.1 小型计算器..................................95 3.11.2 文本编辑器的实现....................108 3.12 本章小结................................................ 116 第4 章 键盘和鼠标事件............ 117 4.1 事件概述.................................................. 117 4.2 键盘事件处理.......................................... 117 4.2.1 常用的键盘事件.......................... 117 4.2.2 特殊的键盘事件.......................... 119 4.3 鼠标事件处理..........................................121 4.3.1 常用鼠标事件..............................121 4.3.2 拖曳事件.....................................122 4.4 本章小结..................................................124 第5 章 打印...................... 125 5.1 TPrinter 对象............................................125 5.2 打印操作常用函数..................................126 5.3 打印操作..................................................128 5.3.1 打印文本.....................................128 5.3.2 打印位图.....................................129 5.3.3 打印TMemo 组件中的内容.......130 5.3.4 打印RTF 格式的文本................131 5.4 打印技巧..................................................131 5.4.1 获取显示当前打印机的分辨率..131 5.4.2 尽量不要使用AssignPrn ............131 5.4.3 用打印机的点数做度量单位......131 5.4.4 将打印结果直接送到打印机......132 5.4.5 获取默认打印机的信息..............132 5.5 本章小结..................................................132 第6 章 文件管理.................. 133 6.1 文件类型和标准过程...............................133 6.1.1 文本文件(text file).......................133 6.1.2 类型文件(typed file)....................134 ·iii· 6.1.3 无类型文件..................................136 6.1.4 文件对话框组件..........................137 6.1.5 Win3.1 相关组件.........................139 6.2 文件管理常用函数和过程.......................139 6.2.1 文件操作常用函数和过程..........139 6.2.2 目录操作常用函数和过程..........143 6.2.3 驱动器操作常用函数..................146 6.2.4 文件名操作常用函数..................148 6.3 本章小结...................................................150 第7 章 图形与图像................151 7.1 常用图形对象及简单应用.......................151 7.1.1 画布对象(TCanvas Object) ....151 7.1.2 画笔对象(TPen Object) ..........154 7.1.3 画刷对象(TBrush Object).......158 7.1.4 颜色类型(TColor type)...........160 7.1.5 其它属性......................................161 7.2 基本图形的绘制.......................................162 7.2.1 直线的绘制..................................162 7.2.2 矩形的绘制..................................163 7.2.3 椭圆的绘制..................................164 7.2.4 弧线的绘制..................................164 7.2.5 多边形的绘制..............................165 7.2.6 文本的输出..................................166 7.2.7 插入图像......................................167 7.3 画板程序开发...........................................168 7.3.1 窗体设计......................................168 7.3.2 代码设计......................................172 7.3.3 菜单代码设计..............................177 7.4 动画绘图效果...........................................182 7.5 常用图像对象...........................................185 7.5.1 TGraphics 类................................185 7.5.2 TPicture 类...................................185 7.5.3 位图对象(TBitmap Object) ....186 7.5.4 TImage 组件................................187 7.6 简单图像浏览器的实现...........................188 7.7 本章小结...................................................195 第8 章 多媒体编程技术............196 8.1 多媒体技术简介.......................................196 8.2 图像格式的处理.......................................199 8.2.1 位图.............................................199 8.2.2 JPEG 文件...................................201 8.3 特殊图像显示效果的实现.......................203 8.3.1 基本原理.....................................204 8.3.2 调用BitBlt...................................204 8.3.3 调用CopyRect.............................205 8.3.4 效果与算法实现..........................206 8.4 利用图像控件实现动画效果...................233 8.4.1 TImage 组件变换法....................234 8.4.2 TPanel 组件变换法.....................235 8.4.3 Canvas 画面变换法.....................235 8.5 音频和视频文件的播放...........................236 8.5.1 WAV 与MIDI 文件简介.............236 8.5.2 什么是AVI..................................238 8.5.3 TMediaPlayer 控件的使用..........240 8.6 媒体播放器的实现..................................243 8.7 本章小结..................................................248 第9 章 OpenGL 开发三维图形....... 250 9.1 OpenGL 的基础.......................................250 9.1.1 OpenGL 的功能...........................250 9.1.2 创建OpenGL 应用程序的方法..251 9.1.3 OpenGL 变量和函数的约定.......256 9.1.4 OpenGL 的初始化.......................257 9.2 OpenGL 基本图形的绘制........................260 9.2.1 图形的颜色..................................261 9.2.2 简单图形的绘制..........................262 9.2.3 简单二次曲面..............................268 9.3 OpenGL 中的变换...................................273 9.3.1 矩阵操作过程................................273 9.3.2 投影变换.....................................274 9.3.3 几何变换矩阵..............................277 9.4 光照和纹理..............................................281 9.4.1 光照和光源过程及应用..............281 9.4.2 材质和光照模型..........................282 9.4.3 纹理.............................................284 9.5 本章小结..................................................290 第10 章 多线程应用程序........... 291 10.1 进程与线程..............................................291 10.1.1 进程和线程的概念....................291 ·iv· 10.1.2 线程调度....................................292 10.2 TThread 对象..........................................292 10.2.1 Tthread 类的属性.......................292 10.2.2 TThread 类的方法.....................293 10.2.3 TThread 类的事件.....................294 10.2.4 创建线程类................................294 10.2.5 线程的初始化操作....................295 10.2.6 实现线程对象的功能................295 10.3 线程的同步.............................................296 10.4 线程的优先级.........................................302 10.5 本章小结.................................................302 第11 章 动态链接库...............303 11.1 概述.........................................................303 11.1.1 DLL 的概念...............................303 11.1.2 静态链接与动态链接................304 11.1.3 使用DLL 的目的......................305 11.2 创建动态链接库.....................................306 11.3 使用动态链接库.....................................309 11.4 本章小结.................................................310 第12 章 Delphi 数据库的基本概念...311 12.1 数据库系统概述.....................................311 12.1.1 使用数据库................................311 12.1.2 数据库管理系统(DBMS).....311 12.1.3 数据库应用程序........................312 12.2 Delphi 的数据库特性及功能简介.........313 12.2.1 Delphi 的数据库特性................314 12.2.2 Delphi 可以访问的数据源 (DataSource) ....................................315 12.2.3 本地数据库和远程数据库........316 12.3 Delphi 数据库应用程序的体系结构.....317 12.3.1 选择合适的体系结构................318 12.3.2 可伸缩性....................................319 12.3.3 单层的数据库应用程序..........320 12.3.4 两层的数据库应用程序............320 12.3.5 多层的数据库应用程序............321 12.3.6 数据访问组件............................321 12.3.7 数据控制组件............................323 12.4 Delphi 数据库应用程序的开发方法和步骤324 12.4.1 概述............................................324 12.4.2 数据库应用程序的开发步骤....325 12.4.3 交付数据库应用程序................326 12.4.4 安装BDE ..................................327 12.4.5 安装SQL Link...........................328 12.5 本章小结................................................330 第13 章 简单数据库应用程序的创建. 331 13.1 简单的基于单表的数据库应用.............331 13.1.1 选择相关的组件........................331 13.1.2 设置组件的属性........................331 13.1.3 运行程序...................................333 13.2 利用TDBNavigator 组件创建存取程序334 13.2.1 创建应用程序窗体....................334 13.2.2 使用TDBNavigator 组件移动记录 指针......................................................335 13.2.3 定制TDBNavigator 组件..........336 13.3 创建主要──明细数据库应用程序.....336 13.3.1 一对多关系的主要──明细型数据 库应用程序...........................................337 13.3.2 一对多——多关系的数据库应用 ..............................................................338 13.4 字段对象的使用......................................339 13.4.1 字段对象的类型........................340 13.4.2 创建永久性的字段对象............340 13.4.3 字段对象的属性设置................341 13.4.4 字段对象的访问........................343 13.4.5 设定字段对象的显示格式........346 13.4.6 自定义字段以及计算字段对象的创 建..........................................................347 13.5 查询数据库中的记录.............................350 13.5.1 使用GotoKey 方法查找数据记录 ..............................................................350 13.5.2 使用FindKey 方法查找数据库中的 记录......................................................352 13.5.3 利用GotoNearest 和FindNearest 执 行不精确查找.......................................353 13.6 修改数据库中的记录.............................354 13.6.1 Edit 方法Post 方法...................355 13.6.2 实现异常保护的try...finally 语句356 13.7 插入和删除记录....................................359 ·v· 13.7.1 逐步插入方法............................360 13.7.2 调用InsertRecord 插入记录......360 13.8 输入数据的有效性验证.........................363 13.9 本章小结.................................................366 第14 章 数据交换.................367 14.1 Windows 剪贴板及其应用.....................367 14.1.1 概述............................................367 14.1.2 TClipboard 的属性和方法.........367 14.1.3 文本与Windows 剪贴板...........370 14.1.4 图形与剪贴板............................373 14.2 数据的动态交换.....................................374 14.2.1 DDE 概述...................................374 14.2.2 DDE 客户端应用程序...............375 14.2.3 服务端应用程序........................381 14.3 对象的链接与嵌入.................................383 14.3.1 OLE 技术概述...........................383 14.3.2 TOleContainer 的属性...............385 14.3.3 TOleContainer 的方法...............387 14.4 多格式文件浏览器.................................389 14.4.1 OLE 服务器的菜单和工具栏...389 14.4.2 浏览器设计................................391 14.5 本章小结.................................................395 第15 章 应用程序的分发和包装.....396 15.1 应用程序包装技巧.................................396 15.1.1 计算机的关机或重新启动........396 15.1.2 禁止应用程序的第二实例启动397 15.1.3 封面窗口...................................398 15.1.4 椭圆窗口启动封面....................399 15.1.5 读写Windows 95 注册文件......399 15.1.6 创建应用程序组和图标............400 15.2 应用程序的分发....................................401 15.3 本章小结................................................403 第16 章 其它编程技巧............. 404 16.1 获取Windows 版本信息.......................404 16.2 获取CPU 信息.......................................405 16.3 启动屏幕保护........................................407 16.4 使窗口标题栏闪烁................................407 16.5 获取窗口标题栏中的文字.....................408 16.6 使窗口背景颜色渐变.............................409 16.7 将WAV 文件做到EXE 文件里...........410 16.8 按字段为TDBGrid 着色....................... 411 16.9 使用资源文件........................................413 16.10 具有不同字体的对话框.......................417 16.11 显示旋转字体.......................................418 16.12 本章小结..............................................419 附录1 Inprise Delphi 属性、函数、事 件参考.................... 420 附录2 Delphi 站点整理............ 429 附录3 Delphi 问题集.............. 431 附录4 Delphi 编译错误信息中英文 对照...................... 435

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值