Mike Bartley

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

Mike Bartley, Darren Galpin, Tim Blackmore
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. DAC (2002)
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. DAC (1996)