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