+++
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