diff options
| author | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-09-19 00:54:08 +0000 |
|---|---|---|
| committer | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-09-19 00:54:08 +0000 |
| commit | a6fdaf10c24b5b01921b34b1d2cfc9ef3c23d50d (patch) | |
| tree | 52ad54ef5468d7755357dd0a2d513af94c3ea9b5 /future | |
| parent | 20a623794340113684dfeb5a7ff2e78f6a4d35f3 (diff) | |
| download | vericert-docs-a6fdaf10c24b5b01921b34b1d2cfc9ef3c23d50d.tar.gz vericert-docs-a6fdaf10c24b5b01921b34b1d2cfc9ef3c23d50d.zip | |
deploy: 8d74fffc72abb3cc20df691d9d40c73fbd1c0c27
Diffstat (limited to 'future')
| -rw-r--r-- | future/index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/future/index.html b/future/index.html index e79cf0b..0b5fa7e 100644 --- a/future/index.html +++ b/future/index.html @@ -9,7 +9,8 @@ Type Support # type support Memory Partitioning # memory"><meta property="og:type" content="article"><meta property="og:url" content="https://vericert.ymhg.org/future/"><title>Future Work |</title><link rel=manifest href=/manifest.json><link rel=icon href=/favicon.png type=image/x-icon><link rel=stylesheet href=/book.min.b07e338e07a9a926c141d155a3e6d06d0c41e4afe4d81564015c56799705b0ca.css integrity="sha256-sH4zjgepqSbBQdFVo+bQbQxB5K/k2BVkAVxWeZcFsMo="><script defer src=/en.search.min.09c4470fdacb71a68922c07311d906b9cd808586067883b11db52f10e30e96d4.js integrity="sha256-CcRHD9rLcaaJIsBzEdkGuc2AhYYGeIOxHbUvEOMOltQ="></script></head><body><input type=checkbox class="hidden toggle" id=menu-control> <input type=checkbox class="hidden toggle" id=toc-control><main class="container flex"><aside class=book-menu><nav><div class=book-brand><a href=/><div id=book-logo></div><span></span></a><p>A formally verified high-level synthesis tool written in Coq.</p></div><div class=book-search><input type=text id=book-search-input placeholder=Search aria-label=Search maxlength=64 data-hotkeys=s/><div class="book-search-spinner hidden"></div><ul id=book-search-results></ul></div><ul><li><a href=https://vericert.ymhg.org/coq-style-guide/>Coq Style Guide</a></li><li><a href=https://vericert.ymhg.org/docs/>Docs</a><ul><li><a href=https://vericert.ymhg.org/docs/building/>Building Vericert</a></li><li><a href=https://vericert.ymhg.org/docs/unreleased/>Unreleased Features</a></li><li><a href=https://vericert.ymhg.org/docs/using-vericert/>Using Vericert</a></li></ul></li><li><a href=https://vericert.ymhg.org/future/ class=active>Future Work</a></li></ul><ul><li><a href=https://github.com/ymherklotz/vericert target=_blank rel=noopener>Github</a></li></ul></nav><script>(function(){var menu=document.querySelector("aside.book-menu nav");addEventListener("beforeunload",function(event){localStorage.setItem("menu.scrollTop",menu.scrollTop);});menu.scrollTop=localStorage.getItem("menu.scrollTop");})();</script></aside><div class=book-page><header class=book-header><div class="flex align-center justify-between"><label for=menu-control><img src=/svg/menu.svg class=book-icon alt=Menu></label> <strong>Future Work</strong> -<label for=toc-control><img src=/svg/toc.svg class=book-icon alt="Table of Contents"></label></div><aside class="hidden clearfix"><nav id=TableOfContents><ul><li><ul><li><a href=#globals>Globals</a></li><li><a href=#type-support>Type Support</a></li><li><a href=#memory-partitioning>Memory Partitioning</a></li></ul></li></ul></nav></aside></header><h1>Future Work</h1><article class=markdown><p>This section contains future work that should be added to Vericert to make it into a better high-level synthesis tool.</p><p>The next interesting optimisations that should be looked at are the following:</p><ul><li><a href=#globals>Globals</a></li><li><a href=#type-support>Type Support</a></li><li><a href=#memory-partitioning>Memory Partitioning</a></li><li><a href=/docs/unreleased/#scheduling>Operation Chaining</a></li></ul><h2 id=globals>Globals +<label for=toc-control><img src=/svg/toc.svg class=book-icon alt="Table of Contents"></label></div><aside class="hidden clearfix"><nav id=TableOfContents><ul><li><ul><li><a href=#globals>Globals</a></li><li><a href=#type-support>Type Support</a></li><li><a href=#memory-partitioning>Memory Partitioning</a></li></ul></li></ul></nav></aside></header><h1>Future Work</h1><article class=markdown><p>This section contains future work that should be added to Vericert to make it into a better +high-level synthesis tool.</p><p>The next interesting optimisations that should be looked at are the following:</p><ul><li><a href=#globals>Globals</a></li><li><a href=#type-support>Type Support</a></li><li><a href=#memory-partitioning>Memory Partitioning</a></li><li><a href=/docs/unreleased/#scheduling>Operation Chaining</a></li></ul><h2 id=globals>Globals <a class=anchor href=#globals>#</a></h2><p>globals</p><h2 id=type-support>Type Support <a class=anchor href=#type-support>#</a></h2><p>type support</p><h2 id=memory-partitioning>Memory Partitioning <a class=anchor href=#memory-partitioning>#</a></h2><p>memory</p></article><footer class=book-footer><div class="flex flex-wrap justify-between"></div></footer><div class=book-comments></div><label for=menu-control class="hidden book-menu-overlay"></label></div><aside class=book-toc><nav id=TableOfContents><ul><li><ul><li><a href=#globals>Globals</a></li><li><a href=#type-support>Type Support</a></li><li><a href=#memory-partitioning>Memory Partitioning</a></li></ul></li></ul></nav></aside></main></body></html>
\ No newline at end of file |