Skip to content

DIVD Tests

Latest

Choose a tag to compare

@tlindner tlindner released this 02 Mar 17:37
· 2 commits to main since this release

These disk images contain randomized data to test the 6309's DIVD instruction.

They are from the project:
https://github.com/tlindner/Fuzz6309

The TEST program has already been run. Using a 6309 CoCo 3, I already created the results disk.

The purpose of these files is to load into an emulator and run the CHECK program. This will test the emulated DIVD instruction against results from a real 6309.

Each track from the test disk contains 1,152 (256 / 4 * 18) tests.
There are 32 track of test data. 35 tracks on a disk, one directory track, one program track.
Each disk contains 36,864 (32 * 1,152) tests.
There are 6 sets of disks, with a total count of 221,184 (36,864 * 6) tests.

The problem domain for DIVD is 29 bits. That means there a 536,870,912 (2^29) different inputs for DIVD.

That means this set of disks covers 0.0412% of the problem space.

tim lindner
March 2, 2024.