Specification-based compaction of directed tests for functional validation of pipelined processors