Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Mike Bartley

dblp:50/2020 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2002
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Electronic design automation · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › hardware verification and test
hardware verification		 0.012002
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking · DAC 2002
Electronic design automation › hardware verification and test › hardware verification
property checking		 0.012002
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking · DAC 2002
Electronic design automation › hardware verification and test › random testing
pseudorandom testing		 0.012002
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking · DAC 2002
Electronic design automation › hardware verification and test
functional verification		 0.011996
Functional Verification Methodology of Chameleon Processor · DAC 1996
Electronic design automation
hardware verification and test		 0.011996
Functional Verification Methodology of Chameleon Processor · DAC 1996

Methods — techniques the papers use, named apart from their topics

specman · 0.0gateprop · 0.0VHDL bus functional models · 0.0functional verification · 0.0
YearPublicationVenuePosition
2002 A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
abstract
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bristol was introducing pseudo-random testing (using Specman) and property checking (using GateProp) into their verification flows and thus provides a good opportunity to compare these two techniques with the existing strategy of directed testing using VHDL bus functional models.
Mike Bartley, Darren Galpin, Tim Blackmore
 DAC1
1996 Functional Verification Methodology of Chameleon Processor
abstract
Article Functional verification methodology of Chameleon processor Share on Authors: Françoise Casaubieilh Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Anthony McIsaac Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Mike Benjamin Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Mike Bartley Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , François Pogodalla Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Frédéric Rocheteau Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Mohamed Belhadj Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Jeremy Eggleton Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Gérard Mas Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Geoff Barrett Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile , Christian Berthet Chameleon Programme, SGS-THOMSON Microelectronics Chameleon Programme, SGS-THOMSON MicroelectronicsView Profile Authors Info & Claims DAC '96: Proceedings of the 33rd annual Design Automation ConferenceJune 1996 Pages 421–426https://doi.org/10.1145/240518.240599Online:01 June 1996Publication History 23citation408DownloadsMetricsTotal Citations23Total Downloads408Last 12 Months5Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
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
 DAC4