Divide and conquer approach to functional verification of PowerPC/sup TM/ microprocessors | IEEE Conference Publication | IEEE Xplore