Personensuche
X
?
Proceedings of the 46th Annual Design Automation Conference ,
4
Beyond verification : leveraging formal for debugging:
, In:
?
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design ,
5
Session details: Applications of SAT and QBF:
, In:
?
Proceedings of the conference on Design, automation and test in Europe ,
6
Using combinational verification for sequential circuits:
, In:
?
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design ,
7
On the optimization power of retiming and resynthesis trans..:
, In:
?
Proceedings of the 33rd annual Design Automation Conference ,
8