code wiki / av1
topic: av1
20 modules sharing the av1 name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_av1_adst.nx | AV1/AV2 inverse ADST (asymmetric discrete sine transform). | 102 | 3 |
| nx_av1_adst_gate.nx | proves the inverse ADST and its distinctness from DCT. | 202 | 4 |
| nx_av1_dct.nx | AV1/AV2 inverse DCT butterfly networks, 4 and 8 point. | 133 | 3 |
| nx_av1_dct_gate.nx | proves the inverse DCT networks by STRUCTURAL property. | 210 | 4 |
| nx_av1_ec.nx | the AV1/AV2 multi-symbol CDF arithmetic decoder. | 183 | 8 |
| nx_av1_ec_gate.nx | proves the AV1/AV2 multi-symbol CDF arithmetic decoder. | 154 | 2 |
| nx_av1_frame.nx | AV1/AV2 frame-header parameter blocks, writer and reader. | 236 | 10 |
| nx_av1_frame_gate.nx | proves the AV1/AV2 frame-header parameter blocks. | 207 | 3 |
| nx_av1_intra.nx | AV1/AV2 non-directional intra prediction. | 240 | 5 |
| nx_av1_intra_gate.nx | proves AV1/AV2 non-directional intra prediction. | 257 | 3 |
| nx_av1_obu.nx | AV1/AV2 OBU layer: reader and writer. | 211 | 6 |
| nx_av1_obu_gate.nx | proves the AV1/AV2 OBU layer by ROUND-TRIP. | 198 | 3 |
| nx_av1_seq.nx | AV1/AV2 sequence header, writer and reader. | 287 | 6 |
| nx_av1_seq_gate.nx | proves the AV1/AV2 sequence header by ROUND-TRIP. | 174 | 3 |
| nx_av1_tile.nx | AV1/AV2 tile geometry and tile_info, writer and reader. | 224 | 12 |
| nx_av1_tile_gate.nx | proves AV1/AV2 tile geometry and tile_info. | 170 | 3 |
| nx_av1_txfm.nx | AV1/AV2 transform primitives. | 205 | 15 |
| nx_av1_txfm2d.nx | the 2-D transform-type lattice shared VERBATIM with AV2. | 165 | 5 |
| nx_av1_txfm2d_gate.nx | proves the 16 2-D transform types are a BIJECTION | 189 | 3 |
| nx_av1_txfm_gate.nx | proves the AV1/AV2 transform primitives. | 189 | 3 |