Jen-Chieh Ou

According to our database1, Jen-Chieh Ou authored at least 2 papers between 2006 and 2007.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Reducing verification overhead with RTL slicing.
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

2006
HDL Program Slicing to Reduce Bounded Model Checking Search Overhead.
Proceedings of the 2006 IEEE International Test Conference, 2006


  Loading...