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]
@article{LeeRMBM22,
title = {A Simulation-Guided Paradigm for Logic Synthesis and Verification},
author = {Siang-Yun Lee and Heinz Riener and Alan Mishchenko and Robert K. Brayton and Giovanni De Micheli},
year = {2022},
doi = {10.1109/TCAD.2021.3108704},
url = {https://doi.org/10.1109/TCAD.2021.3108704},
researchr = {https://researchr.org/publication/LeeRMBM22},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {41},
number = {8},
pages = {2573-2586},
}