Man pages matching name verilated::debug in section 1: