Micheli, Eleonora
52  results:
Search for persons X
?
6

Algebraic and Boolean Optimization Methods for AQFP Superco..:

, In: Proceedings of the 26th Asia and South Pacific Design Automation Conference,
Testa, Eleonora ; Lee, Siang-Yun ; Riener, Heinz. - p. 779-785 , 2021
 
?
7

A logic synthesis toolbox for reducing the multiplicative c..:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,
Testa, Eleonora ; Soeken, Mathias ; Riener, Heinz.. - p. 568-573 , 2020
 
?
9

SAT-sweeping enhanced for logic synthesis:

, In: Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference,
 
?
10

A Logic Synthesis Toolbox for Reducing the Multiplicative C..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Testa, Eleonora ; Soeken, Mathias ; Riener, Heinz.. - p. 568-573 , 2020
 
?
12

SAT-Sweeping Enhanced for Logic Synthesis:

, In: 2020 57th ACM/IEEE Design Automation Conference (DAC),
 
?
13

Multiplier architectures : challenges and opportunities ..:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,
 
?
14

Multiplier Architectures: Challenges and Opportunities with..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),
 
1-15