https://github.com/RobertBaruch/amaranth-exercises

https://github.com/RobertBaruch/amaranth-exercises

Last synced: 15 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/RobertBaruch/amaranth-exercises
• Owner: RobertBaruch
• Created: 2022-10-27T18:05:54.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-08-08T23:58:22.000Z (5 months ago)
• Last Synced: 2024-08-10T01:42:36.700Z (5 months ago)
• Language: Python
• Size: 1.5 MB
• Stars: 20
• Watchers: 4
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• amaranth-awesome - amaranth-exercises
• amaranth-awesome - amaranth-exercises

README

        
# Graded exercises for [Amaranth HDL](https://amaranth-lang.org/docs/amaranth/latest/intro.html)

Work in progress!

* [00 - Introduction](00_intro.md)

* [01 - Counting coin: basic concepts](01_input.md)

* [02 - The day after: more if, and switch-case](02_switch.md)

* [03 - Life finds a way: parts of signals](03_parts.md)

* [04 - Signs: signed signals](04_signs.md)

* [05 - Synchronicity: synchronous signals](05_sync.md)

* [06 - Living in the past: multi-step asserts](06_past.md)

* [07 - Prove it! Formal verification by induction](07_proof.md)