Mike Benjamin

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2003
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

2001
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

1999
A Study in Coverage-Driven Test Generation.
Proceedings of the 36th Conference on Design Automation, 1999

1996
Functional Verification Methodology of Chameleon Processor.
Proceedings of the 33st Conference on Design Automation, 1996


  Loading...