Search for persons
X
?
Proceedings of the 35th annual Design Automation Conference ,
1
Making complex timing relationships readable : Presburge..:
, In:
?
Proceedings of the 34th annual Design Automation Conference ,
2
Symbolic timing verification of timing diagrams using Presb..:
, In:
?
Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design ,
4
Practical applications of an efficient time separation of e..:
, In:
?
Proceedings of the 28th ACM/IEEE Design Automation Conference ,
5
Sizing synchronization queues : a case study in higher l..:
, In:
?
Proceedings of the 28th ACM/IEEE Design Automation Conference ,
6