- Home
- Skills
- Agents & Orchestration
- FPGA 11/13 · Documentation Claude — Evidence
Works with the AI tools you already use
FPGA 11/13 · Documentation Claude — Evidence
Generates auditable FPGA validation dossiers with evidence levels, error budgets, and performance metrics.
$10
FPGA 11/13 · Documentation Claude — Evidence
Example session with this skill installed
Generate a validation dossier for the fixed-point FFT core. Include the error budget for 16-bit precision, the kernel speedup versus the ARM A9 baseline, and the resource usage table.
- Read your context and instructions
- Compiled the fpga 11 13
Validation Dossier: FFT Core
Evidence Level: [Own Measurement]
Accuracy: 1.2 ulp (faithful).
Error Chain: Truncation (0.5) + Rounding (0.4) + Overflow Margin (0.3) < 1.5 bound.
Kernel Speedup: 14.2x (Data: int16, Pattern: Linear).
Resources: 4200 LUTs / 15k available.
Connects securely to your tools. The creator never sees your data.
What you get
About this skill
The problem
Engineering claims often rot into vague marketing because they lack boundary conditions. Without a traceable evidence chain, FPGA performance numbers, speedups, and accuracy claims become impossible for third parties to reproduce or verify.
What it does
- Assigns every statement an evidence level: cited source, own measurement, hypothesis, or quarantined analogy.
- Deconstructs accuracy claims into a traceable error budget chain using triangle inequality bounds.
- Generates mandatory resource usage and timing tables with used versus available metrics.
- Enforces strict separation between kernel speedup and end-to-end application speedup.
- Documents rejected optimizations and dead ends to prevent redundant future engineering effort.
Frameworks & tools
FPGA development environments, RTL simulation, gate-level netlists, hardware measurement tools (Saleae), and bitstream mapping tools.
Why this beats prompting it yourself
Writing validation dossiers manually often leads to mixing hypotheses with facts. This skill enforces a sign-off catalog of independent checks and ensures boundary conditions stay attached to every metric, preventing the "it works on my machine" fallacy in hardware documentation.
Use cases
- Creating an auditable validation dossier for FPGA IP delivery.
- Breaking down complex precision requirements into a checkable error budget.
- Documenting high-performance computing metrics with explicit counting methods.
- Performing a formal sign-off for hardware release cycles.
Known limitations
Requires raw data inputs from synthesis reports and measurement series. Does not perform the actual physical measurements or simulations.
How to install
Works the same in every agent - Claude, Cursor, Codex, Copilot and 20+ more.
- 1
Download the ZIP
Free skills download straight away. Paid skills unlock right after purchase.
- 2
Unzip into your skills folder
Every agent reads skills from one folder on your machine. Drop the unzipped folder in there.
- 3
Ask your agent to use it
Restart the agent if it was already running. It picks the skill up automatically - no config needed.
Skills folder by agent
Click the path to copy it. Create the folder if it does not exist yet.
Reviews
No reviews yet
Be one of the first to try it. Every listed skill passes our trust checks below.
Security scanned
Passed our 8-point scan before listing
Fresh listing
Recently published to Agensi
30-day refund
Not a fit? Get your money back
Trust & safety
Security scanned
Verified clean 1 month ago
- Passed all security checks, Safe to install