code wiki / _hdl_build / nx_vmvpred_gate.nx

nx_vmvpred_gate.nx

buildroot/runtime/_hdl_build/nx_vmvpred_gate.nx

4378 B82 linesdepth 3pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_vmvpred_gate.nx -- proves + MEASURES MV prediction (nx_vmvpred): on a realistic motion field (a camera pan with a couple of differently-moving object blocks), coding MVs as residuals from the median neighbour predictor costs far fewer bits than coding them absolutely. Uses the codec's real varint MV cost (ve_zze/ve_blen).

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_vmvpred.nx nx_ventropy.nx nx_gate_verdict.nx nx_vmvpred_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_vmvpred.nxnx_ventropy.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

10func vbits(v: i64) -> i64 { return 5 + ve_blen(ve_zze(v)) } // bits one varint MV component costs (codec's coder)
12func main() -> i64