workload_bound.v 32 KB