A model for a universally testable logic element | IEEE Conference Publication | IEEE Xplore