Search for persons
X
?
Proceedings of the 26th Asia and South Pacific Design Automation Conference ,
4
Algebraic and Boolean Optimization Methods for AQFP Superco..:
, In:
?
Proceedings of the 23rd Conference on Design, Automation and Test in Europe ,
5
A logic synthesis toolbox for reducing the multiplicative c..:
, In:
?
Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference ,
7
SAT-sweeping enhanced for logic synthesis:
, In:
?
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
8
Multiplier Architectures: Challenges and Opportunities with..:
, In:
?
2020 57th ACM/IEEE Design Automation Conference (DAC) ,
9
SAT-Sweeping Enhanced for Logic Synthesis:
, In:
?
Proceedings of the 23rd Conference on Design, Automation and Test in Europe ,
10
Multiplier architectures : challenges and opportunities ..:
, In:
?
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
11
A Logic Synthesis Toolbox for Reducing the Multiplicative C..:
, In:
?
2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM) ,
12
A Hybrid Method for Spectral Translation Equivalent Boolean..:
, In:
?
Proceedings of the 56th Annual Design Automation Conference 2019 ,
13