CORVEL FORGE / EVALUATION WORKBENCH

Your inputs. The RTL in action.

Run the circuit and inspect quantization error and integer outputs in your browser. Inputs stay on your device. The presets use synthetic data and do not indicate full-model accuracy.

10 verified internal requests · 9 with SRAM and AXI Verification by request

Select an input and run the simulation.

Schematics · Yosys 0.70 synthesized netlist

Architecture overview for cv_x1_pro_subsystem(dut.v). The conceptual pipeline diagram overlays live simulation signals; the separate gate netlist is generated with Yosys 0.70 + Graphviz.

Yosys 0.70 synthesized gate netlist (SVG)

Export evaluation results

Download a ZIP archive containing the RTL, your input vectors, expected outputs, and a replay testbench. If Icarus Verilog is installed, run make check to verify locally.

Metrics reflect cycle-accurate simulation, not measured silicon speed or power. Evaluation scope ↗