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)

Semi-Formal Test Generation with Genevieve. - Julia Dushina; Mike Benjamin; Daniel Geist (DAC, 2001)

Semi-Formal Test Generation for a Block of Industrial DSP. - Julia Dushina; Mike Benjamin; Daniel Geist (VTS, 2001)

Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application. - Julia Dushina; Mike Benjamin; Daniel Geist (ASP-DAC, 2003)