Graded exercises for Amaranth HDL

Work in progress!

• 00 - Introduction
• 01 - Counting coin: basic concepts
• 02 - The day after: more if, and switch-case
• 03 - Life finds a way: parts of signals
• 04 - Signs: signed signals
• 05 - Synchronicity: synchronous signals
• 06 - Living in the past: multi-step asserts
• 07 - Prove it! Formal verification by induction

Kosmos

Python virtual environment

Detailed setup: follow this link

Manual setup:

python -m venv --upgrade-deps --prompt Amaranth-Exercises .venv
. ./.venv/bin/activate
pip install -r requirements.txt

PyCharm IDE

After running above commands, open PyCharm, and set the Python interpreter to the one in the virtual environment.
It should be named Amaranth-Exercises and located in the project directory.