Felix Sheng-Ho Chang Alan J. Hu Fast Specification of Cycle-accurate Processor Models. 488-492 2001 conf/iccd/2001 ICCD db/conf/iccd/iccd2001.html#ChangH01