Alessandro Tempia Calvino

According to our database, Alessandro Tempia Calvino authored at least 16 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Practical Boolean Decomposition for Delay-driven LUT Mapping.

Alessandro Tempia Calvino, Alan Mishchenko, Giovanni De Micheli, Robert K. Brayton

CoRR, 2024

Scalable Logic Rewriting Using Don't Cares.

Alessandro Tempia Calvino, Giovanni De Micheli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Technology-Aware Logic Synthesis for Superconducting Electronics.

Rassul Bairamkulov, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Mingfei Yu, Giovanni De Micheli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Late Breaking Results: Majority-Inverter Graph Minimization by Design Space Exploration.

Siang-Yun Lee, Alessandro Tempia Calvino, Heinz Riener, Giovanni De Micheli

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

In Medio Stat Virtus*: Combining Boolean and Pattern Matching.

Gianluca Radi, Alessandro Tempia Calvino, Giovanni De Micheli

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

Algebraic and Boolean Methods for SFQ Superconducting Circuits.

Alessandro Tempia Calvino, Giovanni De Micheli

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

Utilizing XMG-Based Synthesis to Preserve Self-Duality for RFET-Based Circuits.

Shubham Rai, Alessandro Tempia Calvino, Heinz Riener, Giovanni De Micheli, Akash Kumar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2023

Synthesis of SFQ Circuits with Compound Gates.

Rassul Bairamkulov, Alessandro Tempia Calvino, Giovanni De Micheli

Proceedings of the 31st IFIP/IEEE International Conference on Very Large Scale Integration, 2023

Technology Mapping Using Multi-Output Library Cells.

Alessandro Tempia Calvino, Giovanni De Micheli

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Improving Standard-Cell Design Flow using Factored Form Optimization.

Alessandro Tempia Calvino, Alan Mishchenko, Herman Schmit, Ethan Mahintorabi, Giovanni De Micheli, Xiaoqing Xu

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits.

Alessandro Tempia Calvino, Giovanni De Micheli

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Dependency Graphs to Boost the Verification of SysML Models.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the Model-Driven Engineering and Software Development, 2022

SysML Models Verification Relying on Dependency Graphs.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Majority-based Design Flow for AQFP Superconducting Family.

Giulia Meuli, Vinicius N. Possani, Rajinder Singh, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Patrick Vuillod, Luca G. Amarù, Scott Chase, Jamil Kawa, Giovanni De Micheli

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

A Versatile Mapping Approach for Technology Mapping and Graph Optimization.

Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar, Giovanni De Micheli

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2021

Direct Model-checking of SysML Models.

Alessandro Tempia Calvino, Ludovic Apvrille

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021