lock_unary_spec.v 7.76 KB