Text this: Self-checking and fault-tolerant digital design/