Testable combinational circuit design based on ZDD-implementation of ISOP Boolean function. - Sergey Ostanin; R. Muchamedov (EWDTS, 2010)