code wiki / _hdl_build / nx_vdeblock_gate.nx

nx_vdeblock_gate.nx

buildroot/runtime/_hdl_build/nx_vdeblock_gate.nx

3609 B65 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_vdeblock_gate.nx -- proves the wired deblocking pass (nx_vdeblock) reduces BLOCKING artifacts. Build a smooth gradient (the true signal), then a "blocky" version that quantizes each 4x4 block to its block mean (the DC-step artifact quantization leaves at block edges). Deblock the blocky frame and MEASURE that it moves back toward the smooth original (higher PSNR, lower block-edge discontinuity) -- i.e. the filter smooths false block edges.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_vdeblock.nx nx_quality_metric.nx nx_vdeblock_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_vdeblock.nxnx_quality_metric.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main g_puts sys_write sys_mmap qm_psnr_cdb qm_mse qm_log2_q16 block_edge_disc g_abs vc_deblock_frame nx_deblock_luma_edge nx_db_alpha sys_mmap ↻ nx_db_beta sys_mmap ↻ nx_db_tc0 sys_mmap ↻ db_abs db_clip3 db_asr db_clip1 g_pn sys_mmap ↻ sys_write ↻ g_check g_puts ↻ sys_exit

structs

none

consts

none

functions

10func g_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
called by 1: block_edge_disc
12func block_edge_disc(f: *u8, W: i64, H: i64) -> i64
called by 1: main calls 1: g_abs
19func main() -> i64