diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 17:06:06 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 17:06:06 +0000 |
commit | 1f0a32fc6d617ba59c0793c5999332ec9e2f1975 (patch) | |
tree | e1dc68ac49d417719f2919b8af7bb0bdd76441f3 /draft.org | |
parent | cd3dcfdfe35f04449e5e06871640f7b5c6755c74 (diff) | |
download | latte21_hlstpc-1f0a32fc6d617ba59c0793c5999332ec9e2f1975.tar.gz latte21_hlstpc-1f0a32fc6d617ba59c0793c5999332ec9e2f1975.zip |
Fix abstract
Diffstat (limited to 'draft.org')
-rw-r--r-- | draft.org | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -27,3 +27,11 @@ - ramp up more about the future. - formally verifying other algorithms + +TODO: +- move second part of first paragraph. +- add to intro what this document is +- last paragraph more like last part of abstract (To that end we have made one.) +- Separate second point into are already reliable and existing testing techniques are enough. +- Most hardware designs start in C. +- First John bacceses fortran compiler. |