* ~~Finish off circuit descriptions~~
      + ~~CPU specially~~

  * Choose code fragments for EDSL analysis
      + ~~Lava~~
      + ~~ForSyDe~~
      + Coquet
          - ~~Circuit datatype~~
          - Meaning relation
          - Specification: Realises, Implements

          - ~~Adders~~

  * Analyze each EDSL by using the mode samples
      + Introduce each EDSL briefly
          - ~~Lava~~
          - ~~ForSyDe~~
          - ~~Coquet~~
              - Coq
      + Comment with help of the model samples

  * Introduction
      + ~~Motivation~~
      + ~~Goals of the project~~

  * ~~Present summarized comparison at results section~~

  * Future work as in the report