#include <rvm_std_lib.vrh> rvm_channel(packet) rvm_channel(rx_packet) rvm_atomic_gen(packet,"TX_PKTGEN") rvm_atomic_gen(rx_packet,"RX_PKTGEN")