Counterexamples in digital system verification, channel coding, and electro-neural interface design