|Software verification question email@example.com (jeng) (1998-09-18)|
|Date:||18 Sep 1998 23:18:25 -0400|
|Organization:||Chung Cheng Institute of Technology, Taiwan|
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
My question follows:
How can we verify individually that these system software are 100% correct?
Is there any good suggestion to solve this problem?
[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.
Return to the
Search the comp.compilers archives again.