Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans
Project description
Functional Recurrence-based Affine Indexing Language
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.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
frail-0.0.3.tar.gz
(9.3 kB
view details)
Built Distribution
frail-0.0.3-py3-none-any.whl
(12.1 kB
view details)
File details
Details for the file frail-0.0.3.tar.gz.
File metadata
- Download URL: frail-0.0.3.tar.gz
- Upload date:
- Size: 9.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.24.0 setuptools/50.3.0.post20201103 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.8.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e425bf2f537dcaa9496d2a00ba553bf1ae9db539ba25490e14061521819113f5 |
|
| MD5 | e9d40ef0f1de00a5adfee6b58058533b |
|
| BLAKE2b-256 | 65ea293240af1271360fbbb28c2bb46256bca1acb2c0a6e411571ede0d7fd50d |
File details
Details for the file frail-0.0.3-py3-none-any.whl.
File metadata
- Download URL: frail-0.0.3-py3-none-any.whl
- Upload date:
- Size: 12.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.24.0 setuptools/50.3.0.post20201103 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.8.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 5a99c67bfb3ee6f3e5aee8eacf4bd495e7182cfffd11369f60f5ee5660a2f34e |
|
| MD5 | 661159806f8f382fbed3ad4827cc8072 |
|
| BLAKE2b-256 | 93f90e6885ecf115934211499ee6f3636e894c7421f3c36507093cede7cab837 |
