Search for persons
X
?
Proceedings of the International Conference on Computer-Aided Design ,
11
Novel test detection to improve simulation efficiency : ..:
, In:
?
Proceedings of the 43rd annual Design Automation Conference ,
13
Early cutpoint insertion for high-level software vs. RTL fo..:
, In:
?
Proceedings of the 5th ACM international conference on Embedded software ,
14
Cutpoints for formal equivalence verification of embedded s..:
, In:
?
Proceedings of the 2005 Asia and South Pacific Design Automation Conference ,
15