Title :
PLATO: A Tool for Computation of Exact Signal Probabilities
Author_Institution :
J. W. Goethe University
Keywords :
Binary decision diagrams; Boolean functions; Circuit testing; Combinational circuits; Computational complexity; Computer science; Data structures; Electrical fault detection; Probabilistic logic; Signal detection;
Conference_Titel :
VLSI Design, 1993. Proceedings. The Sixth International Conference on
Print_ISBN :
0-8186-3180-5
DOI :
10.1109/ICVD.1993.669640
