From 95bb2fda796ca17ad9cbb213dd15690ef6346c35 Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Fri, 2 Apr 2021 12:57:22 +0000 Subject: deploy: f85153b7335ebf99ab6bf6e696b5a08fef38b61b --- future/index.html | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 future/index.html (limited to 'future') diff --git a/future/index.html b/future/index.html new file mode 100644 index 0000000..e79cf0b --- /dev/null +++ b/future/index.html @@ -0,0 +1,15 @@ +Future Work | +
+Future Work +

Future Work

This section contains future work that should be added to Vericert to make it into a better high-level synthesis tool.

The next interesting optimisations that should be looked at are the following:

Globals +#

globals

Type Support +#

type support

Memory Partitioning +#

memory

\ No newline at end of file -- cgit