[LJ18]
Nian-Ze Lee and Jie-Hong R. Jiang.
Towards Formal Evaluation and Verification of Probabilistic Design.
IEEE Transactions on Computers, 67(8), pages 1202-1216, IEEE.
2018.
[Uses PRISM as part of a framework to verify approximate and probabilistic designs for circuits.]
|
