Functional Verification Methodology of Chameleon Processor. - 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 (DAC, 1996)

A Study in Coverage-Driven Test Generation. - Mike Benjamin; Daniel Geist; Alan Hartman; Gérard Mas; Ralph Smeets; Yaron Wolfsthal (DAC, 1999)

Network-on-Chip: The Intelligence is in The Wire. - Gérard Mas; Philippe Martin 005 (ICCD, 2004)