synthesis.html 4.64 KB
Newer Older
1
2
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
Simon Barner's avatar
GREEN    
Simon Barner committed
3
	<head>
4
5
6
7
8
9
10
11
		<script src='https://code.jquery.com/jquery-1.11.0.min.js'></script>
		<script src="../layout/jsscript/navBarReplacer.js"></script>
		<script>
			// THE FOLLOWING CONSTANT NEEDS TO BE ADJUSTED ACCORDING TO THE PLACE/PATH OF THIS PAGE!
			const pathToTop = ".."; // e.g. if this page is on top level: "." or if it is in two sub-folders: "../.."
			$.get(pathToTop + "/templates/navBarContent.html", function(data){loadNavigationBarWithReplacements(data, pathToTop);});
		</script>
		
Simon Barner's avatar
GREEN    
Simon Barner committed
12
13
		<meta http-equiv="content-type" content="text/html; charset=windows-1252"/>
		<link rel="stylesheet" type="text/css" href="../layout/stylesheet.css"/>
Simon Barner's avatar
Simon Barner committed
14
		<title>Synthesis</title>
Simon Barner's avatar
GREEN    
Simon Barner committed
15
16
17
18
19
	</head>
	<body>
		<div class="header">
			<div class="box">
				<div class="navbar">
20
					<div id="navBarPlaceholder"></div>
Simon Barner's avatar
GREEN    
Simon Barner committed
21
22
23
24
25
				</div>
			</div>
		</div>

		<div class="box">
Simon Barner's avatar
Simon Barner committed
26
			<h1>Synthesis Page Overview</h1>
Simon Barner's avatar
GREEN    
Simon Barner committed
27
			<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
Simon Barner's avatar
Simon Barner committed
28
29
30
			<p> The <b>Synthesis</b> page is your starting point for the different synthesis types supported by
			    AutoFOCUS3. Therefore, it allows to select constraints and objectives to define the design
			    space and optimization goals that can be launched from this view.
Simon Barner's avatar
GREEN    
Simon Barner committed
31
			</p>
Simon Barner's avatar
Simon Barner committed
32
			<p>
Simon Barner's avatar
Typo    
Simon Barner committed
33
			    For a documentation of constraints or objectives, we refer to the documentation of the
Simon Barner's avatar
Simon Barner committed
34
35
			    respective synthesis type.
			</p> 
Simon Barner's avatar
GREEN    
Simon Barner committed
36
37
38
39
40
41
42
43
44
45
46
47
48
49

			<h2>1. Selecting a Synthesis Type</h2>
			<img src="pictures/synthesis_selection.svg" alt="" title="Synthesis Type Selection" style="width: 1098px; height: 600px;"/>
			<p>First, a synthesis type such as deployment (of tasks onto
				execution units) or (task) scheduling is selected at the top of the view.
				Afterwards, the constraints and objectives that are applicable for the
				selected synthesis types become visible. If multiple synthesis types are
				selected, the selected solver performs a joint synthesis.
			</p>


			<h2>2. Creating Rule Sets</h2>
			<img src="pictures/synthesis_creating_rulesets.svg" alt="" title="Creating RuleSets" style="width: 1101px; height: 600px;"/>

Simon Barner's avatar
Simon Barner committed
50
51
			<p>Before a synthesis is launched, a so-called rule sets has to be created
			    that group constraints and objectives.
Simon Barner's avatar
GREEN    
Simon Barner committed
52
				For instance, constraints on the allocation of tasks to execution units
Simon Barner's avatar
Simon Barner committed
53
				can be grouped together (for later reuse).
Simon Barner's avatar
GREEN    
Simon Barner committed
54
55
56
			</p>
			<p>To create a rule set, the constraints or objectives
				constituting a rule set must be selected in the left-hand tables. Then,
Simon Barner's avatar
Simon Barner committed
57
				the <i>Create Rule Set</i> button must be pressed to create one and let it
Simon Barner's avatar
GREEN    
Simon Barner committed
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
				appear in the corresponding table on the right-hand side. There, it can be
				renamed to carry an expressive name.
			</p>

			<h2>3. Launching a Synthesis</h2>
			<p>Two different exploration types to perform a synthesis are supported: A
				constraint-satisfying synthesis and an optimizing one that optimizes the
				system towards the selected design goals (i.e., objectives).
			</p>

			<img src="pictures/synthesis_start_constraints.svg" alt="" title="Start a Synthesis Considering Constraints" style="width: 1100px; height: 600px;"/>

			<p>
				A constraint-satisfying synthesis is started by selecting rules sets from
				the table in the blue box. In the green box, a solver must be selected
				that actually performs the synthesis. By clicking the button "Configure",
				the solver can be configured and termination criteria such as timeouts can
				be defined (see below). By clicking "Check Feasibility", a
				constraint-satisfying synthesis is launched.
			</p>
			<img src="pictures/synthesis_settings_dialog.svg" alt="" title="Solver Settings Dialog"/>

			<p>
				To launch an optimizing synthesis, similar steps apply that are described in the following.
			</p>

			<img src="pictures/synthesis_start_optimization.svg" alt="" title="Launch an Optimizing Synthesis" style="width: 1168px; height: 600px;"/>

			<p>
				In order to define the design space and goals for an
				optimizing, rule sets from both tables that are surrounded by the blue box
				must be selected. Again, a solver must be selected that can also be
Simon Barner's avatar
Simon Barner committed
90
				configured (green box). By clicking <i>Optimize</i>, the optimizing synthesis
Simon Barner's avatar
GREEN    
Simon Barner committed
91
92
93
94
95
96
97
98
99
100
101
102
103
104
				is launched.
			</p>
		</div>

		<script src="../layout/jsscript/topBtn.js"></script>
		<script src="../layout/jsscript/submenuScript.js"></script>
		<div class="footer">
			<p>
				&copy; 2020 <a href="https://www.fortiss.org/">fortiss GmbH</a> &nbsp;&nbsp;&bull;&nbsp;&nbsp;
				<a href="https://www.fortiss.org/en/publications/software/autofocus-3#c2007">Contact</a>&nbsp;&nbsp;&bull;&nbsp;&nbsp;
				<a href="https://www.fortiss.org/en/imprint">Imprint</a>
			</p>
		</div>
	</body>
105
</html>