Andrea Costamagna

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Boolean Functions

Bi Decomposition

Read Once Formulas

Prime Implicants

Top Venues

Publications

Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli
An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. ISCAS (2024)
Andrea Costamagna, Giovanni De Micheli
Accuracy recovery: A decomposition procedure for the synthesis of partially-specified Boolean functions. Integr. 89 (2023)
Andrea Costamagna, Giovanni De Micheli
Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition. PRIME (2022)