blob: f117e1b9f0c4dea2cc41d9246133159cd9a57ded (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
+++
title = "Some assumptions that were made"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3"]
forwardlinks = ["3c5"]
zettelid = "3c4"
+++
Currently, the assumption is made that only the reset value is used in
the module from the inputs. In addition to that, the clock is never used
either, and it is assumed that all the always blocks in the code are
`always_ff` with a `posedge clk`. All the other assumptions that are
valid for the semantics paper are also applicable to our subset.
Finally, the assumption is made that all the variables are initialised
to 0, because undefined is currently not supported. This is a severe
limitation and should probably be supported at some point.
Currently `values` cannot be undefined, therefore, at the moment when a
register is uninitialised, it is assumed to be 0.
|
