Claim Berkeley HardFloat

Prove you control https://github.com/ucb-bar/berkeley-hardfloat by committing a libfpga.yaml file to its default branch. That file then becomes your listing: edit it, and the registry re-syncs. No account required.

Or: add a manifest file

Prefer not to sign in, or want the file to also drive your listing's metadata? Use the manifest method:

Create libfpga.yaml in the repository root on your default branch (main or master) with your verification token and your listing metadata:

libfpga.yaml
# --- your one-time verification token (keep this line) ---
libfpga_claim: lfpga-verify-8dd40fad232b0eac837f9fc8543d8c0f

# --- your listing (all fields optional; edit freely later) ---
name: Berkeley HardFloat
tagline: Parameterized IEEE 754 floating-point units (FMA, conversions) in Chisel.
category: maths
license: BSD-3-Clause
languages: [chisel]
interfaces: []
targets: [device-agnostic]
maturity: production
tags: [floating-point, fma, ieee-754, chisel, maths]
top: rtl/top.v            # optional: lets us run synthesis checks
testbench: tb/tb_top.v    # optional: lets us run your testbench
description: >
  A longer description of what your core does.

Your token is unique to this claim and unguessable. Anyone who can push to the repo can add it, which is exactly the proof we need. The verification badges cannot be set from the manifest: those are earned only by our toolchain actually running your code.

Verify

Once libfpga.yaml is committed and visible on your default branch, verify the claim: