25:
232:
129:. Typically this process models the complete state of the system at individual points in a discrete linear time frame, computing each state sequentially from its predecessor. Models for computer programs or VLSI logic designs can be very easily simulated, as they often have an
143:
can be used in the simulation state representation in order to index multiple executions of the system. For each possible valuation of these variables, there is a concrete system state that is being indirectly simulated.
139:
is a form of simulation where many possible executions of a system are considered simultaneously. This is typically achieved by augmenting the domain over which the simulation takes place. A symbolic
147:
Because symbolic simulation can cover many system executions in a single simulation, it can greatly reduce the size of verification problems. Techniques such as
273:
292:
210:
42:
108:
89:
152:
61:
302:
148:
46:
68:
266:
75:
35:
57:
297:
126:
259:
140:
130:
169:
164:
82:
206:
243:
239:
198:
16:
Form of simulation where many possible executions of a system are considered simultaneously
190:
286:
24:
195:
Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90
122:
231:
202:
125:
is a computation of the execution of some appropriately modelled
18:
247:
155:(GSTE) are based on this idea of symbolic simulation.
191:"Symbolic simulation---techniques and applications"
49:. Unsourced material may be challenged and removed.
267:
8:
133:which can be used directly for simulation.
274:
260:
153:generalized symbolic trajectory evaluation
109:Learn how and when to remove this message
181:
7:
228:
226:
47:adding citations to reliable sources
246:. You can help Knowledge (XXG) by
14:
230:
23:
197:. ACM Press. pp. 517–521.
34:needs additional citations for
149:symbolic trajectory evaluation
1:
293:Electronic design automation
319:
225:
189:Bryant, Randal E. (1990).
127:state-transition system
121:In computer science, a
303:Computer science stubs
203:10.1145/123186.128296
131:operational semantics
58:"Symbolic simulation"
170:Symbolic computation
43:improve this article
137:Symbolic simulation
165:Symbolic execution
255:
254:
212:978-0-89791-363-8
119:
118:
111:
93:
310:
276:
269:
262:
240:computer science
234:
227:
217:
216:
186:
114:
107:
103:
100:
94:
92:
51:
27:
19:
318:
317:
313:
312:
311:
309:
308:
307:
283:
282:
281:
280:
223:
221:
220:
213:
188:
187:
183:
178:
161:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
316:
314:
306:
305:
300:
298:Formal methods
295:
285:
284:
279:
278:
271:
264:
256:
253:
252:
235:
219:
218:
211:
180:
179:
177:
174:
173:
172:
167:
160:
157:
117:
116:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
315:
304:
301:
299:
296:
294:
291:
290:
288:
277:
272:
270:
265:
263:
258:
257:
251:
249:
245:
242:article is a
241:
236:
233:
229:
224:
214:
208:
204:
200:
196:
192:
185:
182:
175:
171:
168:
166:
163:
162:
158:
156:
154:
150:
145:
142:
138:
134:
132:
128:
124:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
248:expanding it
237:
222:
194:
184:
146:
136:
135:
120:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
287:Categories
176:References
151:(STE) and
123:simulation
99:April 2024
69:newspapers
159:See also
141:variable
83:scholar
209:
85:
78:
71:
64:
56:
238:This
90:JSTOR
76:books
244:stub
207:ISBN
62:news
199:doi
45:by
289::
205:.
193:.
275:e
268:t
261:v
250:.
215:.
201::
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.