Express multiple hardware implementations of the same affine indexing generator with recurrence relations. Then prove that the implementations equivalence! A mix of scans (from functional programming) and SMT make this all possible.
Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans
License
David-Durst/frail
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published