blob: 1c69eaa96e62eaba0f5813e4db1c73efe6254667 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
+++
title = "Verification of function calls in HTL"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c5"]
forwardlinks = ["1c9", "1c2c", "3c7", "3c6a"]
zettelid = "3c6"
+++
Verification of function calls is a move towards supporting verified
resource sharing ([\#1c9]), because one can use a proper function call
to hide the hardware duplication. The main problem is also supporting
pipelining ([\#1c2c]) of such functions, which would meant that they
have the ability to execute in parallel.
[\#1c9]: /zettel/1c9
[\#1c2c]: /zettel/1c2c
|
