Digital circuits are widely utilized in computers, because they provide models for various digital components and arithmetic operations.
I work on formal verification of arithmetic circuits, combining computer algebra with SAT solving for word-level reasoning.