Automated synthesis of stochastic computational elements using decision procedures. - Amad Ul Hassen; Brigadesh Chandrasekar; Sumit Kumar Jha 001 (ISCAS, 2016)