is a digital logic simulator and educational tool used to design, test, and explore digital circuits.