Françoise Casaubieilh Anthony McIsaac Mike Benjamin Mike Bartley François Pogodalla Frédéric Rocheteau Mohamed Belhadj Jeremy Eggleton Gérard Mas Geoff Barrett Christian Berthet Functional Verification Methodology of Chameleon Processor. 421-426 1996 DAC http://doi.acm.org/10.1145/240518.240599 db/conf/dac/dac96.html#CasaubieilhMBBPRBEMBB96