Architectural timing verification of CMOS RISC processors | IBM Journals & Magazine | IEEE Xplore