Overview issue for multi-level synthesis
Thesis at https://research.tue.nl/files/138331698/20191122_Goorden.pdf
It seems to be Chapter 4.
And the technical paper is at https://ieeexplore.ieee.org/abstract/document/8759973 .
Parts that it contains:
-
Rewriting event controllability (in #308 (closed)) -
Removing unused algebraic variables (in #320 (closed)) -
Performing DSM analysis (in #344 (closed)) -
Converting CIF for DSM (Design Structure Matrix) analysis (in #368) -
Constructing subsets of plant automata (in #319) -
Running data synthesis for parts -
And eventually thus "multi level synthesis".
EDIT: Updated the list and changed the order such that items near the top are dependencies for items further down in the list.