search

YosysHQ / eqy

Equivalence checking with Yosys
https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Other
29 stars 5 forks source link

Add NERV tutorial #24

Closed Ravenslofty closed 1 year ago

Ravenslofty commented 1 year ago

This adds a tutorial for checking that making a change to NERV preserves correctness.