{ "schemaVersion": "corejudge.verify-report/1.0", "jobId": "f7d7717c-2131-44f6-aed5-9b29d261d089", "verdict": "PASS", "outcomeCode": "VERIFIED", "submission": { "sourceHash": "d3b80abaa1439d070c70fc4499ac52f7f2f544769e6c12df293bcb2ef9603098", "manifestHash": "1f54f488b0be7f7c1557f847a1803bbfae591f52d195642a6d69ef2bc040a25b" }, "suite": { "id": "tiny8-verify-v1", "version": "1.0.0", "contentDigest": "39a20a8defc166d59242b833ec2a0bee025aa2ea89c2bd52d3763616d38406a1" }, "seed": "d67a381882be59bd", "generatedInputDigest": "3d8d95e179092a4c1415f2e8670a189bca618c13bfc846169ad432fe3d05240d", "limits": { "cpuCores": 1, "memoryBytes": 536870912, "memorySwapBytes": 536870912, "pids": 64, "openFiles": 256, "fileSizeBytes": 26214400, "jobWallTimeMs": 120000, "compileTimeMs": 10000, "lintTimeMs": 15000, "testbenchBuildTimeMs": 15000, "simulationTimeMs": 5000, "synthesisTimeMs": 30000, "stageLogBytes": 1048576, "totalLogBytes": 8388608, "vcdBytes": 10485760, "artifactBytes": 26214400 }, "tools": { "node": "v24.13.0", "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", "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.", "verilator": "Verilator 5.051 devel rev v5.050-108-gcac2c3df1 (mod)", "yosys": "Yosys 0.67+111 (git sha1 4821ed17b-dirty, Release, Clang /usr/bin/clang++ 21.1.8)" }, "summary": { "totalTests": 127, "passedTests": 127, "failedTests": 0 }, "firstFailure": null, "results": [ { "testId": "tiny8.reset.initial-state", "testVersion": "1.0.0", "category": "reset", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.add-5-3", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.add-carry-zero", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.sub-flags", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.logic-ops", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.shift-flags", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.jz-paths", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.jmp-wrap", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 19, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.program.out-halt", "testVersion": "1.0.0", "category": "program", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-0", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-1", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-2", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-3", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-4", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-5", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-6", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-7", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-8", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-9", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-a", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-b", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-c", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 27, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-d", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-e", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.memory.address-f", "testVersion": "1.0.0", "category": "memory", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-0", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-1", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-2", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-3", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-4", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-5", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-6", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-7", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-8", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-9", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-a", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-b", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-c", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-d", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-e", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.nop-f", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-0", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-1", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-2", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-3", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-4", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-5", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-6", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-7", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-8", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-9", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-a", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-b", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-c", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-d", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-e", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.out-f", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-0", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-1", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-2", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-3", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-4", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-5", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-6", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-7", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-8", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-9", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-a", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-b", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-c", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-d", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-e", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shl-f", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-0", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-1", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-2", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-3", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-4", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-5", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-6", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-7", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-8", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-9", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-a", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-b", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-c", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-d", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-e", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.shr-f", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-0", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 14, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-1", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-2", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-3", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-4", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-5", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-6", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-7", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-8", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 19, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-9", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-a", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-b", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-c", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-d", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-e", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.reserved-f", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-0", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-1", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-2", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 19, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-3", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-4", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-5", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-6", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-7", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-8", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-9", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-a", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-b", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-c", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-d", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-e", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.ignored-operand.hlt-f", "testVersion": "1.0.0", "category": "decode", "seed": "d67a381882be59bd", "durationMs": 15, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.output.consecutive", "testVersion": "1.0.0", "category": "output", "seed": "d67a381882be59bd", "durationMs": 19, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.random.0000000000019919", "testVersion": "1.0.0", "category": "random", "seed": "0000000000019919", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.random.0123456789abcdef", "testVersion": "1.0.0", "category": "random", "seed": "0123456789abcdef", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.random.deadbeefcafebabe", "testVersion": "1.0.0", "category": "random", "seed": "deadbeefcafebabe", "durationMs": 16, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.random.ffffffffffffffff", "testVersion": "1.0.0", "category": "random", "seed": "ffffffffffffffff", "durationMs": 18, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" }, { "testId": "tiny8.random.job.d67a381882be59bd", "testVersion": "1.0.0", "category": "random", "seed": "d67a381882be59bd", "durationMs": 17, "status": "passed", "phase": null, "resetEdge": null, "cycle": null, "retireIndex": null, "expectedRetireIndex": null, "signal": null, "expected": null, "actual": null, "message": "Matched the Tiny8 architectural oracle" } ], "synthesis": { "required": true, "includesAdapterAndTrace": true, "statistics": { "creator": "Yosys 0.67+111 (git sha1 4821ed17b-dirty, Release, Clang /usr/bin/clang++ 21.1.8)", "invocation": "stat -json ", "modules": { "\\corejudge_tiny8_adapter": { "num_wires": 36, "num_wire_bits": 118, "num_pub_wires": 27, "num_pub_wire_bits": 106, "num_ports": 18, "num_port_bits": 69, "num_memories": 0, "num_memory_bits": 0, "num_processes": 0, "num_cells": 26, "num_submodules": 1, "num_cells_by_type": { "$_ANDNOT_": 2, "$_AND_": 2, "$_NOR_": 1, "$_NOT_": 1, "$_ORNOT_": 1, "$_OR_": 2, "$_SDFFE_PP0P_": 12, "$_SDFF_PP0_": 1, "$_XNOR_": 4, "tiny8_core": 1 } }, "\\tiny8_core": { "num_wires": 53, "num_wire_bits": 145, "num_pub_wires": 35, "num_pub_wire_bits": 127, "num_ports": 17, "num_port_bits": 69, "num_memories": 0, "num_memory_bits": 0, "num_processes": 0, "num_cells": 57, "num_submodules": 2, "num_cells_by_type": { "$_AND_": 8, "$_MUX_": 8, "$_NAND_": 1, "$_NOR_": 4, "$_NOT_": 1, "$_OR_": 1, "$_SDFFE_PP0P_": 29, "$_SDFFE_PP1P_": 1, "$_SDFF_PP0_": 1, "$_XNOR_": 1, "$_XOR_": 2, "alu8": 1, "control_unit": 1 } }, "\\control_unit": { "num_wires": 37, "num_wire_bits": 46, "num_pub_wires": 28, "num_pub_wire_bits": 37, "num_ports": 16, "num_port_bits": 22, "num_memories": 0, "num_memory_bits": 0, "num_processes": 0, "num_cells": 23, "num_submodules": 1, "num_cells_by_type": { "$_ANDNOT_": 4, "$_AND_": 13, "$_NOR_": 1, "$_OR_": 3, "$_SDFF_PP0_": 2, "instruction_decoder": 1 } }, "\\instruction_decoder": { "num_wires": 33, "num_wire_bits": 38, "num_pub_wires": 12, "num_pub_wire_bits": 17, "num_ports": 12, "num_port_bits": 17, "num_memories": 0, "num_memory_bits": 0, "num_processes": 0, "num_cells": 33, "num_submodules": 0, "num_cells_by_type": { "$_ANDNOT_": 7, "$_AND_": 10, "$_NAND_": 7, "$_NOR_": 2, "$_ORNOT_": 3, "$_OR_": 4 } }, "\\alu8": { "num_wires": 207, "num_wire_bits": 230, "num_pub_wires": 5, "num_pub_wire_bits": 28, "num_ports": 5, "num_port_bits": 28, "num_memories": 0, "num_memory_bits": 0, "num_processes": 0, "num_cells": 211, "num_submodules": 0, "num_cells_by_type": { "$_ANDNOT_": 13, "$_AND_": 61, "$_NAND_": 89, "$_NOR_": 8, "$_ORNOT_": 15, "$_OR_": 15, "$_XNOR_": 2, "$_XOR_": 8 } } }, "design": { "num_wires": 366, "num_wire_bits": 577, "num_pub_wires": 107, "num_pub_wire_bits": 315, "num_ports": 68, "num_port_bits": 205, "num_memories": 0, "num_memory_bits": 0, "num_processes": 0, "num_cells": 350, "num_submodules": 1, "num_cells_by_type": { "$_ANDNOT_": 26, "$_AND_": 94, "$_MUX_": 8, "$_NAND_": 97, "$_NOR_": 16, "$_NOT_": 2, "$_ORNOT_": 19, "$_OR_": 25, "$_SDFFE_PP0P_": 41, "$_SDFFE_PP1P_": 1, "$_SDFF_PP0_": 4, "$_XNOR_": 7, "$_XOR_": 10, "tiny8_core": 1 } } }, "limitation": "Generic Yosys synthesis availability; not FPGA LUT, Fmax, area, or hardware speed" }, "waveform": { "status": "READY", "reason": null, "lastCompleteCycle": 18 }, "artifacts": [ { "kind": "VALIDATION_LOG", "relativePath": "logs/validation.log", "mimeType": "text/plain; charset=utf-8", "byteSize": 368, "sha256": "56e9722251ee666d52f2504308332f2990e64a6403122a0806a47d9c967c9feb" }, { "kind": "COMPILE_LOG", "relativePath": "logs/compile.log", "mimeType": "text/plain; charset=utf-8", "byteSize": 39, "sha256": "542963fdc526dbeddfc49f9611a0e584325be2cc5d08329e52f49bda2ee32a74" }, { "kind": "LINT_LOG", "relativePath": "logs/lint.log", "mimeType": "text/plain; charset=utf-8", "byteSize": 353, "sha256": "b2829825a9639b21041166b50f8e39e071c3ce8b916c37a1463d52c512c6144c" }, { "kind": "TESTBENCH_BUILD_LOG", "relativePath": "logs/testbench-build.log", "mimeType": "text/plain; charset=utf-8", "byteSize": 39, "sha256": "10064ebc2963679ef8e77cac20a945e2905c3838c1c89b30ad8d435bf2ccaf81" }, { "kind": "SIMULATION_LOG", "relativePath": "logs/simulation.log", "mimeType": "text/plain; charset=utf-8", "byteSize": 18531, "sha256": "e41d29615e34f33d3ee644c9f2ace49a6b3a5be7752f287d0d434d8a661c2b0f" }, { "kind": "SYNTHESIS_LOG", "relativePath": "logs/synthesis.log", "mimeType": "text/plain; charset=utf-8", "byteSize": 96005, "sha256": "1bc0eaff566c8b9e293e112d89888183d755f91012bd690bccdec09cc82ebbc5" }, { "kind": "WAVEFORM_JSON", "relativePath": "waveform.json", "mimeType": "application/json", "byteSize": 17044, "sha256": "f2686e27a7692685db4358ef425b46e6b3ad5ec894af8757fae894fb2ab42d3c" }, { "kind": "VCD", "relativePath": "waveform.vcd", "mimeType": "text/x-vcd", "byteSize": 3395, "sha256": "a57bc53231b0a53f7bce8a226f57ed8fa8ce12a3b1c19091842df1577a9e92ca" } ] }