Towards formal evaluation and verification of probabilistic design

Published in ICCAD, 2014

Nian-Ze Lee and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 340-347. IEEE, 2014. https://doi.org/10.1109/ICCAD.2014.7001372