omega_benchmark.v