WIP: add cpu::test::decode_and_run_single_insn and some formal tests of running PowerISA instructions #15

Draft

programmerjake wants to merge 7 commits from programmerjake/cpu:decode-and-test-harness into master

Author	SHA1	Message	Date
Jacob Lifshay	241255e12c	tests/units_formal::test_power_isa_add_formal: formal proof actually starts, though it fails BMC Some checks failed / test (pull_request) Failing after 2h58m41s Details	2026-06-02 01:38:06 -07:00
Jacob Lifshay	14df664277	update fayalite	2026-06-02 01:36:12 -07:00
Jacob Lifshay	f5d8486d81	decoder/simple_power_isa: fix wires being used outside of the if they're declared in, also add TraceAsString	2026-06-02 00:50:17 -07:00
Jacob Lifshay	93e948115d	added test::decode_and_run_single_insn and tests/units_formal, the new test takes a long time to run so idk if it works Some checks failed / test (pull_request) Failing after 3m0s Details	2026-06-01 01:02:57 -07:00
Jacob Lifshay	29622be160	ExecuteToUnitInterface: add guarantee that if `unit_outputs_ready` is false, then `enqueue.data` is HdlNone	2026-05-31 20:30:59 -07:00
Jacob Lifshay	7fc205e583	ArrayVec::map: actually connect to all output elements	2026-05-29 01:31:29 -07:00
Jacob Lifshay	9cecc6aaa0	rename_execute_retire::MOpInstance: use FETCH_BLOCK_ID_WIDTH	2026-05-29 01:30:42 -07:00