2026-11-07 · Second-machine reproduction; main comparison verdict reached
Every row the two verdicts use (22 for Nangate45 and ASAP7, 33 for the open PDKs) was placed, routed and measured again on a second machine, with every number equal. The second machine was a Mac for 20 of the main rows and an AWS EC2 instance for the two ASAP7 carry-save VTA rows, whose routed netlists match the first run byte for byte. VTA gained two rows with the same kind of carry-save adder tree CV-GEMV uses and is scored by its best of six rows. The IHP SG13G2 equivalence check was rerun with only bond pads excluded. Result: the Nangate45 and ASAP7 verdict for CV-GEMV r11 is reached and confirmed by cross-review; the open-PDK verdict is not reached because GF180MCU misses the 8.0 ns target. See the comparison page.
2026-11-07 · Same-condition comparison: revisions r8 to r11 and tuned VTA rows
The comparison now measures CV-GEMV implementation revisions r8 to r11, each giving results identical to r1, in Nangate45, ASAP7 and the three open PDKs, and adds two VTA rows with the same kind of ordinary tuning; VTA is scored by its best row. Measuring rules were committed before each result. Current verdicts, open gates and raw files are on the comparison page. The interface contract is unchanged.
2026-11-06 · Open-PDK comparison and recent-model accuracy
The same comparison in three processes that can be fabricated through open shuttles (SKY130HD, GF180MCU, IHP SG13G2) at an 8.0 ns target, and number-format accuracy on three recent open models.
2026-11-06 · Same-condition comparison, physical implementation and integration contract
New evidence pages: CV-GEMV against published open designs in one fixed flow on the same process and real model data, open-PDK place-and-route with power from real tokens, and the AXI4-Lite / AXI4-Stream wrapper contract. Text files (.v, .md, .log) are now served as UTF-8 (erratum E-0002 fixed).
2026-11-06 · Products, licensing and company pages
Added the product list, the CV-GEMV research RTL page, licensing (evaluation, project license, royalty), support scope and response targets, release notes, the errata log, the downloads list and the About page, in English and Korean. The old /investors/ address now leads to About. No RTL change.
2026-11-05 · Build-machine paths removed from public files
Link targets in SPEC.md (on the site and in the source package) and one string in each WebAssembly engine contained build-machine paths. These were rewritten; the code and RTL are unchanged. See erratum E-0001.
2026-11-04 · Early research archive retired
The early archive pages, their data files and the old portal APIs now return 410 Gone. The footer now says Corvel is built by simul.risconlabs.com.
2026-10-26 · Schematic workbench, netlist search and ink artwork
The pipeline and gate-netlist viewers gained input, preset, run and cycle controls and a searchable netlist; new artwork and selectable site skins were added. No RTL change.
2026-10-25 · CV-X1 Pro L8 evaluation release r1
CV-X1 Pro L8 and Duo RTL; Corvel Forge, which runs the RTL in the browser; evaluation kits; and the verification evidence (37 workloads, 1,060,668 signal samples, 0 mismatches against Icarus Verilog).
The CV-X1 Pro L8 RTL (dut.v SHA-256 5ab1af2f…a99e) is unchanged since r1.