Mike Benjamin

According to our database, Mike Benjamin authored at least 5 papers between 1996 and 2003.

Collaborative distances:

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

2003

Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application.

Julia Dushina, Mike Benjamin, Daniel Geist

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2001

Semi-Formal Test Generation for a Block of Industrial DSP.

Julia Dushina, Mike Benjamin, Daniel Geist

Proceedings of the 19th IEEE VLSI Test Symposium (VTS 2001), Test and Diagnosis in a Nanometric World, 29 April, 2001

Semi-Formal Test Generation with Genevieve.

Julia Dushina, Mike Benjamin, Daniel Geist

Proceedings of the 38th Design Automation Conference, 2001

1999

A Study in Coverage-Driven Test Generation.

Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal

Proceedings of the 36th Conference on Design Automation, 1999

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