asm/disasm can help to find typos in listings, they can help to find xrefs or even to do some static analysis to check for mistake classes they knew they could make. It wouldn't replace any of the manual work they've done, but still it can add some confidence on top of it. Maybe they wouldn't end with priors 50/50 for the success, but with something like 90/10.
Strange. Do I underestimate the complexity of writing an asm and disasm pair?
Writing an assembler for a bespoke CPU is one thing, many of us have done it as a toy project, but stakes are a bit different here. You'd have to mathematically prove your assembler and disassembler are absolutely 100% correct. When your only working model is utterly irreplaceable and irrecoverable upon error, it probably takes a lot more resources to develop.
Yes, I have strong reason you underestimate the complexity here.
thadk•3d ago
metalman•1d ago
RamRodification•2h ago