2 papers
cs.LO2024
Practical Boolean Decomposition for Delay-driven LUT Mapping
Alessandro Tempia Calvino, Alan Mishchenko, Giovanni De Micheli +1
Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware d…
cs.LO2023
Scalable Sequential Optimization Under Observability Don't Cares
Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto +3
Sequential logic synthesis can provide better Power-Performance-Area (PPA) than combinational logic synthesis since it explores a larger solution space. As the gate cost in advance…