valid_rtct.v 2.63 KB