🚧 in the darkest depths of backlog

Core Concepts

Logic Gates
Latch
Flip-Flop

Multiplexer
Adder

Combinatorial Logic
Sequential Logic

Tools

Formal Verification
Static Timing Analysis
Verilog

SAT and SMT Solver