Sandip Kundu
IEICE Transactions on Information and Systems
In this paper we introduce a new class of binary graphs called Binary Parity Diagrams (BPDs). Ordered Binary Parity Diagram of a function is canonical. Importance of canonical forms in circuit verification is well known. Circuits derived on the basis of these diagrams are multifault testable. In this paper we focus on multifault testability property.
Sandip Kundu
IEICE Transactions on Information and Systems
D. Brand, R. Damiano, et al.
ICCD 1994
Sandip Kundu, Sudhakar M. Reddy, et al.
ICCAD 1987
Lishing Liu
ICCD 1994