From 45183ec019f667d5333cdda334eebacbdd508bc1 Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Sun, 19 Sep 2021 16:48:27 +0000 Subject: deploy: 79ac5829c25b966214b33e28198eaa279ffe7f15 --- docs/unreleased/index.html | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) (limited to 'docs/unreleased') diff --git a/docs/unreleased/index.html b/docs/unreleased/index.html index c3ec67a..6e0b068 100644 --- a/docs/unreleased/index.html +++ b/docs/unreleased/index.html @@ -1,14 +1,18 @@ Unreleased Features | -
+ scheduling, operation chaining, if-conversion, and functions. This page gives some preliminary information on how the features are implemented and how the proofs for the features are being done. Once these features are properly implemented, they will be added to the proper documentation.">Unreleased Features | Vericert +
Unreleased Features -

Unreleased Features

The following are unreleased features in Vericert that are currently being worked on and have not -been completely proven correct yet. Currently this includes features such as:

This page gives some preliminary information on how the features are implemented and how the proofs +

Unreleased Features

The following are unreleased features in Vericert that are currently being worked on and have not +been completely proven correct yet. Currently this includes features such as:

This page gives some preliminary information on how the features are implemented and how the proofs for the features are being done. Once these features are properly implemented, they will be added to the proper documentation.

Scheduling -#

Scheduling is an optimisation which is used to run

Operation Chaining -#

Scheduling is an optimisation which is used to run

If-conversion -#

If-conversion

Loop pipelining -#

Loop pipelining

Functions -#

Functions.

\ No newline at end of file +#

Scheduling is an optimisation which is used to run various instructions in parallel that are +independent to each other.

Operation Chaining +#

Operation chaining is an optimisation that can be added on to scheduling and allows for the +sequential execution of instructions in a clock cycle, while executing other instructions in +parallel in the same clock cycle.

If-conversion +#

If-conversion is an optimisation which can turn code with simple control flow into a single block +(called a hyper-block), using predicated instructions.

Functions +#

Functions are currently only inlined in Vericert, however, we are working on a proper interface to +integrate function calls into the hardware.

\ No newline at end of file -- cgit