diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-01-04 23:49:59 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-04 23:49:59 +0000 |
commit | 66efa4b7893105c5ddcf71d827ade9f34882397a (patch) | |
tree | aff09870b52f324f09491caff3c867583f882e3d | |
parent | 33d1af18fa9eda8a22f37ffb40f40768241fbeb3 (diff) | |
download | vericert-docs-66efa4b7893105c5ddcf71d827ade9f34882397a.tar.gz vericert-docs-66efa4b7893105c5ddcf71d827ade9f34882397a.zip |
Try updating link
-rw-r--r-- | documentation.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation.org b/documentation.org index 2812d9f..f6ed812 100644 --- a/documentation.org +++ b/documentation.org @@ -31,11 +31,11 @@ have all been proven correct, providing a verified translation from C to Verilog ** Papers - OOPSLA '21 :: Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. Formal - Verification of High-Level Synthesis. In /Proc. ACM Program. Lang./ 5, OOPSLA, 2021. [[[./static/papers/fvhls_oopsla21.pdf][pdf]]] + Verification of High-Level Synthesis. In /Proc. ACM Program. Lang./ 5, OOPSLA, 2021. [ [[./static/papers/fvhls_oopsla21.pdf][pdf]] ] - LATTE '21 :: Yann Herklotz and John Wickerson. High-level synthesis tools should be proven correct. In /Workshop on Languages, Tools, and Techniques for Accelerator - Design/, 2021. [[[./static/papers/hlsspc_latte2021.pdf][pdf]]] + Design/, 2021. [ [[./static/papers/hlsspc_latte2021.pdf][pdf]] ] ** Mailing lists |