Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli. A Simulation-Guided Paradigm for Logic Synthesis and Verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(8):2573-2586, 2022. [doi]
Abstract is missing.