Towards formal evaluation and verification of probabilistic design.

Nian-Ze Lee, Jie-Hong R. Jiang

Browse the full ICCAD paper archive.