Machine Learning + Logic Synthesis (II)
This is the topic of the IWLS 2021 Programming Contest. 
Projects
(view by tags)
Compatible Equivalence Checking of X-valued Circuits
The project originated from the problem A of the ICCAD 2020 CAD Contest. 
Machine Learning + Logic Synthesis
This is the topic of the IWLS 2020 Programming Contest. 
Time Multiplexing via Circuit Folding
The related paper was accepted by DAC 2020. 
Time-Frame Folding: Back to the Sequentiality
The related paper was accepted by ICCAD 2019. 
Formosa Grand Challenge “Talking with AI”
This is a nationwide ML competition hosted by Taiwan Ministry of Science and Technology.
Deep Neural Network using Stochastic Computing
This is one of my undergraduate course project. 