generated_spec.v 5.94 KB