Distilling Arbitration Logic from Traces using Machine Learning: A Case Study on NoC. - Yuan Zhou; Hanyu Wang 005; Jieming Yin; Zhiru Zhang (DAC, 2021)

Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. - Shubham Rai; Walter Lau Neto; Yukio Miyasaka; Xinpei Zhang; Mingfei Yu; Qingyang Yi; Masahiro Fujita; Guilherme B. Manske; Matheus F. Pontes; Leomar S. da Rosa; Marilton S. de Aguiar; Paulo F. Butzen; et al. (DATE, 2021)