| File | What it is | Size | SHA-256 |
|---|---|---|---|
| dut.v | CV-X1 Pro L8 RTL (Verilog) | 21.3 KB | 5ab1af2f…a99e |
| duo.v | CV-X1 Pro Duo wrapper RTL | 2.6 KB | a14d94c7…8984 |
| SPEC.md | Port and interface specification | 10.2 KB | a9982646…aa00 |
| corvel-source.zip | Source package: RTL, specification, Forge engine bridge and generated simulation model, with source hashes | 1.7 MB | e0cbcdea…17ef |
| netlist.svg | Synthesized gate netlist drawing | 1.2 MB | c69f1583…a817 |
| manifest.json | Forge engine manifest with RTL and engine hashes | 1.6 KB | 236df46f…82e4 |
| wasm-parity.json | Browser engine against Icarus Verilog, 37 workloads | 6.6 KB | 792940de…b03e |
| duo-parity.json | Duo engine parity | 4.7 KB | 004a28e0…f308 |
| formal.json | Formal proofs of safety properties (Yosys + Z3) | 6.2 KB | b3d391ac…e725 |
| ppa.json | Standard-cell synthesis and timing (Nangate45) | 4.3 KB | 10d25914…cf7a |
| NOTICE.txt | Third-party notices | 0.7 KB | 10a9b0af…7d54 |
Hover over a hash to see it in full. The verification evidence page links to all other reports and logs. Third-party license texts are in /assets/licenses/.
Evaluation kits
Kits are built in your browser from your own inputs: run them in Corvel Forge and download the ZIP. Each kit carries SHA256SUMS and the engine manifest.
Not on this page
- CV-GEMV research RTL: provided under a written evaluation agreement.
- Licensed delivery packages: sent to the licensee under the project license.
- Configurations other than the public evaluation release.
Request them through the inquiry form, or see Licensing.