Software verification question

Suppose we have a brand new chip which has no OS on it.
Suppose we also decide to develop all the system software by ourselves.
Suppose we also have finished the development of linker, loader, assembler
and compiler.
My question follows:


How can we verify individually that these system software are 100% correct?
Is there any good suggestion to solve this problem?


David
jeng@cc04.ccit.edu.tw
[The usual approach is to debug it under a simulator running on some other
computer. Particularly if the host computer has similar data formats to
your target, a simulator can be quite fast. This isn't a new technique --
in the early 1960s IBM debugged 360 software on simulators running on 7094s.
-John]
--

Return to the comp.compilers page.
Search the comp.compilers archives again.