blob: f746c1d23a60fb7536720cc0ac3dc08c5f4979e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
<html>
<head>
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
<meta name=ProgId content=PowerPoint.Slide>
<meta name=Generator content="Microsoft PowerPoint 9">
<link id=Main-File rel=Main-File href="../slides2.htm">
<link rel=Preview href=preview.wmf>
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
p\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
v\:textbox {display:none;}
</style>
<![endif]-->
<title>Developing a Framework for Simulation, Verification and Testing of SDL
Specifications</title>
<meta name=Description content="3-Nov-00: Network Handling">
<link rel=next href="v3_slide0030.htm">
<![if !ppt]>
<script>
<!--
function Update()
{
if( window.name == "PPTSld" )
parent.SlideUpdated('v3_slide0029.htm');
else
parent.location.href = "v3_document.htm";
}
function NoHref() {}
//-->
</script>
<![endif]>
</head>
<body bgcolor=white alink="#3333cc" link="#ccccff" vlink="#b2b2b2" text=black
topmargin=0 leftmargin=0 onload="Update()">
<table border=0 valign=top width=475 height=356 cellpadding=0 cellspacing=0>
<tr>
<td width=29 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=83 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=252 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=101 height=0 nowrap><img src="v3_space.gif" border=0></td>
</tr>
<tr>
<td width=475 height=51 colspan=5></td>
</tr>
<tr>
<td width=112 height=36 colspan=2></td>
<td width=252 height=36>
<table border=0 valign=top cellpadding=0 cellspacing=0>
<tr>
<td width=252 height=36 align=center><font face=Tahoma color="#cc0000"
size=5>Network Handling</font><br>
</td>
</tr>
</table>
</td>
<td width=111 height=36 colspan=2></td>
</tr>
<tr>
<td width=475 height=53 colspan=5></td>
</tr>
<tr>
<td width=29 height=165></td>
<td width=436 height=165 colspan=3>
<table border=0 valign=top cellpadding=0 cellspacing=0>
<tr>
<td width=17 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=2 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=81 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=270 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=11 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=47 height=0 nowrap><img src="v3_space.gif" border=0></td>
<td width=3 height=0 nowrap><img src="v3_space.gif" border=0></td>
</tr>
<tr>
<td width=17 height=23><font face=Tahoma color="#3333cc" size=3>�</font></td>
<td width=418 height=23 colspan=7><font face=Tahoma color="#3333cc" size=3>A
signal traveling through an instantaneous path</font><br>
</td>
</tr>
<tr>
<td width=17 height=22></td>
<td width=364 height=22 colspan=4><font face=Tahoma color="#3333cc" size=3>is
immediately delivered to the destination</font><br>
</td>
<td width=54 height=22 colspan=3></td>
</tr>
<tr>
<td width=435 height=4 colspan=8></td>
</tr>
<tr>
<td width=17 height=23><font face=Tahoma color="#3333cc" size=3>�</font></td>
<td width=353 height=23 colspan=3><font face=Tahoma color="#3333cc" size=3>An
oracle is supplied to delaying paths to</font><br>
</td>
<td width=65 height=23 colspan=4></td>
</tr>
<tr>
<td width=17 height=22></td>
<td width=411 height=22 colspan=5><font face=Tahoma color="#3333cc" size=3>determine
whether the path forwards the signal</font><br>
</td>
<td width=7 height=22 colspan=2></td>
</tr>
<tr>
<td width=435 height=4 colspan=8></td>
</tr>
<tr>
<td width=17 height=23><font face=Tahoma color="#3333cc" size=3>�</font></td>
<td width=414 height=23 colspan=6><font face=Tahoma color="#3333cc" size=3>If
there is an inconsistency in the address of the</font><br>
</td>
<td width=4 height=23></td>
</tr>
<tr>
<td width=17 height=22></td>
<td width=411 height=22 colspan=5><font face=Tahoma color="#3333cc" size=3>signal,
a warning is generated, and the signal is</font><br>
</td>
<td width=7 height=22 colspan=2></td>
</tr>
<tr>
<td width=17 height=22></td>
<td width=83 height=22 colspan=2><font face=Tahoma color="#3333cc" size=3>discarded</font><br>
</td>
<td width=335 height=22 colspan=5></td>
</tr>
</table>
</td>
<td width=10 height=165></td>
</tr>
<tr>
<td width=475 height=51 colspan=5></td>
</tr>
</table>
</body>
</html>
|
