Testing multiple stuck-at faults of ROBDD based combinational circuit design | IEEE Conference Publication | IEEE Xplore