CoreJudge

CPU RTL 검증 · 벤치마크 플랫폼

만든 CPU를 검증하고, 같은 조건에서 비교하세요.

CoreJudge는 CPU가 ISA 계약을 정확히 구현했는지 먼저 확인하고, 검증된 설계를 재현 가능한 조건에서 비교하는 하나의 플랫폼입니다.

사용할 서비스를 선택하세요.

CoreJudge Verify

운영자 전용

CPU가 정확한지 검증

선택한 ISA와 외부 인터페이스 계약을 구현했는지 실제 compile, lint, simulation, synthesis 결과로 확인합니다.

Tiny8 · RV32I · Verilog-2005

로그인 후 VerifyTiny8 공개 결과

CoreJudge Bench

운영자 전용

검증된 CPU의 효율 비교

Verify를 통과한 CPU만 동일한 프로그램, 메모리와 도구 조건에서 cycle과 합성 자원을 비교합니다.

정확성 100% 통과 후 측정

로그인 후 Bench

공개 포트폴리오는 고정 Tiny8 기준 샘플의 안전한 결과만 보여줍니다. 업로드, 새 Verify·Bench 실행과 다른 Job은 운영자 로그인 후 이용할 수 있습니다.

01 · AVAILABLE NOW

PASS 한 글자보다 중요한 실행 근거

  1. 01

    127개의 기능 검증 테스트와 독립 기준 모델

  2. 02

    compile, lint, simulation, synthesis의 실제 도구 실행

  3. 03

    최초 실패 위치, 원본 로그, VCD와 브라우저 파형

02 · VERIFY SCOPE

명시적인 ISA 계약부터 확실하게

ISA
Tiny8 · RV32I
RTL
Verilog-2005
Tools
Icarus · Verilator · Yosys

Tiny8은 업계 공통 표준 ISA가 아닙니다. 합성 가능 여부와 회로 자원은 보여주지만, 배치·배선을 하지 않은 결과를 실제 하드웨어 속도나 Fmax로 표현하지 않습니다.