The workshop

The tests, accuracy word by word, and the decisions.

• The testsWhat make test checks: the processor oracle, about thirty reference screenshots by fingerprint, the differential with the official emulator, and co-simulation.
• Accuracy, word by wordComponent by component, what is exact by construction, measured or only modelled: processor, API, video, sound, files, serial, and the unmodelled list.
• The decisionsTwo architecture decisions of Phosphoneo: link the code of firmware/common as is (ADR-01), and save the firmware's state between two link boundaries (ADR-02).