Design of robustly testable static CMOS parity trees derived from binary decision diagrams | IEEE Conference Publication | IEEE Xplore