An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications.

Siang-Yun LeeHeinz RienerGiovanni De Micheli
Published in: CoRR (2022)