Testable combinational circuit design based on free ZDD-implementation of irredundant SOPof Boolean function | IEEE Conference Publication | IEEE Xplore