generated_spec.v 2.92 KB