
376 Chapter 6 Multiprocessor Software
This section briefly considers system verification of multiprocessor software.
Verifying software is always a challenge, but verifying multiprocessor software
is harder than verifying uniprocessor software for several reasons:
■ The data of interest may be harder to observe and/or control.
■ It may be harder to drive certain parts of the system into desired states.
■ Timing effects are much harder to generate and test.
Software need not be entirely debugged on the target platform. Some aspects
of the software may be properly addressed on other types of machines. How-
ever, after any porting, the designer must carefully ...