Context Navigation

ibuf.mv @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago
Add vis
File size: 14.6 KB

Line
1	# vl2mv ibuf.v
2	# version: 0.2
3	# date: ()
4	.model iqc
5	# I/O ports
6	.outputs load2<0> load2<1>
7	.outputs issue0<0> issue0<1> issue0<2>
8	.outputs load1<0> load1<1>
9	.inputs iqLoads<0> iqLoads<1>
10	.outputs issue1<0> issue1<1> issue1<2>
11	.outputs load0<0> load0<1>
12	.inputs exeReady<0> exeReady<1>
13	.outputs valid<0> valid<1> valid<2>
14	.inputs flush<0> flush<1> flush<2>
15	.inputs opsReady<0> opsReady<1> opsReady<2>
16	# qAge = 'b000
17	.names _n1<0>
18	0
19	.names _n1<1>
20	0
21	.names _n1<2>
22	0
23	.names _n1<0> qAge$raw_n0<0>
24	- =_n1<0>
25	.names _n1<1> qAge$raw_n0<1>
26	- =_n1<1>
27	.names _n1<2> qAge$raw_n0<2>
28	- =_n1<2>
29	# valid = 'b000
30	.names _n3<0>
31	0
32	.names _n3<1>
33	0
34	.names _n3<2>
35	0
36	.names _n3<0> valid$raw_n2<0>
37	- =_n3<0>
38	.names _n3<1> valid$raw_n2<1>
39	- =_n3<1>
40	.names _n3<2> valid$raw_n2<2>
41	- =_n3<2>
42	# non-blocking assignments for initial
43	# assign load0 [0] = ~valid [0] & iqLoads [0]
44	.names valid<0> _n5<0>
45	0 1
46	1 0
47	# ~valid [0] & iqLoads [0]
48	.names _n5<0> iqLoads<0> _n6<0>
49	.def 0
50	1 1 1
51	.names _n6<0> load0$raw_n4<0>
52	- =_n6<0>
53	# assign load0 [1] = ~valid [0] & ~iqLoads [0] & iqLoads [1]
54	.names valid<0> _n8<0>
55	0 1
56	1 0
57	.names iqLoads<0> _n9<0>
58	0 1
59	1 0
60	# ~valid [0] & ~iqLoads [0]
61	.names _n8<0> _n9<0> _na<0>
62	.def 0
63	1 1 1
64	# ~valid [0] & ~iqLoads [0] & iqLoads [1]
65	.names _na<0> iqLoads<1> _nb<0>
66	.def 0
67	1 1 1
68	.names _nb<0> load0$raw_n7<1>
69	- =_nb<0>
70	# assign load1 [0] = ~valid [1] & valid [0] & iqLoads [0]
71	.names valid<1> _nd<1>
72	0 1
73	1 0
74	# ~valid [1] & valid [0]
75	.names _nd<1> valid<0> _ne<0>
76	.def 0
77	1 1 1
78	# ~valid [1] & valid [0] & iqLoads [0]
79	.names _ne<0> iqLoads<0> _nf<0>
80	.def 0
81	1 1 1
82	.names _nf<0> load1$raw_nc<0>
83	- =_nf<0>
84	# assign load1 [1] = ~valid [1] & iqLoads [1] & ~(load0 [1] \| load1 [0])
85	.names valid<1> _n11<1>
86	0 1
87	1 0
88	# ~valid [1] & iqLoads [1]
89	.names _n11<1> iqLoads<1> _n12<0>
90	.def 0
91	1 1 1
92	# load0 [1] \| load1 [0]
93	.names load0<1> load1<0> _n13<0>
94	.def 1
95	0 0 0
96	.names _n13<0> _n14<0>
97	0 1
98	1 0
99	# ~valid [1] & iqLoads [1] & ~(load0 [1] \| load1 [0])
100	.names _n12<0> _n14<0> _n15<0>
101	.def 0
102	1 1 1
103	.names _n15<0> load1$raw_n10<1>
104	- =_n15<0>
105	# assign load2 [0] = ~valid [2] & valid [1] & valid [0] & iqLoads [0]
106	.names valid<2> _n17<2>
107	0 1
108	1 0
109	# ~valid [2] & valid [1]
110	.names _n17<2> valid<1> _n18<0>
111	.def 0
112	1 1 1
113	# ~valid [2] & valid [1] & valid [0]
114	.names _n18<0> valid<0> _n19<0>
115	.def 0
116	1 1 1
117	# ~valid [2] & valid [1] & valid [0] & iqLoads [0]
118	.names _n19<0> iqLoads<0> _n1a<0>
119	.def 0
120	1 1 1
121	.names _n1a<0> load2$raw_n16<0>
122	- =_n1a<0>
123	# assign load2 [1] = ~valid [2] & iqLoads [1] & ~(load2 [0] \| load0 [1] \| load1 [1])
124	.names valid<2> _n1c<2>
125	0 1
126	1 0
127	# ~valid [2] & iqLoads [1]
128	.names _n1c<2> iqLoads<1> _n1d<0>
129	.def 0
130	1 1 1
131	# load2 [0] \| load0 [1]
132	.names load2<0> load0<1> _n1e<0>
133	.def 1
134	0 0 0
135	# load2 [0] \| load0 [1] \| load1 [1]
136	.names _n1e<0> load1<1> _n1f<0>
137	.def 1
138	0 0 0
139	.names _n1f<0> _n20<0>
140	0 1
141	1 0
142	# ~valid [2] & iqLoads [1] & ~(load2 [0] \| load0 [1] \| load1 [1])
143	.names _n1d<0> _n20<0> _n21<0>
144	.def 0
145	1 1 1
146	.names _n21<0> load2$raw_n1b<1>
147	- =_n21<0>
148	# assign issue0 [0] = exeReady [0] & opsReady [0] & valid [0] & (qAge [0] \| ~opsReady [1]) & (qAge [1] \| ~opsReady [2])
149	# exeReady [0] & opsReady [0]
150	.names exeReady<0> opsReady<0> _n23<0>
151	.def 0
152	1 1 1
153	# exeReady [0] & opsReady [0] & valid [0]
154	.names _n23<0> valid<0> _n24<0>
155	.def 0
156	1 1 1
157	.names opsReady<1> _n25<1>
158	0 1
159	1 0
160	# qAge [0] \| ~opsReady [1]
161	.names qAge<0> _n25<1> _n26<0>
162	.def 1
163	0 0 0
164	# exeReady [0] & opsReady [0] & valid [0] & (qAge [0] \| ~opsReady [1])
165	.names _n24<0> _n26<0> _n27<0>
166	.def 0
167	1 1 1
168	.names opsReady<2> _n28<2>
169	0 1
170	1 0
171	# qAge [1] \| ~opsReady [2]
172	.names qAge<1> _n28<2> _n29<0>
173	.def 1
174	0 0 0
175	# exeReady [0] & opsReady [0] & valid [0] & (qAge [0] \| ~opsReady [1]) & (qAge [1] \| ~opsReady [2])
176	.names _n27<0> _n29<0> _n2a<0>
177	.def 0
178	1 1 1
179	.names _n2a<0> issue0$raw_n22<0>
180	- =_n2a<0>
181	# assign issue0 [1] = exeReady [0] & opsReady [1] & valid [1] & (~qAge [0] \| ~opsReady [0]) & (qAge [2] \| ~opsReady [2])
182	# exeReady [0] & opsReady [1]
183	.names exeReady<0> opsReady<1> _n2c<0>
184	.def 0
185	1 1 1
186	# exeReady [0] & opsReady [1] & valid [1]
187	.names _n2c<0> valid<1> _n2d<0>
188	.def 0
189	1 1 1
190	.names qAge<0> _n2e<0>
191	0 1
192	1 0
193	.names opsReady<0> _n2f<0>
194	0 1
195	1 0
196	# ~qAge [0] \| ~opsReady [0]
197	.names _n2e<0> _n2f<0> _n30<0>
198	.def 1
199	0 0 0
200	# exeReady [0] & opsReady [1] & valid [1] & (~qAge [0] \| ~opsReady [0])
201	.names _n2d<0> _n30<0> _n31<0>
202	.def 0
203	1 1 1
204	.names opsReady<2> _n32<2>
205	0 1
206	1 0
207	# qAge [2] \| ~opsReady [2]
208	.names qAge<2> _n32<2> _n33<0>
209	.def 1
210	0 0 0
211	# exeReady [0] & opsReady [1] & valid [1] & (~qAge [0] \| ~opsReady [0]) & (qAge [2] \| ~opsReady [2])
212	.names _n31<0> _n33<0> _n34<0>
213	.def 0
214	1 1 1
215	.names _n34<0> issue0$raw_n2b<1>
216	- =_n34<0>
217	# assign issue0 [2] = exeReady [0] & opsReady [2] & valid [2] & (~qAge [1] \| ~opsReady [0]) & (qAge [2] \| ~opsReady [1])
218	# exeReady [0] & opsReady [2]
219	.names exeReady<0> opsReady<2> _n36<0>
220	.def 0
221	1 1 1
222	# exeReady [0] & opsReady [2] & valid [2]
223	.names _n36<0> valid<2> _n37<0>
224	.def 0
225	1 1 1
226	.names qAge<1> _n38<1>
227	0 1
228	1 0
229	.names opsReady<0> _n39<0>
230	0 1
231	1 0
232	# ~qAge [1] \| ~opsReady [0]
233	.names _n38<1> _n39<0> _n3a<0>
234	.def 1
235	0 0 0
236	# exeReady [0] & opsReady [2] & valid [2] & (~qAge [1] \| ~opsReady [0])
237	.names _n37<0> _n3a<0> _n3b<0>
238	.def 0
239	1 1 1
240	.names opsReady<1> _n3c<1>
241	0 1
242	1 0
243	# qAge [2] \| ~opsReady [1]
244	.names qAge<2> _n3c<1> _n3d<0>
245	.def 1
246	0 0 0
247	# exeReady [0] & opsReady [2] & valid [2] & (~qAge [1] \| ~opsReady [0]) & (qAge [2] \| ~opsReady [1])
248	.names _n3b<0> _n3d<0> _n3e<0>
249	.def 0
250	1 1 1
251	.names _n3e<0> issue0$raw_n35<2>
252	- =_n3e<0>
253	# assign issue1 [0] = exeReady [1] & opsReady [0] & valid [0] & (qAge [0] \| ~opsReady [1] \| issue0 [1]) & (qAge [1] \| ~opsReady [2] \| issue0 [2]) & ~issue0 [0]
254	# exeReady [1] & opsReady [0]
255	.names exeReady<1> opsReady<0> _n40<0>
256	.def 0
257	1 1 1
258	# exeReady [1] & opsReady [0] & valid [0]
259	.names _n40<0> valid<0> _n41<0>
260	.def 0
261	1 1 1
262	.names opsReady<1> _n42<1>
263	0 1
264	1 0
265	# qAge [0] \| ~opsReady [1]
266	.names qAge<0> _n42<1> _n43<0>
267	.def 1
268	0 0 0
269	# qAge [0] \| ~opsReady [1] \| issue0 [1]
270	.names _n43<0> issue0<1> _n44<0>
271	.def 1
272	0 0 0
273	# exeReady [1] & opsReady [0] & valid [0] & (qAge [0] \| ~opsReady [1] \| issue0 [1])
274	.names _n41<0> _n44<0> _n45<0>
275	.def 0
276	1 1 1
277	.names opsReady<2> _n46<2>
278	0 1
279	1 0
280	# qAge [1] \| ~opsReady [2]
281	.names qAge<1> _n46<2> _n47<0>
282	.def 1
283	0 0 0
284	# qAge [1] \| ~opsReady [2] \| issue0 [2]
285	.names _n47<0> issue0<2> _n48<0>
286	.def 1
287	0 0 0
288	# exeReady [1] & opsReady [0] & valid [0] & (qAge [0] \| ~opsReady [1] \| issue0 [1]) & (qAge [1] \| ~opsReady [2] \| issue0 [2])
289	.names _n45<0> _n48<0> _n49<0>
290	.def 0
291	1 1 1
292	.names issue0<0> _n4a<0>
293	0 1
294	1 0
295	# exeReady [1] & opsReady [0] & valid [0] & (qAge [0] \| ~opsReady [1] \| issue0 [1]) & (qAge [1] \| ~opsReady [2] \| issue0 [2]) & ~issue0 [0]
296	.names _n49<0> _n4a<0> _n4b<0>
297	.def 0
298	1 1 1
299	.names _n4b<0> issue1$raw_n3f<0>
300	- =_n4b<0>
301	# assign issue1 [1] = exeReady [1] & opsReady [1] & valid [1] & (~qAge [0] \| ~opsReady [0] \| issue0 [0]) & (qAge [2] \| ~opsReady [2] \| issue0 [2]) & ~issue0 [1]
302	# exeReady [1] & opsReady [1]
303	.names exeReady<1> opsReady<1> _n4d<0>
304	.def 0
305	1 1 1
306	# exeReady [1] & opsReady [1] & valid [1]
307	.names _n4d<0> valid<1> _n4e<0>
308	.def 0
309	1 1 1
310	.names qAge<0> _n4f<0>
311	0 1
312	1 0
313	.names opsReady<0> _n50<0>
314	0 1
315	1 0
316	# ~qAge [0] \| ~opsReady [0]
317	.names _n4f<0> _n50<0> _n51<0>
318	.def 1
319	0 0 0
320	# ~qAge [0] \| ~opsReady [0] \| issue0 [0]
321	.names _n51<0> issue0<0> _n52<0>
322	.def 1
323	0 0 0
324	# exeReady [1] & opsReady [1] & valid [1] & (~qAge [0] \| ~opsReady [0] \| issue0 [0])
325	.names _n4e<0> _n52<0> _n53<0>
326	.def 0
327	1 1 1
328	.names opsReady<2> _n54<2>
329	0 1
330	1 0
331	# qAge [2] \| ~opsReady [2]
332	.names qAge<2> _n54<2> _n55<0>
333	.def 1
334	0 0 0
335	# qAge [2] \| ~opsReady [2] \| issue0 [2]
336	.names _n55<0> issue0<2> _n56<0>
337	.def 1
338	0 0 0
339	# exeReady [1] & opsReady [1] & valid [1] & (~qAge [0] \| ~opsReady [0] \| issue0 [0]) & (qAge [2] \| ~opsReady [2] \| issue0 [2])
340	.names _n53<0> _n56<0> _n57<0>
341	.def 0
342	1 1 1
343	.names issue0<1> _n58<1>
344	0 1
345	1 0
346	# exeReady [1] & opsReady [1] & valid [1] & (~qAge [0] \| ~opsReady [0] \| issue0 [0]) & (qAge [2] \| ~opsReady [2] \| issue0 [2]) & ~issue0 [1]
347	.names _n57<0> _n58<1> _n59<0>
348	.def 0
349	1 1 1
350	.names _n59<0> issue1$raw_n4c<1>
351	- =_n59<0>
352	# assign issue1 [2] = exeReady [1] & opsReady [2] & valid [2] & (~qAge [1] \| ~opsReady [0] \| issue0 [0]) & (qAge [2] \| ~opsReady [1] \| issue0 [1]) & ~issue0 [2]
353	# exeReady [1] & opsReady [2]
354	.names exeReady<1> opsReady<2> _n5b<0>
355	.def 0
356	1 1 1
357	# exeReady [1] & opsReady [2] & valid [2]
358	.names _n5b<0> valid<2> _n5c<0>
359	.def 0
360	1 1 1
361	.names qAge<1> _n5d<1>
362	0 1
363	1 0
364	.names opsReady<0> _n5e<0>
365	0 1
366	1 0
367	# ~qAge [1] \| ~opsReady [0]
368	.names _n5d<1> _n5e<0> _n5f<0>
369	.def 1
370	0 0 0
371	# ~qAge [1] \| ~opsReady [0] \| issue0 [0]
372	.names _n5f<0> issue0<0> _n60<0>
373	.def 1
374	0 0 0
375	# exeReady [1] & opsReady [2] & valid [2] & (~qAge [1] \| ~opsReady [0] \| issue0 [0])
376	.names _n5c<0> _n60<0> _n61<0>
377	.def 0
378	1 1 1
379	.names opsReady<1> _n62<1>
380	0 1
381	1 0
382	# qAge [2] \| ~opsReady [1]
383	.names qAge<2> _n62<1> _n63<0>
384	.def 1
385	0 0 0
386	# qAge [2] \| ~opsReady [1] \| issue0 [1]
387	.names _n63<0> issue0<1> _n64<0>
388	.def 1
389	0 0 0
390	# exeReady [1] & opsReady [2] & valid [2] & (~qAge [1] \| ~opsReady [0] \| issue0 [0]) & (qAge [2] \| ~opsReady [1] \| issue0 [1])
391	.names _n61<0> _n64<0> _n65<0>
392	.def 0
393	1 1 1
394	.names issue0<2> _n66<2>
395	0 1
396	1 0
397	# exeReady [1] & opsReady [2] & valid [2] & (~qAge [1] \| ~opsReady [0] \| issue0 [0]) & (qAge [2] \| ~opsReady [1] \| issue0 [1]) & ~issue0 [2]
398	.names _n65<0> _n66<2> _n67<0>
399	.def 0
400	1 1 1
401	.names _n67<0> issue1$raw_n5a<2>
402	- =_n67<0>
403	# assign nv0 = ~flush [0] & (valid [0] & ~(issue0 [0] \| issue1 [0]) \| load0 )
404	.names flush<0> _n69<0>
405	0 1
406	1 0
407	# issue0 [0] \| issue1 [0]
408	.names issue0<0> issue1<0> _n6a<0>
409	.def 1
410	0 0 0
411	.names _n6a<0> _n6b<0>
412	0 1
413	1 0
414	# valid [0] & ~(issue0 [0] \| issue1 [0])
415	.names valid<0> _n6b<0> _n6c<0>
416	.def 0
417	1 1 1
418	# valid [0] & ~(issue0 [0] \| issue1 [0]) \| load0
419	.names _n6c<0> load0<0> _n6d<0>
420	.def 1
421	0 0 0
422	.names load0<1> _n6d<1>
423	0 0
424	1 1
425	# ~flush [0] & (valid [0] & ~(issue0 [0] \| issue1 [0]) \| load0 )
426	.names _n69<0> _n6d<0> _n6e<0>
427	.def 0
428	1 1 1
429	.names _n6d<1> _n6e<1>
430	0 0
431	1 1
432	.names _n6e<0> nv0$raw_n68
433	- =_n6e<0>
434	# assign nv1 = ~flush [1] & (valid [1] & ~(issue0 [1] \| issue1 [1]) \| load1 )
435	.names flush<1> _n70<1>
436	0 1
437	1 0
438	# issue0 [1] \| issue1 [1]
439	.names issue0<1> issue1<1> _n71<0>
440	.def 1
441	0 0 0
442	.names _n71<0> _n72<0>
443	0 1
444	1 0
445	# valid [1] & ~(issue0 [1] \| issue1 [1])
446	.names valid<1> _n72<0> _n73<0>
447	.def 0
448	1 1 1
449	# valid [1] & ~(issue0 [1] \| issue1 [1]) \| load1
450	.names _n73<0> load1<0> _n74<0>
451	.def 1
452	0 0 0
453	.names load1<1> _n74<1>
454	0 0
455	1 1
456	# ~flush [1] & (valid [1] & ~(issue0 [1] \| issue1 [1]) \| load1 )
457	.names _n70<1> _n74<0> _n75<0>
458	.def 0
459	1 1 1
460	.names _n74<1> _n75<1>
461	0 0
462	1 1
463	.names _n75<0> nv1$raw_n6f
464	- =_n75<0>
465	# assign nv2 = ~flush [2] & (valid [2] & ~(issue0 [2] \| issue1 [2]) \| load2 )
466	.names flush<2> _n77<2>
467	0 1
468	1 0
469	# issue0 [2] \| issue1 [2]
470	.names issue0<2> issue1<2> _n78<0>
471	.def 1
472	0 0 0
473	.names _n78<0> _n79<0>
474	0 1
475	1 0
476	# valid [2] & ~(issue0 [2] \| issue1 [2])
477	.names valid<2> _n79<0> _n7a<0>
478	.def 0
479	1 1 1
480	# valid [2] & ~(issue0 [2] \| issue1 [2]) \| load2
481	.names _n7a<0> load2<0> _n7b<0>
482	.def 1
483	0 0 0
484	.names load2<1> _n7b<1>
485	0 0
486	1 1
487	# ~flush [2] & (valid [2] & ~(issue0 [2] \| issue1 [2]) \| load2 )
488	.names _n77<2> _n7b<0> _n7c<0>
489	.def 0
490	1 1 1
491	.names _n7b<1> _n7c<1>
492	0 0
493	1 1
494	.names _n7c<0> nv2$raw_n76
495	- =_n7c<0>
496	# valid [0] = nv0
497	.names nv0 valid$raw_n7d<0>
498	- =nv0
499	.names _n7e
500	0
501	.names valid<1> valid$raw_n7d<1>
502	- =valid<1>
503	.names valid<2> valid$raw_n7d<2>
504	- =valid<2>
505	# valid [1] = nv1
506	.names nv1 valid$raw_n7f<1>
507	- =nv1
508	.names _n80
509	0
510	.names valid$raw_n7d<0> valid$raw_n7f<0>
511	- =valid$raw_n7d<0>
512	.names valid$raw_n7d<2> valid$raw_n7f<2>
513	- =valid$raw_n7d<2>
514	# valid [2] = nv2
515	.names nv2 valid$raw_n81<2>
516	- =nv2
517	.names _n82
518	0
519	.names valid$raw_n7f<0> valid$raw_n81<0>
520	- =valid$raw_n7f<0>
521	.names valid$raw_n7f<1> valid$raw_n81<1>
522	- =valid$raw_n7f<1>
523	# qAge [0] = nv0 & (~nv1 \| qAge [0] \| ~valid [1])
524	.names nv1 _n84
525	0 1
526	1 0
527	# ~nv1 \| qAge [0]
528	.names _n84 qAge<0> _n85<0>
529	.def 1
530	0 0 0
531	.names valid$raw_n81<1> _n86<1>
532	0 1
533	1 0
534	# ~nv1 \| qAge [0] \| ~valid [1]
535	.names _n85<0> _n86<1> _n87<0>
536	.def 1
537	0 0 0
538	# nv0 & (~nv1 \| qAge [0] \| ~valid [1])
539	.names nv0 _n87<0> _n88<0>
540	.def 0
541	1 1 1
542	.names _n88<0> qAge$raw_n83<0>
543	- =_n88<0>
544	.names qAge<1> qAge$raw_n83<1>
545	- =qAge<1>
546	.names qAge<2> qAge$raw_n83<2>
547	- =qAge<2>
548	# qAge [1] = nv0 & (~nv2 \| qAge [1] \| ~valid [2])
549	.names nv2 _n8a
550	0 1
551	1 0
552	# ~nv2 \| qAge [1]
553	.names _n8a qAge$raw_n83<1> _n8b<1>
554	.def 1
555	0 0 0
556	.names valid$raw_n81<2> _n8c<2>
557	0 1
558	1 0
559	# ~nv2 \| qAge [1] \| ~valid [2]
560	.names _n8b<1> _n8c<2> _n8d<0>
561	.def 1
562	0 0 0
563	# nv0 & (~nv2 \| qAge [1] \| ~valid [2])
564	.names nv0 _n8d<0> _n8e<0>
565	.def 0
566	1 1 1
567	.names _n8e<0> qAge$raw_n89<1>
568	- =_n8e<0>
569	.names qAge$raw_n83<0> qAge$raw_n89<0>
570	- =qAge$raw_n83<0>
571	.names qAge$raw_n83<2> qAge$raw_n89<2>
572	- =qAge$raw_n83<2>
573	# qAge [2] = nv1 & (~nv2 \| qAge [2] \| ~valid [2])
574	.names nv2 _n90
575	0 1
576	1 0
577	# ~nv2 \| qAge [2]
578	.names _n90 qAge$raw_n89<2> _n91<2>
579	.def 1
580	0 0 0
581	.names valid$raw_n81<2> _n92<2>
582	0 1
583	1 0
584	# ~nv2 \| qAge [2] \| ~valid [2]
585	.names _n91<2> _n92<2> _n93<0>
586	.def 1
587	0 0 0
588	# nv1 & (~nv2 \| qAge [2] \| ~valid [2])
589	.names nv1 _n93<0> _n94<0>
590	.def 0
591	1 1 1
592	.names _n94<0> qAge$raw_n8f<2>
593	- =_n94<0>
594	.names qAge$raw_n89<0> qAge$raw_n8f<0>
595	- =qAge$raw_n89<0>
596	.names qAge$raw_n89<1> qAge$raw_n8f<1>
597	- =qAge$raw_n89<1>
598	# conflict arbitrators
599	.names load2$raw_n16<0> load2<0>
600	- =load2$raw_n16<0>
601	.names load2$raw_n1b<1> load2<1>
602	- =load2$raw_n1b<1>
603	.names issue0$raw_n22<0> issue0<0>
604	- =issue0$raw_n22<0>
605	.names issue0$raw_n2b<1> issue0<1>
606	- =issue0$raw_n2b<1>
607	.names issue0$raw_n35<2> issue0<2>
608	- =issue0$raw_n35<2>
609	.names load1$raw_nc<0> load1<0>
610	- =load1$raw_nc<0>
611	.names load1$raw_n10<1> load1<1>
612	- =load1$raw_n10<1>
613	.names issue1$raw_n3f<0> issue1<0>
614	- =issue1$raw_n3f<0>
615	.names issue1$raw_n4c<1> issue1<1>
616	- =issue1$raw_n4c<1>
617	.names issue1$raw_n5a<2> issue1<2>
618	- =issue1$raw_n5a<2>
619	.names load0$raw_n4<0> load0<0>
620	- =load0$raw_n4<0>
621	.names load0$raw_n7<1> load0<1>
622	- =load0$raw_n7<1>
623	.names _n95
624	.def 0
625	1
626	1
627	1
628	.names _n95 qAge$raw_n8f<0> qAge$raw_n8f<1> qAge$raw_n8f<2> -> _n96<0> _n96<1> _n96<2>
629	.def 0 0 0
630	1 - - - =qAge$raw_n8f<0> =qAge$raw_n8f<1> =qAge$raw_n8f<2>
631	.names nv0$raw_n68 nv0
632	0 0
633	1 1
634	.names nv1$raw_n6f nv1
635	0 0
636	1 1
637	.names _n97
638	.def 0
639	1
640	1
641	1
642	.names _n97 valid$raw_n81<0> valid$raw_n81<1> valid$raw_n81<2> -> _n98<0> _n98<1> _n98<2>
643	.def 0 0 0
644	1 - - - =valid$raw_n81<0> =valid$raw_n81<1> =valid$raw_n81<2>
645	.names nv2$raw_n76 nv2
646	0 0
647	1 1
648	# non-blocking assignments
649	# latches
650	.r qAge$raw_n0<0> qAge<0>
651	.def 0
652	1 1
653	.r qAge$raw_n0<1> qAge<1>
654	.def 0
655	1 1
656	.r qAge$raw_n0<2> qAge<2>
657	.def 0
658	1 1
659	.latch _n96<0> qAge<0>
660	.latch _n96<1> qAge<1>
661	.latch _n96<2> qAge<2>
662	.r valid$raw_n2<0> valid<0>
663	.def 0
664	1 1
665	.r valid$raw_n2<1> valid<1>
666	.def 0
667	1 1
668	.r valid$raw_n2<2> valid<2>
669	.def 0
670	1 1
671	.latch _n98<0> valid<0>
672	.latch _n98<1> valid<1>
673	.latch _n98<2> valid<2>
674	# quasi-continuous assignment
675	.end
676
677

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format