Corvel Forge uses Verilator 5.052 generated models and runtime, compiled with Emscripten 6.0.13.
Verilator copyright Wilson Snyder and contributors; dual license terms are in Verilator.txt (LGPLv3 / Artistic License 2.0). The runtime source headers also grant terms for generated and runtime output. The browser build disables host CPU affinity/NUMA calls for Emscripten and includes cstdint for DPI headers. The circuit source is unchanged.
Emscripten copyright Emscripten authors; MIT / University of Illinois NCSA terms in Emscripten.txt.
Pretendard copyright Kil Hyung-jin; SIL Open Font License in Pretendard-OFL.txt.
Build scripts, bridge and corresponding model/runtime source are included in the reproducibility source archive linked on the evidence page.
