I don't have the citation to-hand, but part of SAGE's development cycle was a emulator/simulator on which tests were run. It was reported as being a reasonably

I don't have the citation to-hand, but part of SAGE's development cycle was a emulator/simulator on which tests were run. It was reported as being a reasonably effective debugging mechanism.