Debugging top.sv still