Formalize Generative DSE

[0xfull]

Address questions:

• How to bound the search space?
• How to define library of resources?
• How to encode mapping options?

[lu-hub77]

Chapter "Generative Design Space Exploration" from presentation on the 14.12.2021.
slides.pdf

[lu-hub77]

Further notes from meeting at the 14.12.2021:

• Template-driven vs. completely free choice

• Template-driven: a 2-dim. NoC is set as architecture structure and only the positions of the processors are explored (5 processors could lead to a 1x5 / 2x3 / 3x2 / 5x1 - NoC)

• Completely free choice: Also network structure can be chosen (one router per processor vs. additional intermediate routers; single vs. multiple connections between routers)

• Use cases of multiple connections: Redundancy; Specialization of connections, e.g. for throughput or latency

• When having an upperBound problem could be solved iteratively (start with upperBound/2 and increase if unsatisfiable)

• sequential (+1) vs. binary (1/2, 1/4, ..)