In reply to birdluo:
This is the art of verification. One does not exhaustively test a multiplier with every possible input because we now have confidence in synthesis tools to implement it correctly. But we need to check its boundary conditions to make sure the multiplier has been specified correctly.
If you have a design where you feel it needs to be tested exhaustively, then you may want to look at formal or acceleration technologies.