code wiki / _hdl_build / nx_aec_gate.nx

nx_aec_gate.nx

buildroot/runtime/_hdl_build/nx_aec_gate.nx

2955 B48 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic aec
docsdependenciesstructsconstsfunctions

about

nx_aec_gate.nx -- proves + MEASURES sovereign echo cancellation (nx_aec): an NLMS filter learns the echo path and cancels the far-end echo while preserving the near-end voice.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_aec.nx nx_aec_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_aec.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 aec_run energy g_pn sys_mmap ↻ sys_write ↻ g_check g_puts ↻ sys_exit

structs

none

consts

none

functions

7func g_abs(v: i64) -> i64 { if v<0 { return 0-v } return v }
9func energy(arr: *i64, from: i64, to: i64) -> i64 { var s: i64=0; var i: i64=from; while i<to { s = s + arr[i]*arr[i]; i=i+1 } return s }
called by 1: main
11func main() -> i64