abstract_rta.v 28.8 KB