1. Can programming be liberated from the von Neumann style?
2. ABC Berkeley. 2009. A system for sequential synthesis and verification. ABC Berkeley. 2009. A system for sequential synthesis and verification.
3. Debjyoti Bhattacharjee et al. 2020. CONTRA: area-constrained technology mapping framework for memristive memory processing unit . In ICCAD'20 . 1--9. Debjyoti Bhattacharjee et al. 2020. CONTRA: area-constrained technology mapping framework for memristive memory processing unit. In ICCAD'20. 1--9.
4. Dwaipayan Chakraborty et al. 2017. Automated synthesis of compact crossbars for sneak-path based in-memory computing. In DATE'17. IEEE 770--775. Dwaipayan Chakraborty et al. 2017. Automated synthesis of compact crossbars for sneak-path based in-memory computing. In DATE'17. IEEE 770--775.
5. IBM ILOG Cplex . 2020. IBM ILOG CPLEX Optimization Studio 20.1 . International Business Machines Corporation ( 2020 ). https://www.ibm.com/products/ilog-cplex-optimization-studio IBM ILOG Cplex. 2020. IBM ILOG CPLEX Optimization Studio 20.1. International Business Machines Corporation (2020). https://www.ibm.com/products/ilog-cplex-optimization-studio