Search for persons
X
?
Proceedings of the International Conference on Formal Methods in Computer-Aided Design ,
11
Hybrid verification of a hardware modular reduction engine:
, In:
?
Proceedings of the 42nd annual Design Automation Conference ,
12
Exploiting suspected redundancy without proving it:
, In:
?
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2 ,
13