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