Mike Bartley

According to our database, Mike Bartley authored at least 2 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

A comparison of three verification techniques: directed testing, pseudo-random testing and property checking.

Mike Bartley, Darren Galpin, Tim Blackmore

Proceedings of the 39th Design Automation Conference, 2002

1996

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

Proceedings of the 33st Conference on Design Automation, 1996