Search for persons
X
?
Proceedings of the 36th International Conference on Computer-Aided Design ,
2
ICCAD-2017 CAD contest in resource-aware patch generation:
, In:
?
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design ,
3
ICCAD-2015 CAD Contest in Large-scale Equivalence Checking ..:
, In:
?
Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design ,
4
ICCAD-2014 CAD contest in simultaneous CNF encoder optimiza..:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
5
ICCAD-2013 CAD contest in technology mapping for macro bloc..:
, In:
?
Proceedings of the 16th Asia and South Pacific Design Automation Conference ,
6
SoC HW/SW verification and validation:
, In:
?
Proceedings of the 2009 International Conference on Computer-Aided Design ,
7
Interpolant generation without constructing resolution grap:
, In:
?
2007 7th International Conference on Power Electronics and Drive Systems ,
8
High Accuracy CMOS Current Sensing Circuit for Current Mode..:
, In:
?
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) ,
9
Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit ..:
, In:
?
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design ,
10
2022 CAD Contest Problem A : Learning Arithmetic Operati..:
, In:
?
Proceedings of the 39th International Conference on Computer-Aided Design ,
11
ICCAD-2020 CAD contest in X-value equivalence checking and ..:
, In:
?
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ,
12
2019 CAD Contest: Logic Regression on High Dimensional Bool..:
, In:
?
Proceedings of the 35th International Conference on Computer-Aided Design ,
13
ICCAD-2016 CAD contest in non-exact projective NPNP boolean..:
, In:
?
2024 36th International Symposium on Power Semiconductor Devices and ICs (ISPSD) ,
15