| 파일 | 내용 | 크기 | SHA-256 |
|---|---|---|---|
| dut.v | CV-X1 Pro L8 RTL(Verilog) | 21.3 KB | 5ab1af2f…a99e |
| duo.v | CV-X1 Pro Duo 래퍼 RTL | 2.6 KB | a14d94c7…8984 |
| SPEC.md | 포트·인터페이스 사양서 | 10.2 KB | a9982646…aa00 |
| corvel-source.zip | 소스 패키지: RTL, 사양서, Forge 엔진 연결부와 생성된 시뮬레이션 모델, 소스 해시 | 1.7 MB | e0cbcdea…17ef |
| netlist.svg | 합성한 게이트 넷리스트 그림 | 1.2 MB | c69f1583…a817 |
| manifest.json | RTL·엔진 해시가 담긴 Forge 엔진 매니페스트 | 1.6 KB | 236df46f…82e4 |
| wasm-parity.json | 브라우저 엔진 대 Icarus Verilog, 작업 37개 | 6.6 KB | 792940de…b03e |
| duo-parity.json | Duo 엔진 일치 검사 | 4.7 KB | 004a28e0…f308 |
| formal.json | 형식 안전 속성 증명(Yosys + Z3) | 6.2 KB | b3d391ac…e725 |
| ppa.json | 표준 셀 합성과 타이밍(Nangate45) | 4.3 KB | 10d25914…cf7a |
| NOTICE.txt | 제3자 고지 | 0.7 KB | 10a9b0af…7d54 |
해시 위에 마우스를 올리면 전체가 보입니다. 나머지 보고서와 기록은 검증 자료 페이지에 있습니다. 제3자 라이선스 전문은 /assets/licenses/에 있습니다.
평가 키트
키트는 내 입력으로 브라우저에서 만듭니다. Corvel Forge에서 실행하고 ZIP을 내려받으세요. 키트마다 SHA256SUMS와 엔진 매니페스트가 들어 있습니다.
여기 없는 것
- CV-GEMV 연구용 RTL: 서면 평가 계약으로 제공.
- 라이선스 납품 패키지: 프로젝트 라이선스에 따라 라이선시에게 전달.
- 공개 평가 릴리스가 아닌 구성.