<%= $dut.atx.to_ip_xact %>