Search for persons
X
?
Proceedings of the 2009 International Conference on Computer-Aided Design ,
1
First steps towards SAT-based formal analog verification:
, In:
?
Proceedings of the conference on Design, automation and test in Europe ,
2
WAVSTAN : waveform based variational static timing analy..:
, In:
?
Proceedings of the 43rd annual Design Automation Conference ,
3
Generation of yield-aware Pareto surfaces for hierarchical ..:
, In:
?
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design ,
4
Faster, parametric trajectory-based macromodels via localiz..:
, In:
?
Proceedings of the 42nd annual Design Automation Conference ,
5