According to our database1, Mike Benjamin authored at least 5 papers between 1996 and 2003.
Legend:Book In proceedings Article PhD thesis Other
Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003
Semi-Formal Test Generation for a Block of Industrial DSP.
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.
Proceedings of the 38th Design Automation Conference, 2001
A Study in Coverage-Driven Test Generation.
Proceedings of the 36th Conference on Design Automation, 1999
Functional Verification Methodology of Chameleon Processor.
Proceedings of the 33st Conference on Design Automation, 1996