Amad Ul Hassen, Brigadesh Chandrasekar, Sumit Kumar Jha. Automated synthesis of stochastic computational elements using decision procedures. In IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016. pages 1678-1681, IEEE, 2016. [doi]
Abstract is missing.