code wiki / _hdl_build / nx_vdeblock_gate.nx

nx_vdeblock_gate.nx

buildroot/runtime/_hdl_build/nx_vdeblock_gate.nx

4051 B73 linesdepth 4pulls 9 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 5 imports · 0 importers

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

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_vdeblock.nxnx_quality_metric.nxnx_gate_verdict.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 nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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 ↻

structs

none

consts

none

functions

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