The simulations should succeed. Harness runs for 500 cycles until it decides that it has tested the multiplier enough. The simulation generates a database of waveforms in waves.shm. You can view this database on any platform, and for any input language using the simwaves program:
simwave&
When the window comes up, do:
And select the waves directory, and hit OK.
This is a hierarchical signal name browser. Find and add: a, b, c, valid, and clock.
Do this a couple of times so that you can see at least ten cycles. Make sure that the left side of the display shows time == 0. The first rising edge of valid must be visible.
Generate a PostScript file of the current view. Print this out and turn it in.