- 原文地址：https://aomediacodec.github.io/av1-spec/av1-spec.pdf
- 没有梯子的下载地址：AV1 Bitstream & Decoding Process Specification
- 摘要：这份文档定义了开放媒体联盟（Alliance for Open Media）AV1视频编解码器的比特流格式息争码过程。
- 规范：此文档规定了开放媒体联盟（Alliance for Open Media）AV1比特流格式息争码过程。
约定
通用
- 数学运算符及其优先级规则与C编程语言中使用的雷同。特别地，定义了截断整数除法的操作。
- 用于生存运动矢量的两个元素数组（变量名以"Mv"或"Mvs"末端）可以使用数组表示法（例如 Mv[0] 和 Mv[1]）或仅使用变量名（例如 Mv）进行访问。仅使用变量名时，只定义了赋值和等式/不等式测试操作。数组赋值使用 A = B 表示，意味着与单独赋值 A[0] = B[0] 和 A[1] = B[1] 雷同。两个运动矢量的等式测试使用 A == B 表示，意味着与 (A[0] == B[0] && A[1] == B[1]) 雷同。不等式测试定义为 A != B，意味着与 (A[0] != B[0] || A[1] != B[1]) 雷同。
- 当一个变量被说成可以用x位有符号整数表示时，意味着该变量大于或等于 -(1 << (x-1))，且小于或等于 (1 << (x-1)) - 1。
- 本文档中的关键词“must”, “must not”, “required”, “shall”, “shall not”, “should”, “should not”, “recommended”, “may”, 和 “optional”应按照RFC 2119中的形貌进行解释。
算术运算符
+加法-减法（作为二元运算符）或否定（作为一元前缀运算符）*乘法/整数除法，结果向零截断。例如，7/4 和 -7/-4 都截断为 1，而 -7/4 和 7/-4 都截断为 -1。a%ba 除以 b 的余数。a 和 b 都是正整数。÷浮点数（算术）除法。ceil(x)大于或等于 x 的最小整数。floor(x)小于或等于 x 的最大整数。 逻辑运算符
a&&b逻辑与操作，用于判断 a 和 b 是否都为真。a｜｜b逻辑或操作，用于判断 a 和 b 是否至少有一个为真。!逻辑非操作 位运算符
&按位与操作。对两个数的二进制表示进行逐位与运算。｜按位或操作。对两个数的二进制表示进行逐位或运算。^按位异或操作。对两个数的二进制表示进行逐位异或运算。~按位取反操作。对数的二进制表示进行逐位取反。a>>b右移位操作。将 a 的二进制补码表示情势向右移动 b 个比特位置。这个运算符仅用于 b 为非负整数的情况。向右移动时，原来最左边的位被移到最右边，左侧空出的位用符号位（即最左边的位）填充。a<<b左移位操作。将 a 的二进制补码表示情势向左移动 b 个比特位置。这个运算符仅用于 b 为非负整数的情况。向左移动时，原来最右边的位被移到最左边，右侧空出的位用0填充。 赋值
=赋值运算符。将右侧表达式的值赋给左侧的变量。++自增运算符。x++ 相称于 x = x + 1。当这个运算符用于数组索引时，变量值在自增操作之前被获取。–自减运算符。x-- 相称于 x = x - 1。当这个运算符用于数组索引时，变量值在自减操作之前被获取。+=加法赋值运算符。例如，x += 3 对应于 x = x + 3。-=减法赋值运算符。例如，x -= 3 对应于 x = x - 3。 数学函数
- 这些数学函数 (Abs, Clip3, Clip1, Min, Max, Round2 and Round2Signed) 定义如下：
- Round2 函数的尺度定义使用了数学中的幂和除法操作。这里提供了一个使用整数操作的等效定义：
- Round2(x, n) {
- if (n == 0)
- return x;
- return (x + (1 << (n - 1))) >> n;
- }
- FloorLog2(x) 函数定义为输入 x 的以 2 为底的对数的向下取整值。输入 x 总是一个整数，而且总是大于或等于 1。这个函数用于找出 x 的最显著位（即最高位的 1）的位置：
- FloorLog2(x) {
- s = 0;
- while (x != 0) {
- x = x >> 1;
- s++;
- }
- return s - 1;
- }
- CeilLog2(x) 函数定义为输入 x 的以 2 为底的对数的向上取整值。当 x 为 0 时，函数定义为返回 0。输入 x 总是一个整数，而且总是大于或等于 0。这个函数用于计算表树模围从 0 到 x-1 的值所需的位数：
- CeilLog2(x) {
- if (x < 2)
- return 0;
- i = 1;
- p = 2;
- while (p < x) {
- i++;
- p = p << 1;
- }
- return i;
- }
形貌比特流语法的方法
- 比特流中语法元素的形貌风格雷同于C编程语言。语法元素在比特流中用粗体表示。每个语法元素都通过其名称（只使用小写字母和下划线字符）和其编码表示方法的形貌符来形貌。解码过程根据语法元素的值以及之前已解码的语法元素的值来执行。当语法元素的值在语法表或文本中使用时，它以常规类型（即非粗体）体现。假如语法元素的值正在被计算（例如，用默认值而不是在比特流中编码来写入），它也以常规类型体现（例如，tile_size_minus_1）。
- 在某些情况下，语法表大概使用其他从语法元素值派生的变量的值。这些变量在语法表或文本中出现，由小写字母和大写字母混合定名，且不包罗任何下划线字符。以大写字母开头的变量是为相识码当前语法结构和所有依赖的语法结构而派生的。这些变量可用于后续语法结构的解码过程。以小写字母开头的变量仅在它们派生的过程中使用。（允许使用单字符变量。）
- 常量值以全部大写字母和下划线字符体现（例如，MI_SIZE）。 常量查找表以单词情势出现（每个单词的首字母大写，其余字母小写），用下划线分隔（例如，Block_Width[…]）。 十六进制表示法，通过在十六进制数前加上0x来表示，当位数是4的倍数时大概使用。例如，0x1a表示比特串0001 1010。 二进制表示法通过在二进制数前加上0b来表示。例如，0b00011010表示比特串0001 1010。二进制数大概包罗下划线字符以进步可读性。假如存在，下划线字符从最低位（LSB）开始每4个二进制数字出现一次。例如，0b11010也可以写作0b1_1010。值等于0代表测试语句中的FALSE条件。任何非0值代表TRUE。
- 以下表格列出了语法规范格式的例子。当语法元素以粗体出现时（例如syntax_element），它指定这个语法元素是从比特流中剖析出来的。
函数
- 用于语法形貌的比特流函数在本节中指定。其他函数包罗在语法表中。假如一个部门直接或间接通过子进程导致从比特流中读取语法元素，则该部门被称为语法。其余部门被称为函数。
- 这些函数的规范使用了比特流位置指示器。这个比特流位置指示器定位了下一个要读取的比特的位置。
- get_position()：返回比特流位置指示器的值。
- init_symbol(sz)：根据第8.2.2节的规定，用sz字节的大小初始化符号解码器的算术解码过程。
- exit_symbol()：按照第8.2.4节的形貌退出算术解码过程（这包括读取尾随比特）。
形貌符
- 常规：以下形貌符指定了语法元素的剖析方式。小写形貌符指定了在比特流中由整数位数表示的语法元素；大写形貌符指定了由算术编码表示的语法元素。
- f(n)：在比特流中直接出现的无符号 n 位数字。比特按从高到低的顺序读取。调用第8.1节指定的剖析过程，并将语法元素设置为返回值。
- uvlc(n)：在比特流中直接出现的变长无符号 n 位数字。对于这个形貌符的剖析过程如下：
- le(n)：在比特流中直接出现的无符号小端模式的 n 字节数字。对于这个形貌符的剖析过程如下：
- leb128()：无符号整数，由变长的小端字节表示。
- 注意：这个语法元素仅在比特流位置对齐到字节时才会出现。
- 在这种编码中，每个字节的最高位（最左边的位）假如等于1，则表示需要继续读取更多字节；假如等于0，则表示编码竣事。
- 在这个过程中间读取的字节数将被设置为一个变量 Leb128Bytes。这个形貌符的剖析过程如下：
- 比特流一致性的要求是，leb128剖析过程返回的值必须小于或等于 (1 << 32) - 1。
- leb128_byte包罗从比特流中读取的8位。最低的7位被用来计算变量的值。最高有用位用来指示是否另有更多的字节需要读取。
- 比特流一致性的要求是，假如i等于7，则leb128_byte的最高有用位必须等于0。（这确保了这种语法形貌符永久不会使用凌驾8个字节。）
- 注意：根据编码的前导零比特的数量，同一值有多种编码方式。没有要求说这个语法形貌符必须使用最压缩的表示情势。这对编码器的实现很有用，由于它允许在数值终极确定后，稍后填充固定命量的空间。
- su(n)：从比特流中的n位无符号整数转换而来的有符号整数。（无符号整数对应于有符号整数的最低n位。）这个形貌符的剖析过程如下：
- ns(n)：无符号编码整数，最大数值数量为 n（即输出范围在 0 到 n-1 之间）。
- 这个形貌符雷同于 f(CeilLog2(n))，但通过对于值范围的较低部门编码时减少1个比特，减少了在编码非2的幂次方值范围时产生的浪费。例如，当 n 等于 5 时，编码如下（同时也呈现了完整的二进制编码以供比力）：
- 这个形貌符的剖析过程指定如下：
"ns"这个缩写代表非对称（non-symmetric）。这种编码是非对称的，由于不是所有值都使用雷同数量的比特进行编码。
- L(n)：无符号算术编码的 n 位数字被编码为 n 个标志（一个“字面量”）。这些标志是从高阶到低阶顺序读取的。语法元素被设置为 read_literal(n) 的返回值（见第 8.2.5 节以相识这个过程的规范）。
- S()：一个算术编码的符号，编码自最多包罗16个条目的小字母表。该符号是根据上下文敏感的累积分布函数（CDF）进行解码的（见第8.3节以相识这个过程的规范）。
- NS(n)：无符号算术编码整数，最大值数量为 n（即输出范围在 0 到 n-1 之间）。这个形貌符与 ns(n) 雷同，只是底层的比特是算术编码的。
原文
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。 |
