[LJ14]
Nian-Ze Lee and Jie-Hong R. Jiang.
Towards formal evaluation and verification of probabilistic design.
In Proc. 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD'14).
2014.
[Uses PRISM as part of a framework to verify approximate and probabilistic designs for circuits.]
|
