Skip to main content

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.

Project details


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)

Uploaded Source

Built Distribution

frail-0.0.3-py3-none-any.whl (12.1 kB view details)

Uploaded Python 3

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

Hashes for frail-0.0.3.tar.gz
Algorithm Hash digest
SHA256 e425bf2f537dcaa9496d2a00ba553bf1ae9db539ba25490e14061521819113f5
MD5 e9d40ef0f1de00a5adfee6b58058533b
BLAKE2b-256 65ea293240af1271360fbbb28c2bb46256bca1acb2c0a6e411571ede0d7fd50d

See more details on using hashes here.

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

Hashes for frail-0.0.3-py3-none-any.whl
Algorithm Hash digest
SHA256 5a99c67bfb3ee6f3e5aee8eacf4bd495e7182cfffd11369f60f5ee5660a2f34e
MD5 661159806f8f382fbed3ad4827cc8072
BLAKE2b-256 93f90e6885ecf115934211499ee6f3636e894c7421f3c36507093cede7cab837

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page