Graded exercises for nMigen

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