On the Generation of Functional Test Programs for the Cache Replacement Logic