Towards Formal Evaluation and Verification of Probabilistic Design

Journal

International Conference on Computer- Aided Design (ICCAD)

Pages

340-347

Date Issued

2014-11

Author(s)

Nian-Ze Lee

Jie-Hong R. Jiang

DOI

10.1109/ICCAD.2014.7001372

URI

http://scholars.lib.ntu.edu.tw/handle/123456789/388881

Type

conference paper