Computer Science, Logic in Computer Science Efficient Simulation-Based Logic Synthesis with STP and SAT-Sweeping December 1, 2023
Computer Science, Hardware Architecture Optimizing Cost Functions for Logic Synthesis with AnySyn November 19, 2023