abstract_rta.v 28.7 KB