\(\newcommand\diff{\mathop{}\!\mathrm{d}}\)
| \(\sin x \sim x\) | \(\tan x \sim x\) | \(\arcsin x \sim x\) |
| \(\arctan x \sim x\) | \(\displaystyle\left( 1 - \cos x \right) \sim \dfrac{x^2}{2}\) | \(\ln (1+x) \sim x\) |
| \(\left( e^x -1 \right) \sim x\) | \(\left( a^x - 1 \right) \sim x \ln a\) | \(\left( \left( 1+x \right) ^\alpha -1 \right) \sim \alpha x\) |
also an
- BrE: /ən/, strong form /æn/
- NAmE: /ən/, strong form /æn/
The form a is used before consonant sounds and the form an before vowel sounds. When saying abbreviations like ‘FM’ or ‘UN’, use a or an according to how the first letter is said. For example, F is a consonant, but begins with the sound /e/ and so you say: an FM radio. U is a vowel but begins with /j/ and so you say: a UN declaration.
A1 used before countable or singular nouns referring to people or things that have not already been mentioned（用于可数名词或单数名词前，表示未曾提到的）一（人、事、物）
B2 (British English)
(also field North American English, British English)
[countable] an area of ground specially prepared and marked for playing a sports game
The Oxford 5000 is an expanded core word list for advanced learners of English. As well as the Oxford 3000, it includes an additional 2000 words for learners at B2-C1 level, which are listed here.
The PDF version can be found at The_Oxford_5000.pdf.
The Oxford 3000 is the list of the 3000 most important words to learn in English, from A1 to B2 level.
The PDF version can be found at The_Oxford_3000.pdf.
在做设计验证时，需要写很多代码，其中大部分在任务和函数里面。SystemVerilog 在这方面增加了许多改进使得它更接近 C 语言，从而使代码的编写变得更加容易，尤其是在处理参数传递上。
和 Verilog 相比，SystemVerilog 提供了很多改进了的数据结构。虽然其中的部分结构最初是为设计人员创建的，但对测试人员也同样有用。本文将介绍这些对验证很有用的数据结构。
SystemVerilog 引进了一些新的数据类型，它们具有如下优点：
在开始学习有关 SystemVerilog 语言的细节之前，我们需要了解如何制订计划来验证手中的设计，以及这个验证计划对测试平台（testbench）结构的影响。所有测试平台都有用于产生激励、检验响应的结构。本文对测试平台的构建和设计给出一些引导性的建议和编码风格方面的参考，以满足不同的需要。
对于验证工程师而言，最重要的原则是“有漏洞是好事（Bugs are good）”，要勇于寻找程序中的漏洞，每次找到漏洞都应该及时告警并记录下来。任何一个项目中都不可能没有漏洞，所以在流片之前每发现一个漏洞都意味着用户手中的产品少一个漏洞。我们应该尽可能细致深入地去检验设计，找出所有可能存在的漏洞，尽管有时候这些漏洞可能很容易修复。
本文需要 Verilog 语言基础，面向对 SystemVerilog HVL（Hardware Verification Language，硬件验证语言）感兴趣的读者。与 HDL（Hardware Description Language，硬件描述语言）相比，HVL 具有一些特别的性质：
受约束的随机激励生成（Constrained-random stimulus generation）。
功能覆盖率（Functional coverage）。
更高层次的结构，尤其是面向对象的编程（Higher-level structures, especially object-oriented programming）。
多线程及线程间的通信（Multithreading and interprocess communication）。
支持 HDL 数据类型（Support for HDL types）。
集成了事件仿真器，便于对设计施加控制（Tight integration with event-simulator for control of the design）。
此外还有其他很多有用的特性，但上述特性使得 HVL 可以创建高度抽象的测试平台，其抽象层次比使用 HDL 或计算机编程语言（如 C 语言）所能达到的还要高。
$ $ 设 \(x_1 \ne x_2\) 是 \(\mathbf{R}^n\) 空间中的两个点，则具有下列形式的点
\[ y = \theta x_1 + (1-\theta)x_2,\theta \in \mathbf{R} \]
组成一条穿过 \(x_1\) 和 \(x_2\) 的直线（line）。参数 \(\theta = 0\) 和 \(\theta = 1\) 分别对应 \(y=x_2\) 和 \(y = x_1\)。参数 \(\theta\) 的值在 0 和 1 之间变动，构成了 \(x_1\) 和 \(x_2\) 之间的（闭）线段（(closed) line segment）。
另一种 \(y\) 的表示形式
\[ y = x_2 + \theta (x_1 - x_2) \]
可以解释为：\(y\) 是基点（base point）\(x_2\)（对应 \(\theta = 0\)）和方向（direction）\(x_1 - x_2\)（由 \(x_2\) 指向 \(x_1\)）乘以参数 \(\theta\) 的和。因此，\(\theta\) 给出了 \(y\) 在由 \(x_2\) 通向 \(x_1\) 的路上的位置。当 \(\theta\) 由 \(0\) 增加到 \(1\)，点 \(y\) 相应地由 \(x_2\) 移动到 \(x_1\)。如果 \(\theta > 1\)，点 \(y\) 在超越了 \(x_1\) 的直线上。图 1 给出了直观的解释。
多抽样率信号处理的研究对象是不同抽样率1下的信号，其中抽样率转换 (Sampling Rate Conversion, SRC) 是核心问题之一。早期的抽样率转换通常采用模拟方法，即将给定的抽样信号通过数模转换器 (Digital-to-Analog Converter, DAC) 转换成模拟信号 (连续时间信号)，再对该模拟信号进行新的抽样，经模数转换器 (Analog-to-Digital Converter, DAC) 得到所需的抽样信号。而随着数字电路的普及和数字信号处理技术的发展，采用数字方法，即直接在离散时间域上完成抽样率转换已成为当前的主要方式。相比于模拟方法，数字方法不需要进行D/A和A/D转换，降低了系统的复杂度，同时避免了由量化、编码等过程产生的失真问题。
本文首先回顾采样的概念；随后介绍抽样率转换的两个基本运算单元，即抽取和内插；进而讨论如何利用抽取和内插实现分数倍抽样率转换；最后介绍抽样率转换在 MATLAB 上的实现。
