실제 저장 상태를 확인하고 있습니다…

Tiny8 Reference · Tiny8 VERIFY

검증 보고서

Job f7d7717c-2131-44f6-aed5-9b29d261d089 · corejudge.tiny8.core-trace/1.0

VERIFY RESULT

PASS

모든 필수 검증을 통과했습니다.

이 결과는 기록된 ISA 계약, 테스트 스위트와 도구 환경에 한정됩니다.

실행 테스트: 127
통과: 127
실패: 0

PIPELINE

단계별 실행 결과

모든 상태는 Worker가 실제 도구 실행 뒤 저장한 값입니다.

단계	상태	시간	설명
파일 검사	통과	141 ms	Manifest, immutable source, suite, and pinned tools validated
RTL compile	통과	19 ms	Strict Verilog-2005 compilation passed
Verilator lint	통과	36 ms	Verilator lint passed
Testbench build	통과	23 ms	Trusted Tiny8 harness built with the submission
기능 simulation	통과	2.14 s	127 real simulations matched the oracle
Yosys synthesis	통과	277 ms	Required generic Yosys synthesis gate passed
보고서 생성	통과	22 ms	Structured report and diagnostic artifacts generated

TESTS

테스트 결과

127/127 통과 · 고정 suite order

전체 127개 결과 보기

#	Test ID	분류	결과	시간
1	`tiny8.reset.initial-state`	reset	PASS	16 ms
2	`tiny8.program.add-5-3`	program	PASS	15 ms
3	`tiny8.program.add-carry-zero`	program	PASS	16 ms
4	`tiny8.program.sub-flags`	program	PASS	17 ms
5	`tiny8.program.logic-ops`	program	PASS	16 ms
6	`tiny8.program.shift-flags`	program	PASS	16 ms
7	`tiny8.program.jz-paths`	program	PASS	15 ms
8	`tiny8.program.jmp-wrap`	program	PASS	19 ms
9	`tiny8.program.out-halt`	program	PASS	15 ms
10	`tiny8.memory.address-0`	memory	PASS	15 ms
11	`tiny8.memory.address-1`	memory	PASS	16 ms
12	`tiny8.memory.address-2`	memory	PASS	15 ms
13	`tiny8.memory.address-3`	memory	PASS	15 ms
14	`tiny8.memory.address-4`	memory	PASS	16 ms

WAVEFORM

파형

브라우저 sampled timeline과 원본 VCD

파형을 불러오는 중…

RAW EVIDENCE

도구 로그

ANSI/제어 문자를 제거해 text로만 표시합니다.

39 BSHA-256 542963fdc526…원본 다운로드

로그를 불러오는 중…

REPRODUCIBILITY

결과를 만든 환경

Report JSON

Source SHA-256: d3b80abaa1439d070c70fc4499ac52f7f2f544769e6c12df293bcb2ef9603098
Manifest SHA-256: 1f54f488b0be7f7c1557f847a1803bbfae591f52d195642a6d69ef2bc040a25b
ISA: Tiny8 · tiny8
Interface: corejudge.tiny8.core-trace/1.0
Suite: tiny8-verify-v1 · 1.0.0 · 39a20a8defc166d59242b833ec2a0bee025aa2ea89c2bd52d3763616d38406a1
Random seed: d67a381882be59bd · splitmix64-v1
Generated input: 3d8d95e179092a4c1415f2e8670a189bca618c13bfc846169ad432fe3d05240d
Toolchain image: sha256:0b71a4c67ac99af70dc933c82d9bd03c69bd783a006a73f21b2860746781a974
Job 시작: 2026. 8. 21. 오후 8:41:23
Job 완료: 2026. 8. 21. 오후 8:41:27

도구 버전과 실행 제한 보기

Tool versions

{
  "vvp": "Icarus Verilog runtime version 14.0 (devel) (s20260301-328-geda9fdcd1-dirty)\n\nCopyright (c) 2001-2026 Stephen Williams (steve@icarus.com)\n\n  This program is free software; you can redistribute it and/or modify\n  it under the terms of the GNU General Public License as published by\n  the Free Software Foundation; either version 2 of the License, or\n  (at your option) any later version.\n\n  This program is distributed in the hope that it will be useful,\n  but WITHOUT ANY WARRANTY; without even the implied warranty of\n  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\n  GNU General Public License for more details.\n\n  You should have received a copy of the GNU General Public License along\n  with this program; if not, write to the Free Software Foundation, Inc.,\n  51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.",
  "node": "v24.13.0",
  "yosys": "Yosys 0.67+111 (git sha1 4821ed17b-dirty, Release, Clang /usr/bin/clang++ 21.1.8)",
  "icarus": "Icarus Verilog version 14.0 (devel) (s20260301-328-geda9fdcd1-dirty)\n\nCopyright (c) 2000-2026 Stephen Williams (steve@icarus.com)\n\n  This program is free software; you can redistribute it and/or modify\n  it under the terms of the GNU General Public License as published by\n  the Free Software Foundation; either version 2 of the License, or\n  (at your option) any later version.\n\n  This program is distributed in the hope that it will be useful,\n  but WITHOUT ANY WARRANTY; without even the implied warranty of\n  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\n  GNU General Public License for more details.\n\n  You should have received a copy of the GNU General Public License along\n  with this program; if not, write to the Free Software Foundation, Inc.,\n  51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.\n\nIcarus Verilog Preprocessor version 14.0 (devel) (s20260301-328-geda9fdcd1-dirty)\n\nCopyright (c) 1999-2026 Stephen Williams (steve@icarus.com)\n\n  This program is free software; you can redistribute it and/or modify\n  it under the terms of the GNU General Public License as published by\n  the Free Software Foundation; either version 2 of the License, or\n  (at your option) any later version.\n\n  This program is distributed in the hope that it will be useful,\n  but WITHOUT ANY WARRANTY; without even the implied warranty of\n  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\n  GNU General Public License for more details.\n\n  You should have received a copy of the GNU General Public License along\n  with this program; if not, write to the Free Software Foundation, Inc.,\n  51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.\n\nIcarus Verilog Parser/Elaborator version 14.0 (devel) (s20260301-328-geda9fdcd1-dirty)\n\nCopyright (c) 1998-2026 Stephen Williams (steve@icarus.com)\n\n  This program is free software; you can redistribute it and/or modify\n  it under the terms of the GNU General Public License as published by\n  the Free Software Founda",
  "verilator": "Verilator 5.051 devel rev v5.050-108-gcac2c3df1 (mod)"
}