Context Navigation

fpmpy.mv @ 11

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

Rev	Line
[11]	1	# /sda4/tools/Vis1.2/vl2mv/i686/bin/vl2mv fpmpy.v
	2	# version: 0.2
	3	# date: 20:12:08 02/25/97 (MST)
	4	.model fvFPMult
	5	# I/O ports
	6	.inputs i<0> i<1> i<2> i<3> i<4> i<5> i<6> i<7>
	7	.inputs j<0> j<1> j<2> j<3> j<4> j<5> j<6> j<7>
	8	.subckt IEEEfpMult FPM start=start x<0>=x<0> x<1>=x<1> x<2>=x<2> x<3>=x<3> x<4>=x<4> x<5>=x<5> x<6>=x<6> x<7>=x<7> y<0>=y<0> y<1>=y<1> y<2>=y<2> y<3>=y<3> y<4>=y<4> y<5>=y<5> y<6>=y<6> y<7>=y<7> z<0>=z<0> z<1>=z<1> z<2>=z<2> z<3>=z<3> z<4>=z<4> z<5>=z<5> z<6>=z<6> z<7>=z<7>
	9	# x = i
	10	.names i<0> x$raw_n0<0>
	11	- =i<0>
	12	.names i<1> x$raw_n0<1>
	13	- =i<1>
	14	.names i<2> x$raw_n0<2>
	15	- =i<2>
	16	.names i<3> x$raw_n0<3>
	17	- =i<3>
	18	.names i<4> x$raw_n0<4>
	19	- =i<4>
	20	.names i<5> x$raw_n0<5>
	21	- =i<5>
	22	.names i<6> x$raw_n0<6>
	23	- =i<6>
	24	.names i<7> x$raw_n0<7>
	25	- =i<7>
	26	# y = j
	27	.names j<0> y$raw_n1<0>
	28	- =j<0>
	29	.names j<1> y$raw_n1<1>
	30	- =j<1>
	31	.names j<2> y$raw_n1<2>
	32	- =j<2>
	33	.names j<3> y$raw_n1<3>
	34	- =j<3>
	35	.names j<4> y$raw_n1<4>
	36	- =j<4>
	37	.names j<5> y$raw_n1<5>
	38	- =j<5>
	39	.names j<6> y$raw_n1<6>
	40	- =j<6>
	41	.names j<7> y$raw_n1<7>
	42	- =j<7>
	43	# conflict arbitrators
	44	.names _n2
	45	.def 0
	46	1
	47	.names _n2 y$raw_n1<0> y$raw_n1<1> y$raw_n1<2> y$raw_n1<3> y$raw_n1<4> y$raw_n1<5> y$raw_n1<6> y$raw_n1<7> -> _n3<0> _n3<1> _n3<2> _n3<3> _n3<4> _n3<5> _n3<6> _n3<7>
	48	.def 0 0 0 0 0 0 0 0
	49	1 - - - - - - - - =y$raw_n1<0> =y$raw_n1<1> =y$raw_n1<2> =y$raw_n1<3> =y$raw_n1<4> =y$raw_n1<5> =y$raw_n1<6> =y$raw_n1<7>
	50	.names start _n4
	51	0 0
	52	1 1
	53	.names _n5
	54	.def 0
	55	1
	56	.names _n5 x$raw_n0<0> x$raw_n0<1> x$raw_n0<2> x$raw_n0<3> x$raw_n0<4> x$raw_n0<5> x$raw_n0<6> x$raw_n0<7> -> _n6<0> _n6<1> _n6<2> _n6<3> _n6<4> _n6<5> _n6<6> _n6<7>
	57	.def 0 0 0 0 0 0 0 0
	58	1 - - - - - - - - =x$raw_n0<0> =x$raw_n0<1> =x$raw_n0<2> =x$raw_n0<3> =x$raw_n0<4> =x$raw_n0<5> =x$raw_n0<6> =x$raw_n0<7>
	59	# non-blocking assignments
	60	# latches
	61	.r y<0>
	62	-
	63	.r y<1>
	64	-
	65	.r y<2>
	66	-
	67	.r y<3>
	68	-
	69	.r y<4>
	70	-
	71	.r y<5>
	72	-
	73	.r y<6>
	74	-
	75	.r y<7>
	76	-
	77	.latch _n3<0> y<0>
	78	.latch _n3<1> y<1>
	79	.latch _n3<2> y<2>
	80	.latch _n3<3> y<3>
	81	.latch _n3<4> y<4>
	82	.latch _n3<5> y<5>
	83	.latch _n3<6> y<6>
	84	.latch _n3<7> y<7>
	85	.r start
	86	0
	87	1
	88	.latch _n4 start
	89	.r x<0>
	90	-
	91	.r x<1>
	92	-
	93	.r x<2>
	94	-
	95	.r x<3>
	96	-
	97	.r x<4>
	98	-
	99	.r x<5>
	100	-
	101	.r x<6>
	102	-
	103	.r x<7>
	104	-
	105	.latch _n6<0> x<0>
	106	.latch _n6<1> x<1>
	107	.latch _n6<2> x<2>
	108	.latch _n6<3> x<3>
	109	.latch _n6<4> x<4>
	110	.latch _n6<5> x<5>
	111	.latch _n6<6> x<6>
	112	.latch _n6<7> x<7>
	113	# quasi-continuous assignment
	114	.end
	115
	116
	117	.model IEEEfpMult
	118	# I/O ports
	119	.inputs y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7>
	120	.outputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7>
	121	.inputs start
	122	.inputs x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7>
	123	.subckt intMult im x<0>=xMant<0> x<1>=xMant<1> x<2>=xMant<2> x<3>=xMant<3> y<0>=yMant<0> y<1>=yMant<1> y<2>=yMant<2> y<3>=yMant<3> z<0>=combZ<0> z<1>=combZ<1> z<2>=combZ<2> z<3>=combZ<3> z<4>=combZ<4> z<5>=combZ<5> z<6>=combZ<6> z<7>=combZ<7>
	124	# xSign = 0
	125	.names xSign$raw_n7
	126	0
	127	# xExp = 0
	128	.names xExp$raw_n8<0>
	129	0
	130	.names xExp$raw_n8<1>
	131	0
	132	.names xExp$raw_n8<2>
	133	0
	134	.names xExp$raw_n8<3>
	135	0
	136	# xMant = 0
	137	.names xMant$raw_n9<0>
	138	0
	139	.names xMant$raw_n9<1>
	140	0
	141	.names xMant$raw_n9<2>
	142	0
	143	.names xMant$raw_n9<3>
	144	0
	145	# ySign = 0
	146	.names ySign$raw_na
	147	0
	148	# yExp = 0
	149	.names yExp$raw_nb<0>
	150	0
	151	.names yExp$raw_nb<1>
	152	0
	153	.names yExp$raw_nb<2>
	154	0
	155	.names yExp$raw_nb<3>
	156	0
	157	# yMant = 0
	158	.names yMant$raw_nc<0>
	159	0
	160	.names yMant$raw_nc<1>
	161	0
	162	.names yMant$raw_nc<2>
	163	0
	164	.names yMant$raw_nc<3>
	165	0
	166	# signProd = 0
	167	.names signProd$raw_nd
	168	0
	169	# expProd = 0
	170	.names expProd$raw_ne<0>
	171	0
	172	.names expProd$raw_ne<1>
	173	0
	174	.names expProd$raw_ne<2>
	175	0
	176	.names expProd$raw_ne<3>
	177	0
	178	.names expProd$raw_ne<4>
	179	0
	180	.names expProd$raw_ne<5>
	181	0
	182	# mantProd = 0
	183	.names mantProd$raw_nf<0>
	184	0
	185	.names mantProd$raw_nf<1>
	186	0
	187	.names mantProd$raw_nf<2>
	188	0
	189	.names mantProd$raw_nf<3>
	190	0
	191	.names mantProd$raw_nf<4>
	192	0
	193	.names mantProd$raw_nf<5>
	194	0
	195	.names mantProd$raw_nf<6>
	196	0
	197	.names mantProd$raw_nf<7>
	198	0
	199	# z = 0
	200	.names z$raw_n10<0>
	201	0
	202	.names z$raw_n10<1>
	203	0
	204	.names z$raw_n10<2>
	205	0
	206	.names z$raw_n10<3>
	207	0
	208	.names z$raw_n10<4>
	209	0
	210	.names z$raw_n10<5>
	211	0
	212	.names z$raw_n10<6>
	213	0
	214	.names z$raw_n10<7>
	215	0
	216	# state = 0
	217	.names state$raw_n11<0>
	218	0
	219	.names state$raw_n11<1>
	220	0
	221	# non-blocking assignments for initial
	222	.names _n14<0>
	223	0
	224	.names _n14<1>
	225	0
	226	.names state<0> _n14<0> _n15<0>
	227	.def 0
	228	0 1 1
	229	1 0 1
	230	.names state<1> _n14<1> _n15<1>
	231	.def 0
	232	0 1 1
	233	1 0 1
	234	.names _n15<0> _n15<1> _n16
	235	.def 1
	236	0 0 0
	237	.names _n16 _n13
	238	0 1
	239	1 0
	240	.names _n13 _n12
	241	1 1
	242	0 0
	243	.names start _n17
	244	- =start
	245	# xSign = x [3 + 4]
	246	.names x<7> xSign$start_n18$true
	247	- =x<7>
	248	# xExp = x [3 + 4 - 1 : 3]
	249	.names x<3> xExp$start_n19$true<0>
	250	- =x<3>
	251	.names x<4> xExp$start_n19$true<1>
	252	- =x<4>
	253	.names x<5> xExp$start_n19$true<2>
	254	- =x<5>
	255	.names x<6> xExp$start_n19$true<3>
	256	- =x<6>
	257	# xMant = {'b1, x [3 - 1 : 0]}
	258	.names x<0> _n1b<0>
	259	- =x<0>
	260	.names x<1> _n1b<1>
	261	- =x<1>
	262	.names x<2> _n1b<2>
	263	- =x<2>
	264	.names _n1c
	265	1
	266	.names _n1c _n1b<3>
	267	- =_n1c
	268	.names _n1d
	269	0
	270	.names _n1b<0> xMant$start_n1a$true<0>
	271	- =_n1b<0>
	272	.names _n1b<1> xMant$start_n1a$true<1>
	273	- =_n1b<1>
	274	.names _n1b<2> xMant$start_n1a$true<2>
	275	- =_n1b<2>
	276	.names _n1b<3> xMant$start_n1a$true<3>
	277	- =_n1b<3>
	278	# ySign = y [3 + 4]
	279	.names y<7> ySign$start_n1e$true
	280	- =y<7>
	281	# yExp = y [3 + 4 - 1 : 3]
	282	.names y<3> yExp$start_n1f$true<0>
	283	- =y<3>
	284	.names y<4> yExp$start_n1f$true<1>
	285	- =y<4>
	286	.names y<5> yExp$start_n1f$true<2>
	287	- =y<5>
	288	.names y<6> yExp$start_n1f$true<3>
	289	- =y<6>
	290	# yMant = {'b1, y [3 - 1 : 0]}
	291	.names y<0> _n21<0>
	292	- =y<0>
	293	.names y<1> _n21<1>
	294	- =y<1>
	295	.names y<2> _n21<2>
	296	- =y<2>
	297	.names _n22
	298	1
	299	.names _n22 _n21<3>
	300	- =_n22
	301	.names _n23
	302	0
	303	.names _n21<0> yMant$start_n20$true<0>
	304	- =_n21<0>
	305	.names _n21<1> yMant$start_n20$true<1>
	306	- =_n21<1>
	307	.names _n21<2> yMant$start_n20$true<2>
	308	- =_n21<2>
	309	.names _n21<3> yMant$start_n20$true<3>
	310	- =_n21<3>
	311	# state = 1
	312	.names state$start_n24$true<0>
	313	1
	314	.names state$start_n24$true<1>
	315	0
	316	# if/else (start )
	317	.names yMant$start_n20$true<0> yMant<0> start yMant$start$raw_n33<0>
	318	0 - 1 0
	319	1 - 1 1
	320	- 0 0 0
	321	- 1 0 1
	322	.names yMant$start_n20$true<1> yMant<1> start yMant$start$raw_n33<1>
	323	0 - 1 0
	324	1 - 1 1
	325	- 0 0 0
	326	- 1 0 1
	327	.names yMant$start_n20$true<2> yMant<2> start yMant$start$raw_n33<2>
	328	0 - 1 0
	329	1 - 1 1
	330	- 0 0 0
	331	- 1 0 1
	332	.names yMant$start_n20$true<3> yMant<3> start yMant$start$raw_n33<3>
	333	0 - 1 0
	334	1 - 1 1
	335	- 0 0 0
	336	- 1 0 1
	337	.names yExp$start_n1f$true<0> yExp<0> start yExp$start$raw_n38<0>
	338	0 - 1 0
	339	1 - 1 1
	340	- 0 0 0
	341	- 1 0 1
	342	.names yExp$start_n1f$true<1> yExp<1> start yExp$start$raw_n38<1>
	343	0 - 1 0
	344	1 - 1 1
	345	- 0 0 0
	346	- 1 0 1
	347	.names yExp$start_n1f$true<2> yExp<2> start yExp$start$raw_n38<2>
	348	0 - 1 0
	349	1 - 1 1
	350	- 0 0 0
	351	- 1 0 1
	352	.names yExp$start_n1f$true<3> yExp<3> start yExp$start$raw_n38<3>
	353	0 - 1 0
	354	1 - 1 1
	355	- 0 0 0
	356	- 1 0 1
	357	.names ySign$start_n1e$true ySign start ySign$start$raw_n3d
	358	0 - 1 0
	359	1 - 1 1
	360	- 0 0 0
	361	- 1 0 1
	362	.names xExp$start_n19$true<0> xExp<0> start xExp$start$raw_n3f<0>
	363	0 - 1 0
	364	1 - 1 1
	365	- 0 0 0
	366	- 1 0 1
	367	.names xExp$start_n19$true<1> xExp<1> start xExp$start$raw_n3f<1>
	368	0 - 1 0
	369	1 - 1 1
	370	- 0 0 0
	371	- 1 0 1
	372	.names xExp$start_n19$true<2> xExp<2> start xExp$start$raw_n3f<2>
	373	0 - 1 0
	374	1 - 1 1
	375	- 0 0 0
	376	- 1 0 1
	377	.names xExp$start_n19$true<3> xExp<3> start xExp$start$raw_n3f<3>
	378	0 - 1 0
	379	1 - 1 1
	380	- 0 0 0
	381	- 1 0 1
	382	.names xSign$start_n18$true xSign start xSign$start$raw_n44
	383	0 - 1 0
	384	1 - 1 1
	385	- 0 0 0
	386	- 1 0 1
	387	.names state$start_n24$true<0> state<0> start state$start$raw_n46<0>
	388	0 - 1 0
	389	1 - 1 1
	390	- 0 0 0
	391	- 1 0 1
	392	.names state$start_n24$true<1> state<1> start state$start$raw_n46<1>
	393	0 - 1 0
	394	1 - 1 1
	395	- 0 0 0
	396	- 1 0 1
	397	.names xMant$start_n1a$true<0> xMant<0> start xMant$start$raw_n49<0>
	398	0 - 1 0
	399	1 - 1 1
	400	- 0 0 0
	401	- 1 0 1
	402	.names xMant$start_n1a$true<1> xMant<1> start xMant$start$raw_n49<1>
	403	0 - 1 0
	404	1 - 1 1
	405	- 0 0 0
	406	- 1 0 1
	407	.names xMant$start_n1a$true<2> xMant<2> start xMant$start$raw_n49<2>
	408	0 - 1 0
	409	1 - 1 1
	410	- 0 0 0
	411	- 1 0 1
	412	.names xMant$start_n1a$true<3> xMant<3> start xMant$start$raw_n49<3>
	413	0 - 1 0
	414	1 - 1 1
	415	- 0 0 0
	416	- 1 0 1
	417	.names _n50<0>
	418	1
	419	.names _n50<1>
	420	0
	421	.names state<0> _n50<0> _n51<0>
	422	.def 0
	423	0 1 1
	424	1 0 1
	425	.names state<1> _n50<1> _n51<1>
	426	.def 0
	427	0 1 1
	428	1 0 1
	429	.names _n51<0> _n51<1> _n52
	430	.def 1
	431	0 0 0
	432	.names _n52 _n4f
	433	0 1
	434	1 0
	435	.names _n4f _n4e
	436	1 1
	437	0 0
	438	# mantProd = combZ
	439	.names combZ<0> mantProd$_n4e_n53$true<0>
	440	- =combZ<0>
	441	.names combZ<1> mantProd$_n4e_n53$true<1>
	442	- =combZ<1>
	443	.names combZ<2> mantProd$_n4e_n53$true<2>
	444	- =combZ<2>
	445	.names combZ<3> mantProd$_n4e_n53$true<3>
	446	- =combZ<3>
	447	.names combZ<4> mantProd$_n4e_n53$true<4>
	448	- =combZ<4>
	449	.names combZ<5> mantProd$_n4e_n53$true<5>
	450	- =combZ<5>
	451	.names combZ<6> mantProd$_n4e_n53$true<6>
	452	- =combZ<6>
	453	.names combZ<7> mantProd$_n4e_n53$true<7>
	454	- =combZ<7>
	455	.subckt Zero _n55 Zero<0>=_n54<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2>
	456	.subckt Zero _n57 Zero<0>=_n56<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2>
	457	# Zero (xExp ,xMant ) \|\| Zero (yExp ,yMant )
	458	.names _n54<0> _n56<0> _n58<0>
	459	.def 1
	460	0 0 0
	461	.names _n58<0> _n5a
	462	.def 1
	463	0 0
	464	.names _n5a _n59
	465	- =_n5a
	466	# expProd = 0
	467	.names expProd$_n58_n5b$true<0>
	468	0
	469	.names expProd$_n58_n5b$true<1>
	470	0
	471	.names expProd$_n58_n5b$true<2>
	472	0
	473	.names expProd$_n58_n5b$true<3>
	474	0
	475	.names expProd$_n58_n5b$true<4>
	476	0
	477	.names expProd$_n58_n5b$true<5>
	478	0
	479	# expProd = xExp + yExp - {'b1}
	480	# xExp + yExp
	481	.names _n5e
	482	0
	483	.names xExp<0> yExp<0> _n5e _n5d<0>
	484	.def 0
	485	0 0 1 1
	486	0 1 0 1
	487	1 0 0 1
	488	1 1 1 1
	489	# carry/borrow
	490	.names _n60
	491	0
	492	.names xExp<0> yExp<0> _n60 _n5f
	493	.def 0
	494	0 1 1 1
	495	1 0 1 1
	496	1 1 0 1
	497	1 1 1 1
	498	.names xExp<1> yExp<1> _n5f _n5d<1>
	499	.def 0
	500	0 0 1 1
	501	0 1 0 1
	502	1 0 0 1
	503	1 1 1 1
	504	# carry/borrow
	505	.names xExp<1> yExp<1> _n5f _n61
	506	.def 0
	507	0 1 1 1
	508	1 0 1 1
	509	1 1 0 1
	510	1 1 1 1
	511	.names xExp<2> yExp<2> _n61 _n5d<2>
	512	.def 0
	513	0 0 1 1
	514	0 1 0 1
	515	1 0 0 1
	516	1 1 1 1
	517	# carry/borrow
	518	.names xExp<2> yExp<2> _n61 _n62
	519	.def 0
	520	0 1 1 1
	521	1 0 1 1
	522	1 1 0 1
	523	1 1 1 1
	524	.names xExp<3> yExp<3> _n62 _n5d<3>
	525	.def 0
	526	0 0 1 1
	527	0 1 0 1
	528	1 0 0 1
	529	1 1 1 1
	530	# carry/borrow
	531	.names xExp<3> yExp<3> _n62 _n63
	532	.def 0
	533	0 1 1 1
	534	1 0 1 1
	535	1 1 0 1
	536	1 1 1 1
	537	.names _n63 _n5d<4>
	538	1 1
	539	0 0
	540	.names _n65
	541	1
	542	.names _n65 _n64<0>
	543	- =_n65
	544	.names _n66
	545	0
	546	.names _n67
	547	1
	548	.names _n67 _n64<1>
	549	- =_n67
	550	.names _n68
	551	0
	552	.names _n69
	553	1
	554	.names _n69 _n64<2>
	555	- =_n69
	556	.names _n6a
	557	0
	558	# xExp + yExp - {'b1}
	559	.names _n6c
	560	0
	561	.names _n5d<0> _n64<0> _n6c _n6b<0>
	562	.def 0
	563	0 0 1 1
	564	0 1 0 1
	565	1 0 0 1
	566	1 1 1 1
	567	# carry/borrow
	568	.names _n6e
	569	0
	570	.names _n5d<0> _n64<0> _n6e _n6d
	571	.def 0
	572	0 0 1 1
	573	0 1 0 1
	574	0 1 1 1
	575	1 1 1 1
	576	.names _n5d<1> _n64<1> _n6d _n6b<1>
	577	.def 0
	578	0 0 1 1
	579	0 1 0 1
	580	1 0 0 1
	581	1 1 1 1
	582	# carry/borrow
	583	.names _n5d<1> _n64<1> _n6d _n6f
	584	.def 0
	585	0 0 1 1
	586	0 1 0 1
	587	0 1 1 1
	588	1 1 1 1
	589	.names _n5d<2> _n64<2> _n6f _n6b<2>
	590	.def 0
	591	0 0 1 1
	592	0 1 0 1
	593	1 0 0 1
	594	1 1 1 1
	595	# carry/borrow
	596	.names _n5d<2> _n64<2> _n6f _n70
	597	.def 0
	598	0 0 1 1
	599	0 1 0 1
	600	0 1 1 1
	601	1 1 1 1
	602	.names _n70 _n6b<3>
	603	1 1
	604	0 0
	605	.names _n6b<4>
	606	0
	607	.names _n6b<5>
	608	0
	609	.names _n6b<0> expProd$_n58_n5c$false<0>
	610	- =_n6b<0>
	611	.names _n6b<1> expProd$_n58_n5c$false<1>
	612	- =_n6b<1>
	613	.names _n6b<2> expProd$_n58_n5c$false<2>
	614	- =_n6b<2>
	615	.names _n6b<3> expProd$_n58_n5c$false<3>
	616	- =_n6b<3>
	617	.names _n6b<4> expProd$_n58_n5c$false<4>
	618	- =_n6b<4>
	619	.names _n6b<5> expProd$_n58_n5c$false<5>
	620	- =_n6b<5>
	621	# if/else (Zero (xExp ,xMant ) \|\| Zero (yExp ,yMant ) )
	622	.names _n58<0> _n75
	623	.def 1
	624	0 0
	625	.names expProd$_n58_n5b$true<0> expProd$_n58_n5c$false<0> _n75 expProd$_n58$raw_n74<0>
	626	0 - 1 0
	627	1 - 1 1
	628	- 0 0 0
	629	- 1 0 1
	630	.names expProd$_n58_n5b$true<1> expProd$_n58_n5c$false<1> _n75 expProd$_n58$raw_n74<1>
	631	0 - 1 0
	632	1 - 1 1
	633	- 0 0 0
	634	- 1 0 1
	635	.names expProd$_n58_n5b$true<2> expProd$_n58_n5c$false<2> _n75 expProd$_n58$raw_n74<2>
	636	0 - 1 0
	637	1 - 1 1
	638	- 0 0 0
	639	- 1 0 1
	640	.names expProd$_n58_n5b$true<3> expProd$_n58_n5c$false<3> _n75 expProd$_n58$raw_n74<3>
	641	0 - 1 0
	642	1 - 1 1
	643	- 0 0 0
	644	- 1 0 1
	645	.names expProd$_n58_n5b$true<4> expProd$_n58_n5c$false<4> _n75 expProd$_n58$raw_n74<4>
	646	0 - 1 0
	647	1 - 1 1
	648	- 0 0 0
	649	- 1 0 1
	650	.names expProd$_n58_n5b$true<5> expProd$_n58_n5c$false<5> _n75 expProd$_n58$raw_n74<5>
	651	0 - 1 0
	652	1 - 1 1
	653	- 0 0 0
	654	- 1 0 1
	655	# signProd = xSign ^ ySign
	656	# xSign ^ ySign
	657	.names xSign ySign _n81
	658	.def 0
	659	0 1 1
	660	1 0 1
	661	.names _n81 signProd$_n4e_n80$true
	662	- =_n81
	663	# state = 2
	664	.names state$_n4e_n82$true<0>
	665	0
	666	.names state$_n4e_n82$true<1>
	667	1
	668	.names _n85<0>
	669	0
	670	.names _n85<1>
	671	1
	672	.names state<0> _n85<0> _n86<0>
	673	.def 0
	674	0 1 1
	675	1 0 1
	676	.names state<1> _n85<1> _n86<1>
	677	.def 0
	678	0 1 1
	679	1 0 1
	680	.names _n86<0> _n86<1> _n87
	681	.def 1
	682	0 0 0
	683	.names _n87 _n84
	684	0 1
	685	1 0
	686	.names _n84 _n83
	687	1 1
	688	0 0
	689	.subckt NaN _n89 NaN<0>=_n88<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2>
	690	.subckt NaN _n8b NaN<0>=_n8a<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2>
	691	# NaN (xExp ,xMant ) \|\| NaN (yExp ,yMant )
	692	.names _n88<0> _n8a<0> _n8c<0>
	693	.def 1
	694	0 0 0
	695	.subckt Infinity _n8e Infinity<0>=_n8d<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2>
	696	.subckt Zero _n90 Zero<0>=_n8f<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2>
	697	# Infinity (xExp ,xMant ) && Zero (yExp ,yMant )
	698	.names _n8d<0> _n8f<0> _n91<0>
	699	.def 0
	700	1 1 1
	701	# NaN (xExp ,xMant ) \|\| NaN (yExp ,yMant ) \|\| Infinity (xExp ,xMant ) && Zero (yExp ,yMant )
	702	.names _n8c<0> _n91<0> _n92<0>
	703	.def 1
	704	0 0 0
	705	.subckt Zero _n94 Zero<0>=_n93<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2>
	706	.subckt Infinity _n96 Infinity<0>=_n95<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2>
	707	# Zero (xExp ,xMant ) && Infinity (yExp ,yMant )
	708	.names _n93<0> _n95<0> _n97<0>
	709	.def 0
	710	1 1 1
	711	# NaN (xExp ,xMant ) \|\| NaN (yExp ,yMant ) \|\| Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) \|\| Zero (xExp ,xMant ) && Infinity (yExp ,yMant )
	712	.names _n92<0> _n97<0> _n98<0>
	713	.def 1
	714	0 0 0
	715	.names _n98<0> _n9a
	716	.def 1
	717	0 0
	718	.names _n9a _n99
	719	- =_n9a
	720	# z = {'b0, {'b1}, {'b1}}
	721	.names _n9e
	722	1
	723	.names _n9e _n9d<0>
	724	- =_n9e
	725	.names _n9f
	726	0
	727	.names _na0
	728	1
	729	.names _na0 _n9d<1>
	730	- =_na0
	731	.names _na1
	732	0
	733	.names _na2
	734	1
	735	.names _na2 _n9d<2>
	736	- =_na2
	737	.names _na3
	738	0
	739	.names _n9d<0> _n9c<0>
	740	- =_n9d<0>
	741	.names _n9d<1> _n9c<1>
	742	- =_n9d<1>
	743	.names _n9d<2> _n9c<2>
	744	- =_n9d<2>
	745	.names _na5
	746	1
	747	.names _na5 _na4<0>
	748	- =_na5
	749	.names _na6
	750	0
	751	.names _na7
	752	1
	753	.names _na7 _na4<1>
	754	- =_na7
	755	.names _na8
	756	0
	757	.names _na9
	758	1
	759	.names _na9 _na4<2>
	760	- =_na9
	761	.names _naa
	762	0
	763	.names _nab
	764	1
	765	.names _nab _na4<3>
	766	- =_nab
	767	.names _nac
	768	0
	769	.names _na4<0> _n9c<3>
	770	- =_na4<0>
	771	.names _na4<1> _n9c<4>
	772	- =_na4<1>
	773	.names _na4<2> _n9c<5>
	774	- =_na4<2>
	775	.names _na4<3> _n9c<6>
	776	- =_na4<3>
	777	.names _nad
	778	0
	779	.names _nad _n9c<7>
	780	- =_nad
	781	.names _nae
	782	0
	783	.names _n9c<0> z$_n98_n9b$true<0>
	784	- =_n9c<0>
	785	.names _n9c<1> z$_n98_n9b$true<1>
	786	- =_n9c<1>
	787	.names _n9c<2> z$_n98_n9b$true<2>
	788	- =_n9c<2>
	789	.names _n9c<3> z$_n98_n9b$true<3>
	790	- =_n9c<3>
	791	.names _n9c<4> z$_n98_n9b$true<4>
	792	- =_n9c<4>
	793	.names _n9c<5> z$_n98_n9b$true<5>
	794	- =_n9c<5>
	795	.names _n9c<6> z$_n98_n9b$true<6>
	796	- =_n9c<6>
	797	.names _n9c<7> z$_n98_n9b$true<7>
	798	- =_n9c<7>
	799	.subckt Infinity _nb0 Infinity<0>=_naf<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2>
	800	.subckt Infinity _nb2 Infinity<0>=_nb1<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2>
	801	# Infinity (xExp ,xMant ) \|\| Infinity (yExp ,yMant )
	802	.names _naf<0> _nb1<0> _nb3<0>
	803	.def 1
	804	0 0 0
	805	.names _nb3<0> _nb5
	806	.def 1
	807	0 0
	808	.names _nb5 _nb4
	809	- =_nb5
	810	# z = {signProd , {'b1}, {'b0}}
	811	.names _nb9
	812	0
	813	.names _nb9 _nb8<0>
	814	- =_nb9
	815	.names _nba
	816	0
	817	.names _nbb
	818	0
	819	.names _nbb _nb8<1>
	820	- =_nbb
	821	.names _nbc
	822	0
	823	.names _nbd
	824	0
	825	.names _nbd _nb8<2>
	826	- =_nbd
	827	.names _nbe
	828	0
	829	.names _nb8<0> _nb7<0>
	830	- =_nb8<0>
	831	.names _nb8<1> _nb7<1>
	832	- =_nb8<1>
	833	.names _nb8<2> _nb7<2>
	834	- =_nb8<2>
	835	.names _nc0
	836	1
	837	.names _nc0 _nbf<0>
	838	- =_nc0
	839	.names _nc1
	840	0
	841	.names _nc2
	842	1
	843	.names _nc2 _nbf<1>
	844	- =_nc2
	845	.names _nc3
	846	0
	847	.names _nc4
	848	1
	849	.names _nc4 _nbf<2>
	850	- =_nc4
	851	.names _nc5
	852	0
	853	.names _nc6
	854	1
	855	.names _nc6 _nbf<3>
	856	- =_nc6
	857	.names _nc7
	858	0
	859	.names _nbf<0> _nb7<3>
	860	- =_nbf<0>
	861	.names _nbf<1> _nb7<4>
	862	- =_nbf<1>
	863	.names _nbf<2> _nb7<5>
	864	- =_nbf<2>
	865	.names _nbf<3> _nb7<6>
	866	- =_nbf<3>
	867	.names signProd _nb7<7>
	868	- =signProd
	869	.names _nc8
	870	0
	871	.names _nb7<0> z$_nb3_nb6$true<0>
	872	- =_nb7<0>
	873	.names _nb7<1> z$_nb3_nb6$true<1>
	874	- =_nb7<1>
	875	.names _nb7<2> z$_nb3_nb6$true<2>
	876	- =_nb7<2>
	877	.names _nb7<3> z$_nb3_nb6$true<3>
	878	- =_nb7<3>
	879	.names _nb7<4> z$_nb3_nb6$true<4>
	880	- =_nb7<4>
	881	.names _nb7<5> z$_nb3_nb6$true<5>
	882	- =_nb7<5>
	883	.names _nb7<6> z$_nb3_nb6$true<6>
	884	- =_nb7<6>
	885	.names _nb7<7> z$_nb3_nb6$true<7>
	886	- =_nb7<7>
	887	.names _nca<0>
	888	0
	889	.names _nca<1>
	890	0
	891	.names _nca<2>
	892	0
	893	.names _nca<3>
	894	0
	895	.names _nca<4>
	896	0
	897	.names _nca<5>
	898	0
	899	# scaledExp == 0
	900	.names scaledExp<0> _nca<0> _ncb<0>
	901	.def 0
	902	0 1 1
	903	1 0 1
	904	.names scaledExp<1> _nca<1> _ncb<1>
	905	.def 0
	906	0 1 1
	907	1 0 1
	908	.names scaledExp<2> _nca<2> _ncb<2>
	909	.def 0
	910	0 1 1
	911	1 0 1
	912	.names scaledExp<3> _nca<3> _ncb<3>
	913	.def 0
	914	0 1 1
	915	1 0 1
	916	.names scaledExp<4> _nca<4> _ncb<4>
	917	.def 0
	918	0 1 1
	919	1 0 1
	920	.names scaledExp<5> _nca<5> _ncb<5>
	921	.def 0
	922	0 1 1
	923	1 0 1
	924	.names _ncb<0> _ncb<1> _ncb<2> _ncb<3> _ncb<4> _ncb<5> _ncc
	925	.def 1
	926	0 0 0 0 0 0 0
	927	.names _ncc _nc9
	928	0 1
	929	1 0
	930	# scaledExp [4 + 1] \|\| scaledExp == 0
	931	.names scaledExp<5> _nc9 _ncd<5>
	932	.def 1
	933	0 0 0
	934	.names _nce
	935	0
	936	.names _ncd<5> _nd0
	937	.def 1
	938	0 0
	939	.names _nd0 _ncf
	940	- =_nd0
	941	# z = {signProd , {'b0}}
	942	.names _nd4
	943	0
	944	.names _nd4 _nd3<0>
	945	- =_nd4
	946	.names _nd5
	947	0
	948	.names _nd6
	949	0
	950	.names _nd6 _nd3<1>
	951	- =_nd6
	952	.names _nd7
	953	0
	954	.names _nd8
	955	0
	956	.names _nd8 _nd3<2>
	957	- =_nd8
	958	.names _nd9
	959	0
	960	.names _nda
	961	0
	962	.names _nda _nd3<3>
	963	- =_nda
	964	.names _ndb
	965	0
	966	.names _ndc
	967	0
	968	.names _ndc _nd3<4>
	969	- =_ndc
	970	.names _ndd
	971	0
	972	.names _nde
	973	0
	974	.names _nde _nd3<5>
	975	- =_nde
	976	.names _ndf
	977	0
	978	.names _ne0
	979	0
	980	.names _ne0 _nd3<6>
	981	- =_ne0
	982	.names _ne1
	983	0
	984	.names _nd3<0> _nd2<0>
	985	- =_nd3<0>
	986	.names _nd3<1> _nd2<1>
	987	- =_nd3<1>
	988	.names _nd3<2> _nd2<2>
	989	- =_nd3<2>
	990	.names _nd3<3> _nd2<3>
	991	- =_nd3<3>
	992	.names _nd3<4> _nd2<4>
	993	- =_nd3<4>
	994	.names _nd3<5> _nd2<5>
	995	- =_nd3<5>
	996	.names _nd3<6> _nd2<6>
	997	- =_nd3<6>
	998	.names signProd _nd2<7>
	999	- =signProd
	1000	.names _ne2
	1001	0
	1002	.names _nd2<0> z$_ncd_nd1$true<0>
	1003	- =_nd2<0>
	1004	.names _nd2<1> z$_ncd_nd1$true<1>
	1005	- =_nd2<1>
	1006	.names _nd2<2> z$_ncd_nd1$true<2>
	1007	- =_nd2<2>
	1008	.names _nd2<3> z$_ncd_nd1$true<3>
	1009	- =_nd2<3>
	1010	.names _nd2<4> z$_ncd_nd1$true<4>
	1011	- =_nd2<4>
	1012	.names _nd2<5> z$_ncd_nd1$true<5>
	1013	- =_nd2<5>
	1014	.names _nd2<6> z$_ncd_nd1$true<6>
	1015	- =_nd2<6>
	1016	.names _nd2<7> z$_ncd_nd1$true<7>
	1017	- =_nd2<7>
	1018	.names _ne4
	1019	1
	1020	.names _ne4 _ne3<0>
	1021	- =_ne4
	1022	.names _ne5
	1023	0
	1024	.names _ne6
	1025	1
	1026	.names _ne6 _ne3<1>
	1027	- =_ne6
	1028	.names _ne7
	1029	0
	1030	.names _ne8
	1031	1
	1032	.names _ne8 _ne3<2>
	1033	- =_ne8
	1034	.names _ne9
	1035	0
	1036	.names _nea
	1037	1
	1038	.names _nea _ne3<3>
	1039	- =_nea
	1040	.names _neb
	1041	0
	1042	# scaledExp >= {'b1}
	1043	.names _nee
	1044	0
	1045	.names scaledExp<0> _ne3<0> _nee _ned<0>
	1046	.def 0
	1047	0 0 1 1
	1048	0 1 0 1
	1049	1 0 0 1
	1050	1 1 1 1
	1051	# carry/borrow
	1052	.names _nf0
	1053	0
	1054	.names scaledExp<0> _ne3<0> _nf0 _nef
	1055	.def 0
	1056	0 0 1 1
	1057	0 1 0 1
	1058	0 1 1 1
	1059	1 1 1 1
	1060	.names scaledExp<1> _ne3<1> _nef _ned<1>
	1061	.def 0
	1062	0 0 1 1
	1063	0 1 0 1
	1064	1 0 0 1
	1065	1 1 1 1
	1066	# carry/borrow
	1067	.names scaledExp<1> _ne3<1> _nef _nf1
	1068	.def 0
	1069	0 0 1 1
	1070	0 1 0 1
	1071	0 1 1 1
	1072	1 1 1 1
	1073	.names scaledExp<2> _ne3<2> _nf1 _ned<2>
	1074	.def 0
	1075	0 0 1 1
	1076	0 1 0 1
	1077	1 0 0 1
	1078	1 1 1 1
	1079	# carry/borrow
	1080	.names scaledExp<2> _ne3<2> _nf1 _nf2
	1081	.def 0
	1082	0 0 1 1
	1083	0 1 0 1
	1084	0 1 1 1
	1085	1 1 1 1
	1086	.names scaledExp<3> _ne3<3> _nf2 _ned<3>
	1087	.def 0
	1088	0 0 1 1
	1089	0 1 0 1
	1090	1 0 0 1
	1091	1 1 1 1
	1092	# carry/borrow
	1093	.names scaledExp<3> _ne3<3> _nf2 _nf3
	1094	.def 0
	1095	0 0 1 1
	1096	0 1 0 1
	1097	0 1 1 1
	1098	1 1 1 1
	1099	.names _nf4
	1100	0
	1101	.names scaledExp<4> _nf4 _nf3 _ned<4>
	1102	.def 0
	1103	0 0 1 1
	1104	0 1 0 1
	1105	1 0 0 1
	1106	1 1 1 1
	1107	# carry/borrow
	1108	.names scaledExp<4> _nf4 _nf3 _nf5
	1109	.def 0
	1110	0 0 1 1
	1111	0 1 0 1
	1112	0 1 1 1
	1113	1 1 1 1
	1114	.names _nf6
	1115	0
	1116	.names scaledExp<5> _nf6 _nf5 _ned<5>
	1117	.def 0
	1118	0 0 1 1
	1119	0 1 0 1
	1120	1 0 0 1
	1121	1 1 1 1
	1122	# carry/borrow
	1123	.names scaledExp<5> _nf6 _nf5 _nf7
	1124	.def 0
	1125	0 0 1 1
	1126	0 1 0 1
	1127	0 1 1 1
	1128	1 1 1 1
	1129	.names _ned<0> _ned<1> _ned<2> _ned<3> _ned<4> _ned<5> _nf8
	1130	.def 1
	1131	0 0 0 0 0 0 0
	1132	.names _nf7 _nf8 _nf9
	1133	.def 0
	1134	1 1 1
	1135	.names _nf9 _nec
	1136	0 1
	1137	1 0
	1138	.names _nec _nfa
	1139	- =_nec
	1140	# z = {signProd , {'b1}, {'b0}}
	1141	.names _nfe
	1142	0
	1143	.names _nfe _nfd<0>
	1144	- =_nfe
	1145	.names _nff
	1146	0
	1147	.names _n100
	1148	0
	1149	.names _n100 _nfd<1>
	1150	- =_n100
	1151	.names _n101
	1152	0
	1153	.names _n102
	1154	0
	1155	.names _n102 _nfd<2>
	1156	- =_n102
	1157	.names _n103
	1158	0
	1159	.names _nfd<0> _nfc<0>
	1160	- =_nfd<0>
	1161	.names _nfd<1> _nfc<1>
	1162	- =_nfd<1>
	1163	.names _nfd<2> _nfc<2>
	1164	- =_nfd<2>
	1165	.names _n105
	1166	1
	1167	.names _n105 _n104<0>
	1168	- =_n105
	1169	.names _n106
	1170	0
	1171	.names _n107
	1172	1
	1173	.names _n107 _n104<1>
	1174	- =_n107
	1175	.names _n108
	1176	0
	1177	.names _n109
	1178	1
	1179	.names _n109 _n104<2>
	1180	- =_n109
	1181	.names _n10a
	1182	0
	1183	.names _n10b
	1184	1
	1185	.names _n10b _n104<3>
	1186	- =_n10b
	1187	.names _n10c
	1188	0
	1189	.names _n104<0> _nfc<3>
	1190	- =_n104<0>
	1191	.names _n104<1> _nfc<4>
	1192	- =_n104<1>
	1193	.names _n104<2> _nfc<5>
	1194	- =_n104<2>
	1195	.names _n104<3> _nfc<6>
	1196	- =_n104<3>
	1197	.names signProd _nfc<7>
	1198	- =signProd
	1199	.names _n10d
	1200	0
	1201	.names _nfc<0> z$_nec_nfb$true<0>
	1202	- =_nfc<0>
	1203	.names _nfc<1> z$_nec_nfb$true<1>
	1204	- =_nfc<1>
	1205	.names _nfc<2> z$_nec_nfb$true<2>
	1206	- =_nfc<2>
	1207	.names _nfc<3> z$_nec_nfb$true<3>
	1208	- =_nfc<3>
	1209	.names _nfc<4> z$_nec_nfb$true<4>
	1210	- =_nfc<4>
	1211	.names _nfc<5> z$_nec_nfb$true<5>
	1212	- =_nfc<5>
	1213	.names _nfc<6> z$_nec_nfb$true<6>
	1214	- =_nfc<6>
	1215	.names _nfc<7> z$_nec_nfb$true<7>
	1216	- =_nfc<7>
	1217	# z = {signProd , scaledExp [4 - 1 : 0], scaledMant }
	1218	.names scaledMant<0> _n10f<0>
	1219	- =scaledMant<0>
	1220	.names scaledMant<1> _n10f<1>
	1221	- =scaledMant<1>
	1222	.names scaledMant<2> _n10f<2>
	1223	- =scaledMant<2>
	1224	.names scaledExp<0> _n10f<3>
	1225	- =scaledExp<0>
	1226	.names scaledExp<1> _n10f<4>
	1227	- =scaledExp<1>
	1228	.names scaledExp<2> _n10f<5>
	1229	- =scaledExp<2>
	1230	.names scaledExp<3> _n10f<6>
	1231	- =scaledExp<3>
	1232	.names signProd _n10f<7>
	1233	- =signProd
	1234	.names _n110
	1235	0
	1236	.names _n10f<0> z$_nec_n10e$false<0>
	1237	- =_n10f<0>
	1238	.names _n10f<1> z$_nec_n10e$false<1>
	1239	- =_n10f<1>
	1240	.names _n10f<2> z$_nec_n10e$false<2>
	1241	- =_n10f<2>
	1242	.names _n10f<3> z$_nec_n10e$false<3>
	1243	- =_n10f<3>
	1244	.names _n10f<4> z$_nec_n10e$false<4>
	1245	- =_n10f<4>
	1246	.names _n10f<5> z$_nec_n10e$false<5>
	1247	- =_n10f<5>
	1248	.names _n10f<6> z$_nec_n10e$false<6>
	1249	- =_n10f<6>
	1250	.names _n10f<7> z$_nec_n10e$false<7>
	1251	- =_n10f<7>
	1252	# if/else (scaledExp >= {'b1})
	1253	.names z$_nec_nfb$true<0> z$_nec_n10e$false<0> _nec z$_nec$raw_n112<0>
	1254	0 - 1 0
	1255	1 - 1 1
	1256	- 0 0 0
	1257	- 1 0 1
	1258	.names z$_nec_nfb$true<1> z$_nec_n10e$false<1> _nec z$_nec$raw_n112<1>
	1259	0 - 1 0
	1260	1 - 1 1
	1261	- 0 0 0
	1262	- 1 0 1
	1263	.names z$_nec_nfb$true<2> z$_nec_n10e$false<2> _nec z$_nec$raw_n112<2>
	1264	0 - 1 0
	1265	1 - 1 1
	1266	- 0 0 0
	1267	- 1 0 1
	1268	.names z$_nec_nfb$true<3> z$_nec_n10e$false<3> _nec z$_nec$raw_n112<3>
	1269	0 - 1 0
	1270	1 - 1 1
	1271	- 0 0 0
	1272	- 1 0 1
	1273	.names z$_nec_nfb$true<4> z$_nec_n10e$false<4> _nec z$_nec$raw_n112<4>
	1274	0 - 1 0
	1275	1 - 1 1
	1276	- 0 0 0
	1277	- 1 0 1
	1278	.names z$_nec_nfb$true<5> z$_nec_n10e$false<5> _nec z$_nec$raw_n112<5>
	1279	0 - 1 0
	1280	1 - 1 1
	1281	- 0 0 0
	1282	- 1 0 1
	1283	.names z$_nec_nfb$true<6> z$_nec_n10e$false<6> _nec z$_nec$raw_n112<6>
	1284	0 - 1 0
	1285	1 - 1 1
	1286	- 0 0 0
	1287	- 1 0 1
	1288	.names z$_nec_nfb$true<7> z$_nec_n10e$false<7> _nec z$_nec$raw_n112<7>
	1289	0 - 1 0
	1290	1 - 1 1
	1291	- 0 0 0
	1292	- 1 0 1
	1293	# if/else (scaledExp [4 + 1] \|\| scaledExp == 0)
	1294	.names _ncd<5> _n11f
	1295	.def 1
	1296	0 0
	1297	.names z$_ncd_nd1$true<0> z$_nec$raw_n112<0> _n11f z$_ncd$raw_n11e<0>
	1298	0 - 1 0
	1299	1 - 1 1
	1300	- 0 0 0
	1301	- 1 0 1
	1302	.names z$_ncd_nd1$true<1> z$_nec$raw_n112<1> _n11f z$_ncd$raw_n11e<1>
	1303	0 - 1 0
	1304	1 - 1 1
	1305	- 0 0 0
	1306	- 1 0 1
	1307	.names z$_ncd_nd1$true<2> z$_nec$raw_n112<2> _n11f z$_ncd$raw_n11e<2>
	1308	0 - 1 0
	1309	1 - 1 1
	1310	- 0 0 0
	1311	- 1 0 1
	1312	.names z$_ncd_nd1$true<3> z$_nec$raw_n112<3> _n11f z$_ncd$raw_n11e<3>
	1313	0 - 1 0
	1314	1 - 1 1
	1315	- 0 0 0
	1316	- 1 0 1
	1317	.names z$_ncd_nd1$true<4> z$_nec$raw_n112<4> _n11f z$_ncd$raw_n11e<4>
	1318	0 - 1 0
	1319	1 - 1 1
	1320	- 0 0 0
	1321	- 1 0 1
	1322	.names z$_ncd_nd1$true<5> z$_nec$raw_n112<5> _n11f z$_ncd$raw_n11e<5>
	1323	0 - 1 0
	1324	1 - 1 1
	1325	- 0 0 0
	1326	- 1 0 1
	1327	.names z$_ncd_nd1$true<6> z$_nec$raw_n112<6> _n11f z$_ncd$raw_n11e<6>
	1328	0 - 1 0
	1329	1 - 1 1
	1330	- 0 0 0
	1331	- 1 0 1
	1332	.names z$_ncd_nd1$true<7> z$_nec$raw_n112<7> _n11f z$_ncd$raw_n11e<7>
	1333	0 - 1 0
	1334	1 - 1 1
	1335	- 0 0 0
	1336	- 1 0 1
	1337	# if/else (Infinity (xExp ,xMant ) \|\| Infinity (yExp ,yMant ) )
	1338	.names _nb3<0> _n12c
	1339	.def 1
	1340	0 0
	1341	.names z$_nb3_nb6$true<0> z$_ncd$raw_n11e<0> _n12c z$_nb3$raw_n12b<0>
	1342	0 - 1 0
	1343	1 - 1 1
	1344	- 0 0 0
	1345	- 1 0 1
	1346	.names z$_nb3_nb6$true<1> z$_ncd$raw_n11e<1> _n12c z$_nb3$raw_n12b<1>
	1347	0 - 1 0
	1348	1 - 1 1
	1349	- 0 0 0
	1350	- 1 0 1
	1351	.names z$_nb3_nb6$true<2> z$_ncd$raw_n11e<2> _n12c z$_nb3$raw_n12b<2>
	1352	0 - 1 0
	1353	1 - 1 1
	1354	- 0 0 0
	1355	- 1 0 1
	1356	.names z$_nb3_nb6$true<3> z$_ncd$raw_n11e<3> _n12c z$_nb3$raw_n12b<3>
	1357	0 - 1 0
	1358	1 - 1 1
	1359	- 0 0 0
	1360	- 1 0 1
	1361	.names z$_nb3_nb6$true<4> z$_ncd$raw_n11e<4> _n12c z$_nb3$raw_n12b<4>
	1362	0 - 1 0
	1363	1 - 1 1
	1364	- 0 0 0
	1365	- 1 0 1
	1366	.names z$_nb3_nb6$true<5> z$_ncd$raw_n11e<5> _n12c z$_nb3$raw_n12b<5>
	1367	0 - 1 0
	1368	1 - 1 1
	1369	- 0 0 0
	1370	- 1 0 1
	1371	.names z$_nb3_nb6$true<6> z$_ncd$raw_n11e<6> _n12c z$_nb3$raw_n12b<6>
	1372	0 - 1 0
	1373	1 - 1 1
	1374	- 0 0 0
	1375	- 1 0 1
	1376	.names z$_nb3_nb6$true<7> z$_ncd$raw_n11e<7> _n12c z$_nb3$raw_n12b<7>
	1377	0 - 1 0
	1378	1 - 1 1
	1379	- 0 0 0
	1380	- 1 0 1
	1381	# if/else (NaN (xExp ,xMant ) \|\| NaN (yExp ,yMant ) \|\| Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) \|\| Zero (xExp ,xMant ) && Infinity (yExp ,yMant ) )
	1382	.names _n98<0> _n139
	1383	.def 1
	1384	0 0
	1385	.names z$_n98_n9b$true<0> z$_nb3$raw_n12b<0> _n139 z$_n98$raw_n138<0>
	1386	0 - 1 0
	1387	1 - 1 1
	1388	- 0 0 0
	1389	- 1 0 1
	1390	.names z$_n98_n9b$true<1> z$_nb3$raw_n12b<1> _n139 z$_n98$raw_n138<1>
	1391	0 - 1 0
	1392	1 - 1 1
	1393	- 0 0 0
	1394	- 1 0 1
	1395	.names z$_n98_n9b$true<2> z$_nb3$raw_n12b<2> _n139 z$_n98$raw_n138<2>
	1396	0 - 1 0
	1397	1 - 1 1
	1398	- 0 0 0
	1399	- 1 0 1
	1400	.names z$_n98_n9b$true<3> z$_nb3$raw_n12b<3> _n139 z$_n98$raw_n138<3>
	1401	0 - 1 0
	1402	1 - 1 1
	1403	- 0 0 0
	1404	- 1 0 1
	1405	.names z$_n98_n9b$true<4> z$_nb3$raw_n12b<4> _n139 z$_n98$raw_n138<4>
	1406	0 - 1 0
	1407	1 - 1 1
	1408	- 0 0 0
	1409	- 1 0 1
	1410	.names z$_n98_n9b$true<5> z$_nb3$raw_n12b<5> _n139 z$_n98$raw_n138<5>
	1411	0 - 1 0
	1412	1 - 1 1
	1413	- 0 0 0
	1414	- 1 0 1
	1415	.names z$_n98_n9b$true<6> z$_nb3$raw_n12b<6> _n139 z$_n98$raw_n138<6>
	1416	0 - 1 0
	1417	1 - 1 1
	1418	- 0 0 0
	1419	- 1 0 1
	1420	.names z$_n98_n9b$true<7> z$_nb3$raw_n12b<7> _n139 z$_n98$raw_n138<7>
	1421	0 - 1 0
	1422	1 - 1 1
	1423	- 0 0 0
	1424	- 1 0 1
	1425	# state = 0
	1426	.names state$_n83_n144$true<0>
	1427	0
	1428	.names state$_n83_n144$true<1>
	1429	0
	1430	# case (state )
	1431	.names z$_n98$raw_n138<0> z<0> _n83 z$_n83$raw_n149<0>
	1432	0 - 1 0
	1433	1 - 1 1
	1434	- 0 0 0
	1435	- 1 0 1
	1436	.names z$_n98$raw_n138<1> z<1> _n83 z$_n83$raw_n149<1>
	1437	0 - 1 0
	1438	1 - 1 1
	1439	- 0 0 0
	1440	- 1 0 1
	1441	.names z$_n98$raw_n138<2> z<2> _n83 z$_n83$raw_n149<2>
	1442	0 - 1 0
	1443	1 - 1 1
	1444	- 0 0 0
	1445	- 1 0 1
	1446	.names z$_n98$raw_n138<3> z<3> _n83 z$_n83$raw_n149<3>
	1447	0 - 1 0
	1448	1 - 1 1
	1449	- 0 0 0
	1450	- 1 0 1
	1451	.names z$_n98$raw_n138<4> z<4> _n83 z$_n83$raw_n149<4>
	1452	0 - 1 0
	1453	1 - 1 1
	1454	- 0 0 0
	1455	- 1 0 1
	1456	.names z$_n98$raw_n138<5> z<5> _n83 z$_n83$raw_n149<5>
	1457	0 - 1 0
	1458	1 - 1 1
	1459	- 0 0 0
	1460	- 1 0 1
	1461	.names z$_n98$raw_n138<6> z<6> _n83 z$_n83$raw_n149<6>
	1462	0 - 1 0
	1463	1 - 1 1
	1464	- 0 0 0
	1465	- 1 0 1
	1466	.names z$_n98$raw_n138<7> z<7> _n83 z$_n83$raw_n149<7>
	1467	0 - 1 0
	1468	1 - 1 1
	1469	- 0 0 0
	1470	- 1 0 1
	1471	.names state$_n83_n144$true<0> state<0> _n83 state$_n83$raw_n152<0>
	1472	0 - 1 0
	1473	1 - 1 1
	1474	- 0 0 0
	1475	- 1 0 1
	1476	.names state$_n83_n144$true<1> state<1> _n83 state$_n83$raw_n152<1>
	1477	0 - 1 0
	1478	1 - 1 1
	1479	- 0 0 0
	1480	- 1 0 1
	1481	.names state$_n4e_n82$true<0> state$_n83$raw_n152<0> _n4e state$_n4e$raw_n157<0>
	1482	0 - 1 0
	1483	1 - 1 1
	1484	- 0 0 0
	1485	- 1 0 1
	1486	.names state$_n4e_n82$true<1> state$_n83$raw_n152<1> _n4e state$_n4e$raw_n157<1>
	1487	0 - 1 0
	1488	1 - 1 1
	1489	- 0 0 0
	1490	- 1 0 1
	1491	.names signProd$_n4e_n80$true signProd _n4e signProd$_n4e$raw_n15f
	1492	0 - 1 0
	1493	1 - 1 1
	1494	- 0 0 0
	1495	- 1 0 1
	1496	.names mantProd$_n4e_n53$true<0> mantProd<0> _n4e mantProd$_n4e$raw_n161<0>
	1497	0 - 1 0
	1498	1 - 1 1
	1499	- 0 0 0
	1500	- 1 0 1
	1501	.names mantProd$_n4e_n53$true<1> mantProd<1> _n4e mantProd$_n4e$raw_n161<1>
	1502	0 - 1 0
	1503	1 - 1 1
	1504	- 0 0 0
	1505	- 1 0 1
	1506	.names mantProd$_n4e_n53$true<2> mantProd<2> _n4e mantProd$_n4e$raw_n161<2>
	1507	0 - 1 0
	1508	1 - 1 1
	1509	- 0 0 0
	1510	- 1 0 1
	1511	.names mantProd$_n4e_n53$true<3> mantProd<3> _n4e mantProd$_n4e$raw_n161<3>
	1512	0 - 1 0
	1513	1 - 1 1
	1514	- 0 0 0
	1515	- 1 0 1
	1516	.names mantProd$_n4e_n53$true<4> mantProd<4> _n4e mantProd$_n4e$raw_n161<4>
	1517	0 - 1 0
	1518	1 - 1 1
	1519	- 0 0 0
	1520	- 1 0 1
	1521	.names mantProd$_n4e_n53$true<5> mantProd<5> _n4e mantProd$_n4e$raw_n161<5>
	1522	0 - 1 0
	1523	1 - 1 1
	1524	- 0 0 0
	1525	- 1 0 1
	1526	.names mantProd$_n4e_n53$true<6> mantProd<6> _n4e mantProd$_n4e$raw_n161<6>
	1527	0 - 1 0
	1528	1 - 1 1
	1529	- 0 0 0
	1530	- 1 0 1
	1531	.names mantProd$_n4e_n53$true<7> mantProd<7> _n4e mantProd$_n4e$raw_n161<7>
	1532	0 - 1 0
	1533	1 - 1 1
	1534	- 0 0 0
	1535	- 1 0 1
	1536	.names expProd$_n58$raw_n74<0> expProd<0> _n4e expProd$_n4e$raw_n16b<0>
	1537	0 - 1 0
	1538	1 - 1 1
	1539	- 0 0 0
	1540	- 1 0 1
	1541	.names expProd$_n58$raw_n74<1> expProd<1> _n4e expProd$_n4e$raw_n16b<1>
	1542	0 - 1 0
	1543	1 - 1 1
	1544	- 0 0 0
	1545	- 1 0 1
	1546	.names expProd$_n58$raw_n74<2> expProd<2> _n4e expProd$_n4e$raw_n16b<2>
	1547	0 - 1 0
	1548	1 - 1 1
	1549	- 0 0 0
	1550	- 1 0 1
	1551	.names expProd$_n58$raw_n74<3> expProd<3> _n4e expProd$_n4e$raw_n16b<3>
	1552	0 - 1 0
	1553	1 - 1 1
	1554	- 0 0 0
	1555	- 1 0 1
	1556	.names expProd$_n58$raw_n74<4> expProd<4> _n4e expProd$_n4e$raw_n16b<4>
	1557	0 - 1 0
	1558	1 - 1 1
	1559	- 0 0 0
	1560	- 1 0 1
	1561	.names expProd$_n58$raw_n74<5> expProd<5> _n4e expProd$_n4e$raw_n16b<5>
	1562	0 - 1 0
	1563	1 - 1 1
	1564	- 0 0 0
	1565	- 1 0 1
	1566	.names z<0> z$_n83$raw_n149<0> _n4e z$_n4e$raw_n172<0>
	1567	0 - 1 0
	1568	1 - 1 1
	1569	- 0 0 0
	1570	- 1 0 1
	1571	.names z<1> z$_n83$raw_n149<1> _n4e z$_n4e$raw_n172<1>
	1572	0 - 1 0
	1573	1 - 1 1
	1574	- 0 0 0
	1575	- 1 0 1
	1576	.names z<2> z$_n83$raw_n149<2> _n4e z$_n4e$raw_n172<2>
	1577	0 - 1 0
	1578	1 - 1 1
	1579	- 0 0 0
	1580	- 1 0 1
	1581	.names z<3> z$_n83$raw_n149<3> _n4e z$_n4e$raw_n172<3>
	1582	0 - 1 0
	1583	1 - 1 1
	1584	- 0 0 0
	1585	- 1 0 1
	1586	.names z<4> z$_n83$raw_n149<4> _n4e z$_n4e$raw_n172<4>
	1587	0 - 1 0
	1588	1 - 1 1
	1589	- 0 0 0
	1590	- 1 0 1
	1591	.names z<5> z$_n83$raw_n149<5> _n4e z$_n4e$raw_n172<5>
	1592	0 - 1 0
	1593	1 - 1 1
	1594	- 0 0 0
	1595	- 1 0 1
	1596	.names z<6> z$_n83$raw_n149<6> _n4e z$_n4e$raw_n172<6>
	1597	0 - 1 0
	1598	1 - 1 1
	1599	- 0 0 0
	1600	- 1 0 1
	1601	.names z<7> z$_n83$raw_n149<7> _n4e z$_n4e$raw_n172<7>
	1602	0 - 1 0
	1603	1 - 1 1
	1604	- 0 0 0
	1605	- 1 0 1
	1606	.names state$start$raw_n46<0> state$_n4e$raw_n157<0> _n12 state$_n12$raw_n182<0>
	1607	0 - 1 0
	1608	1 - 1 1
	1609	- 0 0 0
	1610	- 1 0 1
	1611	.names state$start$raw_n46<1> state$_n4e$raw_n157<1> _n12 state$_n12$raw_n182<1>
	1612	0 - 1 0
	1613	1 - 1 1
	1614	- 0 0 0
	1615	- 1 0 1
	1616	.names yMant$start$raw_n33<0> yMant<0> _n12 yMant$_n12$raw_n18c<0>
	1617	0 - 1 0
	1618	1 - 1 1
	1619	- 0 0 0
	1620	- 1 0 1
	1621	.names yMant$start$raw_n33<1> yMant<1> _n12 yMant$_n12$raw_n18c<1>
	1622	0 - 1 0
	1623	1 - 1 1
	1624	- 0 0 0
	1625	- 1 0 1
	1626	.names yMant$start$raw_n33<2> yMant<2> _n12 yMant$_n12$raw_n18c<2>
	1627	0 - 1 0
	1628	1 - 1 1
	1629	- 0 0 0
	1630	- 1 0 1
	1631	.names yMant$start$raw_n33<3> yMant<3> _n12 yMant$_n12$raw_n18c<3>
	1632	0 - 1 0
	1633	1 - 1 1
	1634	- 0 0 0
	1635	- 1 0 1
	1636	.names ySign$start$raw_n3d ySign _n12 ySign$_n12$raw_n191
	1637	0 - 1 0
	1638	1 - 1 1
	1639	- 0 0 0
	1640	- 1 0 1
	1641	.names yExp$start$raw_n38<0> yExp<0> _n12 yExp$_n12$raw_n193<0>
	1642	0 - 1 0
	1643	1 - 1 1
	1644	- 0 0 0
	1645	- 1 0 1
	1646	.names yExp$start$raw_n38<1> yExp<1> _n12 yExp$_n12$raw_n193<1>
	1647	0 - 1 0
	1648	1 - 1 1
	1649	- 0 0 0
	1650	- 1 0 1
	1651	.names yExp$start$raw_n38<2> yExp<2> _n12 yExp$_n12$raw_n193<2>
	1652	0 - 1 0
	1653	1 - 1 1
	1654	- 0 0 0
	1655	- 1 0 1
	1656	.names yExp$start$raw_n38<3> yExp<3> _n12 yExp$_n12$raw_n193<3>
	1657	0 - 1 0
	1658	1 - 1 1
	1659	- 0 0 0
	1660	- 1 0 1
	1661	.names xExp$start$raw_n3f<0> xExp<0> _n12 xExp$_n12$raw_n198<0>
	1662	0 - 1 0
	1663	1 - 1 1
	1664	- 0 0 0
	1665	- 1 0 1
	1666	.names xExp$start$raw_n3f<1> xExp<1> _n12 xExp$_n12$raw_n198<1>
	1667	0 - 1 0
	1668	1 - 1 1
	1669	- 0 0 0
	1670	- 1 0 1
	1671	.names xExp$start$raw_n3f<2> xExp<2> _n12 xExp$_n12$raw_n198<2>
	1672	0 - 1 0
	1673	1 - 1 1
	1674	- 0 0 0
	1675	- 1 0 1
	1676	.names xExp$start$raw_n3f<3> xExp<3> _n12 xExp$_n12$raw_n198<3>
	1677	0 - 1 0
	1678	1 - 1 1
	1679	- 0 0 0
	1680	- 1 0 1
	1681	.names xSign$start$raw_n44 xSign _n12 xSign$_n12$raw_n19d
	1682	0 - 1 0
	1683	1 - 1 1
	1684	- 0 0 0
	1685	- 1 0 1
	1686	.names xMant$start$raw_n49<0> xMant<0> _n12 xMant$_n12$raw_n19f<0>
	1687	0 - 1 0
	1688	1 - 1 1
	1689	- 0 0 0
	1690	- 1 0 1
	1691	.names xMant$start$raw_n49<1> xMant<1> _n12 xMant$_n12$raw_n19f<1>
	1692	0 - 1 0
	1693	1 - 1 1
	1694	- 0 0 0
	1695	- 1 0 1
	1696	.names xMant$start$raw_n49<2> xMant<2> _n12 xMant$_n12$raw_n19f<2>
	1697	0 - 1 0
	1698	1 - 1 1
	1699	- 0 0 0
	1700	- 1 0 1
	1701	.names xMant$start$raw_n49<3> xMant<3> _n12 xMant$_n12$raw_n19f<3>
	1702	0 - 1 0
	1703	1 - 1 1
	1704	- 0 0 0
	1705	- 1 0 1
	1706	.names signProd signProd$_n4e$raw_n15f _n12 signProd$_n12$raw_n1a5
	1707	0 - 1 0
	1708	1 - 1 1
	1709	- 0 0 0
	1710	- 1 0 1
	1711	.names z<0> z$_n4e$raw_n172<0> _n12 z$_n12$raw_n1a7<0>
	1712	0 - 1 0
	1713	1 - 1 1
	1714	- 0 0 0
	1715	- 1 0 1
	1716	.names z<1> z$_n4e$raw_n172<1> _n12 z$_n12$raw_n1a7<1>
	1717	0 - 1 0
	1718	1 - 1 1
	1719	- 0 0 0
	1720	- 1 0 1
	1721	.names z<2> z$_n4e$raw_n172<2> _n12 z$_n12$raw_n1a7<2>
	1722	0 - 1 0
	1723	1 - 1 1
	1724	- 0 0 0
	1725	- 1 0 1
	1726	.names z<3> z$_n4e$raw_n172<3> _n12 z$_n12$raw_n1a7<3>
	1727	0 - 1 0
	1728	1 - 1 1
	1729	- 0 0 0
	1730	- 1 0 1
	1731	.names z<4> z$_n4e$raw_n172<4> _n12 z$_n12$raw_n1a7<4>
	1732	0 - 1 0
	1733	1 - 1 1
	1734	- 0 0 0
	1735	- 1 0 1
	1736	.names z<5> z$_n4e$raw_n172<5> _n12 z$_n12$raw_n1a7<5>
	1737	0 - 1 0
	1738	1 - 1 1
	1739	- 0 0 0
	1740	- 1 0 1
	1741	.names z<6> z$_n4e$raw_n172<6> _n12 z$_n12$raw_n1a7<6>
	1742	0 - 1 0
	1743	1 - 1 1
	1744	- 0 0 0
	1745	- 1 0 1
	1746	.names z<7> z$_n4e$raw_n172<7> _n12 z$_n12$raw_n1a7<7>
	1747	0 - 1 0
	1748	1 - 1 1
	1749	- 0 0 0
	1750	- 1 0 1
	1751	.names mantProd<0> mantProd$_n4e$raw_n161<0> _n12 mantProd$_n12$raw_n1b0<0>
	1752	0 - 1 0
	1753	1 - 1 1
	1754	- 0 0 0
	1755	- 1 0 1
	1756	.names mantProd<1> mantProd$_n4e$raw_n161<1> _n12 mantProd$_n12$raw_n1b0<1>
	1757	0 - 1 0
	1758	1 - 1 1
	1759	- 0 0 0
	1760	- 1 0 1
	1761	.names mantProd<2> mantProd$_n4e$raw_n161<2> _n12 mantProd$_n12$raw_n1b0<2>
	1762	0 - 1 0
	1763	1 - 1 1
	1764	- 0 0 0
	1765	- 1 0 1
	1766	.names mantProd<3> mantProd$_n4e$raw_n161<3> _n12 mantProd$_n12$raw_n1b0<3>
	1767	0 - 1 0
	1768	1 - 1 1
	1769	- 0 0 0
	1770	- 1 0 1
	1771	.names mantProd<4> mantProd$_n4e$raw_n161<4> _n12 mantProd$_n12$raw_n1b0<4>
	1772	0 - 1 0
	1773	1 - 1 1
	1774	- 0 0 0
	1775	- 1 0 1
	1776	.names mantProd<5> mantProd$_n4e$raw_n161<5> _n12 mantProd$_n12$raw_n1b0<5>
	1777	0 - 1 0
	1778	1 - 1 1
	1779	- 0 0 0
	1780	- 1 0 1
	1781	.names mantProd<6> mantProd$_n4e$raw_n161<6> _n12 mantProd$_n12$raw_n1b0<6>
	1782	0 - 1 0
	1783	1 - 1 1
	1784	- 0 0 0
	1785	- 1 0 1
	1786	.names mantProd<7> mantProd$_n4e$raw_n161<7> _n12 mantProd$_n12$raw_n1b0<7>
	1787	0 - 1 0
	1788	1 - 1 1
	1789	- 0 0 0
	1790	- 1 0 1
	1791	.names expProd<0> expProd$_n4e$raw_n16b<0> _n12 expProd$_n12$raw_n1ba<0>
	1792	0 - 1 0
	1793	1 - 1 1
	1794	- 0 0 0
	1795	- 1 0 1
	1796	.names expProd<1> expProd$_n4e$raw_n16b<1> _n12 expProd$_n12$raw_n1ba<1>
	1797	0 - 1 0
	1798	1 - 1 1
	1799	- 0 0 0
	1800	- 1 0 1
	1801	.names expProd<2> expProd$_n4e$raw_n16b<2> _n12 expProd$_n12$raw_n1ba<2>
	1802	0 - 1 0
	1803	1 - 1 1
	1804	- 0 0 0
	1805	- 1 0 1
	1806	.names expProd<3> expProd$_n4e$raw_n16b<3> _n12 expProd$_n12$raw_n1ba<3>
	1807	0 - 1 0
	1808	1 - 1 1
	1809	- 0 0 0
	1810	- 1 0 1
	1811	.names expProd<4> expProd$_n4e$raw_n16b<4> _n12 expProd$_n12$raw_n1ba<4>
	1812	0 - 1 0
	1813	1 - 1 1
	1814	- 0 0 0
	1815	- 1 0 1
	1816	.names expProd<5> expProd$_n4e$raw_n16b<5> _n12 expProd$_n12$raw_n1ba<5>
	1817	0 - 1 0
	1818	1 - 1 1
	1819	- 0 0 0
	1820	- 1 0 1
	1821	# assign msb = mantProd [2 * 3 + 1]
	1822	.names mantProd<7> msb$raw_n1c1
	1823	- =mantProd<7>
	1824	# assign lsb = mantProd [3 + 1]
	1825	.names mantProd<4> lsb$raw_n1c2
	1826	- =mantProd<4>
	1827	# assign guard = mantProd [3]
	1828	.names mantProd<3> guard$raw_n1c3
	1829	- =mantProd<3>
	1830	# assign round = mantProd [3 - 1]
	1831	.names mantProd<2> round$raw_n1c4
	1832	- =mantProd<2>
	1833	# assign sticky = \|mantProd [3 - 2 : 0]
	1834	.names mantProd<0> mantProd<1> _n1c8
	1835	.def 1
	1836	0 0 0
	1837	.names _n1c8 _n1c6
	1838	- =_n1c8
	1839	.names _n1c6 sticky$raw_n1c5
	1840	- =_n1c6
	1841	# assign preMant = msb ? mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round \| sticky \| lsb ), 'b0} : mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky \| guard )}
	1842	.names _n1cb
	1843	0
	1844	.names _n1cb _n1ca<0>
	1845	- =_n1cb
	1846	.names _n1cc
	1847	0
	1848	# round \| sticky
	1849	.names round sticky _n1cd
	1850	.def 1
	1851	0 0 0
	1852	# round \| sticky \| lsb
	1853	.names _n1cd lsb _n1ce
	1854	.def 1
	1855	0 0 0
	1856	# guard & (round \| sticky \| lsb )
	1857	.names guard _n1ce _n1cf
	1858	.def 0
	1859	1 1 1
	1860	.names _n1cf _n1ca<1>
	1861	- =_n1cf
	1862	.names _n1d0
	1863	0
	1864	.names _n1d2
	1865	0
	1866	.names _n1d2 _n1d1<0>
	1867	- =_n1d2
	1868	.names _n1d3
	1869	0
	1870	.names _n1d4
	1871	0
	1872	.names _n1d4 _n1d1<1>
	1873	- =_n1d4
	1874	.names _n1d5
	1875	0
	1876	.names _n1d6
	1877	0
	1878	.names _n1d6 _n1d1<2>
	1879	- =_n1d6
	1880	.names _n1d7
	1881	0
	1882	.names _n1d1<0> _n1ca<2>
	1883	- =_n1d1<0>
	1884	.names _n1d1<1> _n1ca<3>
	1885	- =_n1d1<1>
	1886	.names _n1d1<2> _n1ca<4>
	1887	- =_n1d1<2>
	1888	# mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round \| sticky \| lsb ), 'b0}
	1889	.names _n1d9
	1890	0
	1891	.names mantProd<3> _n1ca<0> _n1d9 _n1d8<0>
	1892	.def 0
	1893	0 0 1 1
	1894	0 1 0 1
	1895	1 0 0 1
	1896	1 1 1 1
	1897	# carry/borrow
	1898	.names _n1db
	1899	0
	1900	.names mantProd<3> _n1ca<0> _n1db _n1da
	1901	.def 0
	1902	0 1 1 1
	1903	1 0 1 1
	1904	1 1 0 1
	1905	1 1 1 1
	1906	.names mantProd<4> _n1ca<1> _n1da _n1d8<1>
	1907	.def 0
	1908	0 0 1 1
	1909	0 1 0 1
	1910	1 0 0 1
	1911	1 1 1 1
	1912	# carry/borrow
	1913	.names mantProd<4> _n1ca<1> _n1da _n1dc
	1914	.def 0
	1915	0 1 1 1
	1916	1 0 1 1
	1917	1 1 0 1
	1918	1 1 1 1
	1919	.names mantProd<5> _n1ca<2> _n1dc _n1d8<2>
	1920	.def 0
	1921	0 0 1 1
	1922	0 1 0 1
	1923	1 0 0 1
	1924	1 1 1 1
	1925	# carry/borrow
	1926	.names mantProd<5> _n1ca<2> _n1dc _n1dd
	1927	.def 0
	1928	0 1 1 1
	1929	1 0 1 1
	1930	1 1 0 1
	1931	1 1 1 1
	1932	.names mantProd<6> _n1ca<3> _n1dd _n1d8<3>
	1933	.def 0
	1934	0 0 1 1
	1935	0 1 0 1
	1936	1 0 0 1
	1937	1 1 1 1
	1938	# carry/borrow
	1939	.names mantProd<6> _n1ca<3> _n1dd _n1de
	1940	.def 0
	1941	0 1 1 1
	1942	1 0 1 1
	1943	1 1 0 1
	1944	1 1 1 1
	1945	.names mantProd<7> _n1ca<4> _n1de _n1d8<4>
	1946	.def 0
	1947	0 0 1 1
	1948	0 1 0 1
	1949	1 0 0 1
	1950	1 1 1 1
	1951	# sticky \| guard
	1952	.names sticky guard _n1e0
	1953	.def 1
	1954	0 0 0
	1955	# round & (sticky \| guard )
	1956	.names round _n1e0 _n1e1
	1957	.def 0
	1958	1 1 1
	1959	.names _n1e1 _n1df<0>
	1960	- =_n1e1
	1961	.names _n1e2
	1962	0
	1963	.names _n1e4
	1964	0
	1965	.names _n1e4 _n1e3<0>
	1966	- =_n1e4
	1967	.names _n1e5
	1968	0
	1969	.names _n1e6
	1970	0
	1971	.names _n1e6 _n1e3<1>
	1972	- =_n1e6
	1973	.names _n1e7
	1974	0
	1975	.names _n1e8
	1976	0
	1977	.names _n1e8 _n1e3<2>
	1978	- =_n1e8
	1979	.names _n1e9
	1980	0
	1981	.names _n1ea
	1982	0
	1983	.names _n1ea _n1e3<3>
	1984	- =_n1ea
	1985	.names _n1eb
	1986	0
	1987	.names _n1e3<0> _n1df<1>
	1988	- =_n1e3<0>
	1989	.names _n1e3<1> _n1df<2>
	1990	- =_n1e3<1>
	1991	.names _n1e3<2> _n1df<3>
	1992	- =_n1e3<2>
	1993	.names _n1e3<3> _n1df<4>
	1994	- =_n1e3<3>
	1995	# mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky \| guard )}
	1996	.names _n1ed
	1997	0
	1998	.names mantProd<3> _n1df<0> _n1ed _n1ec<0>
	1999	.def 0
	2000	0 0 1 1
	2001	0 1 0 1
	2002	1 0 0 1
	2003	1 1 1 1
	2004	# carry/borrow
	2005	.names _n1ef
	2006	0
	2007	.names mantProd<3> _n1df<0> _n1ef _n1ee
	2008	.def 0
	2009	0 1 1 1
	2010	1 0 1 1
	2011	1 1 0 1
	2012	1 1 1 1
	2013	.names mantProd<4> _n1df<1> _n1ee _n1ec<1>
	2014	.def 0
	2015	0 0 1 1
	2016	0 1 0 1
	2017	1 0 0 1
	2018	1 1 1 1
	2019	# carry/borrow
	2020	.names mantProd<4> _n1df<1> _n1ee _n1f0
	2021	.def 0
	2022	0 1 1 1
	2023	1 0 1 1
	2024	1 1 0 1
	2025	1 1 1 1
	2026	.names mantProd<5> _n1df<2> _n1f0 _n1ec<2>
	2027	.def 0
	2028	0 0 1 1
	2029	0 1 0 1
	2030	1 0 0 1
	2031	1 1 1 1
	2032	# carry/borrow
	2033	.names mantProd<5> _n1df<2> _n1f0 _n1f1
	2034	.def 0
	2035	0 1 1 1
	2036	1 0 1 1
	2037	1 1 0 1
	2038	1 1 1 1
	2039	.names mantProd<6> _n1df<3> _n1f1 _n1ec<3>
	2040	.def 0
	2041	0 0 1 1
	2042	0 1 0 1
	2043	1 0 0 1
	2044	1 1 1 1
	2045	# carry/borrow
	2046	.names mantProd<6> _n1df<3> _n1f1 _n1f2
	2047	.def 0
	2048	0 1 1 1
	2049	1 0 1 1
	2050	1 1 0 1
	2051	1 1 1 1
	2052	.names mantProd<7> _n1df<4> _n1f2 _n1ec<4>
	2053	.def 0
	2054	0 0 1 1
	2055	0 1 0 1
	2056	1 0 0 1
	2057	1 1 1 1
	2058	# msb ? mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round \| sticky \| lsb ), 'b0} : mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky \| guard )}
	2059	.names _n1d8<0> _n1ec<0> msb _n1f3<0>
	2060	0 - 1 0
	2061	1 - 1 1
	2062	- 0 0 0
	2063	- 1 0 1
	2064	.names _n1d8<1> _n1ec<1> msb _n1f3<1>
	2065	0 - 1 0
	2066	1 - 1 1
	2067	- 0 0 0
	2068	- 1 0 1
	2069	.names _n1d8<2> _n1ec<2> msb _n1f3<2>
	2070	0 - 1 0
	2071	1 - 1 1
	2072	- 0 0 0
	2073	- 1 0 1
	2074	.names _n1d8<3> _n1ec<3> msb _n1f3<3>
	2075	0 - 1 0
	2076	1 - 1 1
	2077	- 0 0 0
	2078	- 1 0 1
	2079	.names _n1d8<4> _n1ec<4> msb _n1f3<4>
	2080	0 - 1 0
	2081	1 - 1 1
	2082	- 0 0 0
	2083	- 1 0 1
	2084	.names _n1f3<0> preMant$raw_n1c9<0>
	2085	- =_n1f3<0>
	2086	.names _n1f3<1> preMant$raw_n1c9<1>
	2087	- =_n1f3<1>
	2088	.names _n1f3<2> preMant$raw_n1c9<2>
	2089	- =_n1f3<2>
	2090	.names _n1f3<3> preMant$raw_n1c9<3>
	2091	- =_n1f3<3>
	2092	.names _n1f3<4> preMant$raw_n1c9<4>
	2093	- =_n1f3<4>
	2094	# assign scaledExp = preMant [3 + 1] ? expProd + 1 : expProd
	2095	.names _n1fa<0>
	2096	1
	2097	.names _n1fa<1>
	2098	0
	2099	.names _n1fa<2>
	2100	0
	2101	.names _n1fa<3>
	2102	0
	2103	.names _n1fa<4>
	2104	0
	2105	.names _n1fa<5>
	2106	0
	2107	# expProd + 1
	2108	.names _n1fc
	2109	0
	2110	.names expProd<0> _n1fa<0> _n1fc _n1fb<0>
	2111	.def 0
	2112	0 0 1 1
	2113	0 1 0 1
	2114	1 0 0 1
	2115	1 1 1 1
	2116	# carry/borrow
	2117	.names _n1fe
	2118	0
	2119	.names expProd<0> _n1fa<0> _n1fe _n1fd
	2120	.def 0
	2121	0 1 1 1
	2122	1 0 1 1
	2123	1 1 0 1
	2124	1 1 1 1
	2125	.names expProd<1> _n1fa<1> _n1fd _n1fb<1>
	2126	.def 0
	2127	0 0 1 1
	2128	0 1 0 1
	2129	1 0 0 1
	2130	1 1 1 1
	2131	# carry/borrow
	2132	.names expProd<1> _n1fa<1> _n1fd _n1ff
	2133	.def 0
	2134	0 1 1 1
	2135	1 0 1 1
	2136	1 1 0 1
	2137	1 1 1 1
	2138	.names expProd<2> _n1fa<2> _n1ff _n1fb<2>
	2139	.def 0
	2140	0 0 1 1
	2141	0 1 0 1
	2142	1 0 0 1
	2143	1 1 1 1
	2144	# carry/borrow
	2145	.names expProd<2> _n1fa<2> _n1ff _n200
	2146	.def 0
	2147	0 1 1 1
	2148	1 0 1 1
	2149	1 1 0 1
	2150	1 1 1 1
	2151	.names expProd<3> _n1fa<3> _n200 _n1fb<3>
	2152	.def 0
	2153	0 0 1 1
	2154	0 1 0 1
	2155	1 0 0 1
	2156	1 1 1 1
	2157	# carry/borrow
	2158	.names expProd<3> _n1fa<3> _n200 _n201
	2159	.def 0
	2160	0 1 1 1
	2161	1 0 1 1
	2162	1 1 0 1
	2163	1 1 1 1
	2164	.names expProd<4> _n1fa<4> _n201 _n1fb<4>
	2165	.def 0
	2166	0 0 1 1
	2167	0 1 0 1
	2168	1 0 0 1
	2169	1 1 1 1
	2170	# carry/borrow
	2171	.names expProd<4> _n1fa<4> _n201 _n202
	2172	.def 0
	2173	0 1 1 1
	2174	1 0 1 1
	2175	1 1 0 1
	2176	1 1 1 1
	2177	.names expProd<5> _n1fa<5> _n202 _n1fb<5>
	2178	.def 0
	2179	0 0 1 1
	2180	0 1 0 1
	2181	1 0 0 1
	2182	1 1 1 1
	2183	# preMant [3 + 1] ? expProd + 1 : expProd
	2184	.names preMant<4> _n204
	2185	.def 1
	2186	0 0
	2187	.names _n1fb<0> expProd<0> _n204 _n203<0>
	2188	0 - 1 0
	2189	1 - 1 1
	2190	- 0 0 0
	2191	- 1 0 1
	2192	.names _n1fb<1> expProd<1> _n204 _n203<1>
	2193	0 - 1 0
	2194	1 - 1 1
	2195	- 0 0 0
	2196	- 1 0 1
	2197	.names _n1fb<2> expProd<2> _n204 _n203<2>
	2198	0 - 1 0
	2199	1 - 1 1
	2200	- 0 0 0
	2201	- 1 0 1
	2202	.names _n1fb<3> expProd<3> _n204 _n203<3>
	2203	0 - 1 0
	2204	1 - 1 1
	2205	- 0 0 0
	2206	- 1 0 1
	2207	.names _n1fb<4> expProd<4> _n204 _n203<4>
	2208	0 - 1 0
	2209	1 - 1 1
	2210	- 0 0 0
	2211	- 1 0 1
	2212	.names _n1fb<5> expProd<5> _n204 _n203<5>
	2213	0 - 1 0
	2214	1 - 1 1
	2215	- 0 0 0
	2216	- 1 0 1
	2217	.names _n203<0> scaledExp$raw_n1f9<0>
	2218	- =_n203<0>
	2219	.names _n203<1> scaledExp$raw_n1f9<1>
	2220	- =_n203<1>
	2221	.names _n203<2> scaledExp$raw_n1f9<2>
	2222	- =_n203<2>
	2223	.names _n203<3> scaledExp$raw_n1f9<3>
	2224	- =_n203<3>
	2225	.names _n203<4> scaledExp$raw_n1f9<4>
	2226	- =_n203<4>
	2227	.names _n203<5> scaledExp$raw_n1f9<5>
	2228	- =_n203<5>
	2229	# assign scaledMant = preMant [3 + 1] ? preMant [3 : 1] : preMant [3 - 1 : 0]
	2230	# preMant [3 + 1] ? preMant [3 : 1] : preMant [3 - 1 : 0]
	2231	.names preMant<4> _n20d
	2232	.def 1
	2233	0 0
	2234	.names preMant<1> preMant<0> _n20d _n20c<0>
	2235	0 - 1 0
	2236	1 - 1 1
	2237	- 0 0 0
	2238	- 1 0 1
	2239	.names preMant<2> preMant<1> _n20d _n20c<1>
	2240	0 - 1 0
	2241	1 - 1 1
	2242	- 0 0 0
	2243	- 1 0 1
	2244	.names preMant<3> preMant<2> _n20d _n20c<2>
	2245	0 - 1 0
	2246	1 - 1 1
	2247	- 0 0 0
	2248	- 1 0 1
	2249	.names _n20c<0> scaledMant$raw_n20b<0>
	2250	- =_n20c<0>
	2251	.names _n20c<1> scaledMant$raw_n20b<1>
	2252	- =_n20c<1>
	2253	.names _n20c<2> scaledMant$raw_n20b<2>
	2254	- =_n20c<2>
	2255	# conflict arbitrators
	2256	.names sticky$raw_n1c5 sticky
	2257	0 0
	2258	1 1
	2259	.names _n12 _n4e _n211
	2260	.def 0
	2261	0 1 1
	2262	.names _n211 signProd$_n12$raw_n1a5 signProd _n212
	2263	1 0 - 0
	2264	1 1 - 1
	2265	0 - 0 0
	2266	0 - 1 1
	2267	.names _n12 _n4e _n213
	2268	.def 0
	2269	0 1 1
	2270	.names _n213 mantProd$_n12$raw_n1b0<0> mantProd$_n12$raw_n1b0<1> mantProd$_n12$raw_n1b0<2> mantProd$_n12$raw_n1b0<3> mantProd$_n12$raw_n1b0<4> mantProd$_n12$raw_n1b0<5> mantProd$_n12$raw_n1b0<6> mantProd$_n12$raw_n1b0<7> mantProd<0> mantProd<1> mantProd<2> mantProd<3> mantProd<4> mantProd<5> mantProd<6> mantProd<7> -> _n214<0> _n214<1> _n214<2> _n214<3> _n214<4> _n214<5> _n214<6> _n214<7>
	2271	1 - - - - - - - - - - - - - - - - =mantProd$_n12$raw_n1b0<0> =mantProd$_n12$raw_n1b0<1> =mantProd$_n12$raw_n1b0<2> =mantProd$_n12$raw_n1b0<3> =mantProd$_n12$raw_n1b0<4> =mantProd$_n12$raw_n1b0<5> =mantProd$_n12$raw_n1b0<6> =mantProd$_n12$raw_n1b0<7>
	2272	0 - - - - - - - - - - - - - - - - =mantProd<0> =mantProd<1> =mantProd<2> =mantProd<3> =mantProd<4> =mantProd<5> =mantProd<6> =mantProd<7>
	2273	.names _n12 _n17 _n215
	2274	.def 0
	2275	1 1 1
	2276	.names _n215 yMant$_n12$raw_n18c<0> yMant$_n12$raw_n18c<1> yMant$_n12$raw_n18c<2> yMant$_n12$raw_n18c<3> yMant<0> yMant<1> yMant<2> yMant<3> -> _n216<0> _n216<1> _n216<2> _n216<3>
	2277	1 - - - - - - - - =yMant$_n12$raw_n18c<0> =yMant$_n12$raw_n18c<1> =yMant$_n12$raw_n18c<2> =yMant$_n12$raw_n18c<3>
	2278	0 - - - - - - - - =yMant<0> =yMant<1> =yMant<2> =yMant<3>
	2279	.names _n12 _n4e _n83 _n99 _nb4 _ncf _nfa _n217
	2280	.def 0
	2281	0 0 1 1 - - - 1
	2282	0 0 1 0 1 - - 1
	2283	0 0 1 0 0 1 - 1
	2284	0 0 1 0 0 0 1 1
	2285	0 0 1 0 0 0 0 1
	2286	.names _n217 z$_n12$raw_n1a7<0> z$_n12$raw_n1a7<1> z$_n12$raw_n1a7<2> z$_n12$raw_n1a7<3> z$_n12$raw_n1a7<4> z$_n12$raw_n1a7<5> z$_n12$raw_n1a7<6> z$_n12$raw_n1a7<7> z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> -> _n218<0> _n218<1> _n218<2> _n218<3> _n218<4> _n218<5> _n218<6> _n218<7>
	2287	1 - - - - - - - - - - - - - - - - =z$_n12$raw_n1a7<0> =z$_n12$raw_n1a7<1> =z$_n12$raw_n1a7<2> =z$_n12$raw_n1a7<3> =z$_n12$raw_n1a7<4> =z$_n12$raw_n1a7<5> =z$_n12$raw_n1a7<6> =z$_n12$raw_n1a7<7>
	2288	0 - - - - - - - - - - - - - - - - =z<0> =z<1> =z<2> =z<3> =z<4> =z<5> =z<6> =z<7>
	2289	.names lsb$raw_n1c2 lsb
	2290	0 0
	2291	1 1
	2292	.names scaledMant$raw_n20b<0> scaledMant<0>
	2293	- =scaledMant$raw_n20b<0>
	2294	.names scaledMant$raw_n20b<1> scaledMant<1>
	2295	- =scaledMant$raw_n20b<1>
	2296	.names scaledMant$raw_n20b<2> scaledMant<2>
	2297	- =scaledMant$raw_n20b<2>
	2298	.names _n12 _n17 _n219
	2299	.def 0
	2300	1 1 1
	2301	.names _n219 yExp$_n12$raw_n193<0> yExp$_n12$raw_n193<1> yExp$_n12$raw_n193<2> yExp$_n12$raw_n193<3> yExp<0> yExp<1> yExp<2> yExp<3> -> _n21a<0> _n21a<1> _n21a<2> _n21a<3>
	2302	1 - - - - - - - - =yExp$_n12$raw_n193<0> =yExp$_n12$raw_n193<1> =yExp$_n12$raw_n193<2> =yExp$_n12$raw_n193<3>
	2303	0 - - - - - - - - =yExp<0> =yExp<1> =yExp<2> =yExp<3>
	2304	.names _n12 _n17 _n21b
	2305	.def 0
	2306	1 1 1
	2307	.names _n21b ySign$_n12$raw_n191 ySign _n21c
	2308	1 0 - 0
	2309	1 1 - 1
	2310	0 - 0 0
	2311	0 - 1 1
	2312	.names _n12 _n17 _n21d
	2313	.def 0
	2314	1 1 1
	2315	.names _n21d xExp$_n12$raw_n198<0> xExp$_n12$raw_n198<1> xExp$_n12$raw_n198<2> xExp$_n12$raw_n198<3> xExp<0> xExp<1> xExp<2> xExp<3> -> _n21e<0> _n21e<1> _n21e<2> _n21e<3>
	2316	1 - - - - - - - - =xExp$_n12$raw_n198<0> =xExp$_n12$raw_n198<1> =xExp$_n12$raw_n198<2> =xExp$_n12$raw_n198<3>
	2317	0 - - - - - - - - =xExp<0> =xExp<1> =xExp<2> =xExp<3>
	2318	.names preMant$raw_n1c9<0> preMant<0>
	2319	- =preMant$raw_n1c9<0>
	2320	.names preMant$raw_n1c9<1> preMant<1>
	2321	- =preMant$raw_n1c9<1>
	2322	.names preMant$raw_n1c9<2> preMant<2>
	2323	- =preMant$raw_n1c9<2>
	2324	.names preMant$raw_n1c9<3> preMant<3>
	2325	- =preMant$raw_n1c9<3>
	2326	.names preMant$raw_n1c9<4> preMant<4>
	2327	- =preMant$raw_n1c9<4>
	2328	.names msb$raw_n1c1 msb
	2329	0 0
	2330	1 1
	2331	.names _n12 _n17 _n21f
	2332	.def 0
	2333	1 1 1
	2334	.names _n21f xSign$_n12$raw_n19d xSign _n220
	2335	1 0 - 0
	2336	1 1 - 1
	2337	0 - 0 0
	2338	0 - 1 1
	2339	.names round$raw_n1c4 round
	2340	0 0
	2341	1 1
	2342	.names _n12 _n17 _n4e _n83 _n221
	2343	.def 0
	2344	1 1 - - 1
	2345	0 - 1 - 1
	2346	0 - 0 1 1
	2347	.names _n221 state$_n12$raw_n182<0> state$_n12$raw_n182<1> state<0> state<1> -> _n222<0> _n222<1>
	2348	1 - - - - =state$_n12$raw_n182<0> =state$_n12$raw_n182<1>
	2349	0 - - - - =state<0> =state<1>
	2350	.names _n12 _n17 _n223
	2351	.def 0
	2352	1 1 1
	2353	.names _n223 xMant$_n12$raw_n19f<0> xMant$_n12$raw_n19f<1> xMant$_n12$raw_n19f<2> xMant$_n12$raw_n19f<3> xMant<0> xMant<1> xMant<2> xMant<3> -> _n224<0> _n224<1> _n224<2> _n224<3>
	2354	1 - - - - - - - - =xMant$_n12$raw_n19f<0> =xMant$_n12$raw_n19f<1> =xMant$_n12$raw_n19f<2> =xMant$_n12$raw_n19f<3>
	2355	0 - - - - - - - - =xMant<0> =xMant<1> =xMant<2> =xMant<3>
	2356	.names scaledExp$raw_n1f9<0> scaledExp<0>
	2357	- =scaledExp$raw_n1f9<0>
	2358	.names scaledExp$raw_n1f9<1> scaledExp<1>
	2359	- =scaledExp$raw_n1f9<1>
	2360	.names scaledExp$raw_n1f9<2> scaledExp<2>
	2361	- =scaledExp$raw_n1f9<2>
	2362	.names scaledExp$raw_n1f9<3> scaledExp<3>
	2363	- =scaledExp$raw_n1f9<3>
	2364	.names scaledExp$raw_n1f9<4> scaledExp<4>
	2365	- =scaledExp$raw_n1f9<4>
	2366	.names scaledExp$raw_n1f9<5> scaledExp<5>
	2367	- =scaledExp$raw_n1f9<5>
	2368	.names guard$raw_n1c3 guard
	2369	0 0
	2370	1 1
	2371	.names _n12 _n4e _n59 _n225
	2372	.def 0
	2373	0 1 1 1
	2374	0 1 0 1
	2375	.names _n225 expProd$_n12$raw_n1ba<0> expProd$_n12$raw_n1ba<1> expProd$_n12$raw_n1ba<2> expProd$_n12$raw_n1ba<3> expProd$_n12$raw_n1ba<4> expProd$_n12$raw_n1ba<5> expProd<0> expProd<1> expProd<2> expProd<3> expProd<4> expProd<5> -> _n226<0> _n226<1> _n226<2> _n226<3> _n226<4> _n226<5>
	2376	1 - - - - - - - - - - - - =expProd$_n12$raw_n1ba<0> =expProd$_n12$raw_n1ba<1> =expProd$_n12$raw_n1ba<2> =expProd$_n12$raw_n1ba<3> =expProd$_n12$raw_n1ba<4> =expProd$_n12$raw_n1ba<5>
	2377	0 - - - - - - - - - - - - =expProd<0> =expProd<1> =expProd<2> =expProd<3> =expProd<4> =expProd<5>
	2378	# non-blocking assignments
	2379	# latches
	2380	.r signProd$raw_nd signProd
	2381	0 0
	2382	1 1
	2383	.latch _n212 signProd
	2384	.r z$raw_n10<0> z<0>
	2385	.def 0
	2386	1 1
	2387	.r z$raw_n10<1> z<1>
	2388	.def 0
	2389	1 1
	2390	.r z$raw_n10<2> z<2>
	2391	.def 0
	2392	1 1
	2393	.r z$raw_n10<3> z<3>
	2394	.def 0
	2395	1 1
	2396	.r z$raw_n10<4> z<4>
	2397	.def 0
	2398	1 1
	2399	.r z$raw_n10<5> z<5>
	2400	.def 0
	2401	1 1
	2402	.r z$raw_n10<6> z<6>
	2403	.def 0
	2404	1 1
	2405	.r z$raw_n10<7> z<7>
	2406	.def 0
	2407	1 1
	2408	.latch _n218<0> z<0>
	2409	.latch _n218<1> z<1>
	2410	.latch _n218<2> z<2>
	2411	.latch _n218<3> z<3>
	2412	.latch _n218<4> z<4>
	2413	.latch _n218<5> z<5>
	2414	.latch _n218<6> z<6>
	2415	.latch _n218<7> z<7>
	2416	.r yMant$raw_nc<0> yMant<0>
	2417	.def 0
	2418	1 1
	2419	.r yMant$raw_nc<1> yMant<1>
	2420	.def 0
	2421	1 1
	2422	.r yMant$raw_nc<2> yMant<2>
	2423	.def 0
	2424	1 1
	2425	.r yMant$raw_nc<3> yMant<3>
	2426	.def 0
	2427	1 1
	2428	.latch _n216<0> yMant<0>
	2429	.latch _n216<1> yMant<1>
	2430	.latch _n216<2> yMant<2>
	2431	.latch _n216<3> yMant<3>
	2432	.r mantProd$raw_nf<0> mantProd<0>
	2433	.def 0
	2434	1 1
	2435	.r mantProd$raw_nf<1> mantProd<1>
	2436	.def 0
	2437	1 1
	2438	.r mantProd$raw_nf<2> mantProd<2>
	2439	.def 0
	2440	1 1
	2441	.r mantProd$raw_nf<3> mantProd<3>
	2442	.def 0
	2443	1 1
	2444	.r mantProd$raw_nf<4> mantProd<4>
	2445	.def 0
	2446	1 1
	2447	.r mantProd$raw_nf<5> mantProd<5>
	2448	.def 0
	2449	1 1
	2450	.r mantProd$raw_nf<6> mantProd<6>
	2451	.def 0
	2452	1 1
	2453	.r mantProd$raw_nf<7> mantProd<7>
	2454	.def 0
	2455	1 1
	2456	.latch _n214<0> mantProd<0>
	2457	.latch _n214<1> mantProd<1>
	2458	.latch _n214<2> mantProd<2>
	2459	.latch _n214<3> mantProd<3>
	2460	.latch _n214<4> mantProd<4>
	2461	.latch _n214<5> mantProd<5>
	2462	.latch _n214<6> mantProd<6>
	2463	.latch _n214<7> mantProd<7>
	2464	.r ySign$raw_na ySign
	2465	0 0
	2466	1 1
	2467	.latch _n21c ySign
	2468	.r yExp$raw_nb<0> yExp<0>
	2469	.def 0
	2470	1 1
	2471	.r yExp$raw_nb<1> yExp<1>
	2472	.def 0
	2473	1 1
	2474	.r yExp$raw_nb<2> yExp<2>
	2475	.def 0
	2476	1 1
	2477	.r yExp$raw_nb<3> yExp<3>
	2478	.def 0
	2479	1 1
	2480	.latch _n21a<0> yExp<0>
	2481	.latch _n21a<1> yExp<1>
	2482	.latch _n21a<2> yExp<2>
	2483	.latch _n21a<3> yExp<3>
	2484	.r xExp$raw_n8<0> xExp<0>
	2485	.def 0
	2486	1 1
	2487	.r xExp$raw_n8<1> xExp<1>
	2488	.def 0
	2489	1 1
	2490	.r xExp$raw_n8<2> xExp<2>
	2491	.def 0
	2492	1 1
	2493	.r xExp$raw_n8<3> xExp<3>
	2494	.def 0
	2495	1 1
	2496	.latch _n21e<0> xExp<0>
	2497	.latch _n21e<1> xExp<1>
	2498	.latch _n21e<2> xExp<2>
	2499	.latch _n21e<3> xExp<3>
	2500	.r xSign$raw_n7 xSign
	2501	0 0
	2502	1 1
	2503	.latch _n220 xSign
	2504	.r xMant$raw_n9<0> xMant<0>
	2505	.def 0
	2506	1 1
	2507	.r xMant$raw_n9<1> xMant<1>
	2508	.def 0
	2509	1 1
	2510	.r xMant$raw_n9<2> xMant<2>
	2511	.def 0
	2512	1 1
	2513	.r xMant$raw_n9<3> xMant<3>
	2514	.def 0
	2515	1 1
	2516	.latch _n224<0> xMant<0>
	2517	.latch _n224<1> xMant<1>
	2518	.latch _n224<2> xMant<2>
	2519	.latch _n224<3> xMant<3>
	2520	.r state$raw_n11<0> state<0>
	2521	.def 0
	2522	1 1
	2523	.r state$raw_n11<1> state<1>
	2524	.def 0
	2525	1 1
	2526	.latch _n222<0> state<0>
	2527	.latch _n222<1> state<1>
	2528	.r expProd$raw_ne<0> expProd<0>
	2529	.def 0
	2530	1 1
	2531	.r expProd$raw_ne<1> expProd<1>
	2532	.def 0
	2533	1 1
	2534	.r expProd$raw_ne<2> expProd<2>
	2535	.def 0
	2536	1 1
	2537	.r expProd$raw_ne<3> expProd<3>
	2538	.def 0
	2539	1 1
	2540	.r expProd$raw_ne<4> expProd<4>
	2541	.def 0
	2542	1 1
	2543	.r expProd$raw_ne<5> expProd<5>
	2544	.def 0
	2545	1 1
	2546	.latch _n226<0> expProd<0>
	2547	.latch _n226<1> expProd<1>
	2548	.latch _n226<2> expProd<2>
	2549	.latch _n226<3> expProd<3>
	2550	.latch _n226<4> expProd<4>
	2551	.latch _n226<5> expProd<5>
	2552	# quasi-continuous assignment
	2553	.end
	2554
	2555
	2556	.model NaN
	2557	# I/O ports
	2558	.inputs aMant<0> aMant<1> aMant<2>
	2559	.outputs NaN<0>
	2560	.inputs aExp<0> aExp<1> aExp<2> aExp<3>
	2561	.names _n229
	2562	1
	2563	.names _n229 _n228<0>
	2564	- =_n229
	2565	.names _n22a
	2566	0
	2567	.names _n22b
	2568	1
	2569	.names _n22b _n228<1>
	2570	- =_n22b
	2571	.names _n22c
	2572	0
	2573	.names _n22d
	2574	1
	2575	.names _n22d _n228<2>
	2576	- =_n22d
	2577	.names _n22e
	2578	0
	2579	.names _n22f
	2580	1
	2581	.names _n22f _n228<3>
	2582	- =_n22f
	2583	.names _n230
	2584	0
	2585	# aExp == {'b1}
	2586	.names aExp<0> _n228<0> _n231<0>
	2587	.def 0
	2588	0 1 1
	2589	1 0 1
	2590	.names aExp<1> _n228<1> _n231<1>
	2591	.def 0
	2592	0 1 1
	2593	1 0 1
	2594	.names aExp<2> _n228<2> _n231<2>
	2595	.def 0
	2596	0 1 1
	2597	1 0 1
	2598	.names aExp<3> _n228<3> _n231<3>
	2599	.def 0
	2600	0 1 1
	2601	1 0 1
	2602	.names _n231<0> _n231<1> _n231<2> _n231<3> _n232
	2603	.def 1
	2604	0 0 0 0 0
	2605	.names _n232 _n227
	2606	0 1
	2607	1 0
	2608	.names _n234<0>
	2609	0
	2610	.names _n234<1>
	2611	0
	2612	.names _n234<2>
	2613	0
	2614	# aMant != 0
	2615	.names aMant<0> _n234<0> _n235<0>
	2616	.def 0
	2617	0 1 1
	2618	1 0 1
	2619	.names aMant<1> _n234<1> _n235<1>
	2620	.def 0
	2621	0 1 1
	2622	1 0 1
	2623	.names aMant<2> _n234<2> _n235<2>
	2624	.def 0
	2625	0 1 1
	2626	1 0 1
	2627	.names _n235<0> _n235<1> _n235<2> _n236
	2628	.def 1
	2629	0 0 0 0
	2630	.names _n236 _n233
	2631	- =_n236
	2632	# aExp == {'b1} && aMant != 0
	2633	.names _n227 _n233 _n237
	2634	.def 0
	2635	1 1 1
	2636	.names _n237 _n238
	2637	- =_n237
	2638	# NaN = 1
	2639	.names NaN$_n237_n239$true<0>
	2640	1
	2641	# NaN = 0
	2642	.names NaN$_n237_n23a$false<0>
	2643	0
	2644	# if/else (aExp == {'b1} && aMant != 0)
	2645	.names NaN$_n237_n239$true<0> NaN$_n237_n23a$false<0> _n237 NaN$_n237$raw_n23c<0>
	2646	0 - 1 0
	2647	1 - 1 1
	2648	- 0 0 0
	2649	- 1 0 1
	2650	# conflict arbitrators
	2651	.names NaN$_n237$raw_n23c<0> NaN<0>
	2652	- =NaN$_n237$raw_n23c<0>
	2653	.end
	2654
	2655
	2656	.model Infinity
	2657	# I/O ports
	2658	.inputs aMant<0> aMant<1> aMant<2>
	2659	.outputs Infinity<0>
	2660	.inputs aExp<0> aExp<1> aExp<2> aExp<3>
	2661	.names _n242
	2662	1
	2663	.names _n242 _n241<0>
	2664	- =_n242
	2665	.names _n243
	2666	0
	2667	.names _n244
	2668	1
	2669	.names _n244 _n241<1>
	2670	- =_n244
	2671	.names _n245
	2672	0
	2673	.names _n246
	2674	1
	2675	.names _n246 _n241<2>
	2676	- =_n246
	2677	.names _n247
	2678	0
	2679	.names _n248
	2680	1
	2681	.names _n248 _n241<3>
	2682	- =_n248
	2683	.names _n249
	2684	0
	2685	# aExp == {'b1}
	2686	.names aExp<0> _n241<0> _n24a<0>
	2687	.def 0
	2688	0 1 1
	2689	1 0 1
	2690	.names aExp<1> _n241<1> _n24a<1>
	2691	.def 0
	2692	0 1 1
	2693	1 0 1
	2694	.names aExp<2> _n241<2> _n24a<2>
	2695	.def 0
	2696	0 1 1
	2697	1 0 1
	2698	.names aExp<3> _n241<3> _n24a<3>
	2699	.def 0
	2700	0 1 1
	2701	1 0 1
	2702	.names _n24a<0> _n24a<1> _n24a<2> _n24a<3> _n24b
	2703	.def 1
	2704	0 0 0 0 0
	2705	.names _n24b _n240
	2706	0 1
	2707	1 0
	2708	.names _n24d<0>
	2709	0
	2710	.names _n24d<1>
	2711	0
	2712	.names _n24d<2>
	2713	0
	2714	# aMant == 0
	2715	.names aMant<0> _n24d<0> _n24e<0>
	2716	.def 0
	2717	0 1 1
	2718	1 0 1
	2719	.names aMant<1> _n24d<1> _n24e<1>
	2720	.def 0
	2721	0 1 1
	2722	1 0 1
	2723	.names aMant<2> _n24d<2> _n24e<2>
	2724	.def 0
	2725	0 1 1
	2726	1 0 1
	2727	.names _n24e<0> _n24e<1> _n24e<2> _n24f
	2728	.def 1
	2729	0 0 0 0
	2730	.names _n24f _n24c
	2731	0 1
	2732	1 0
	2733	# aExp == {'b1} && aMant == 0
	2734	.names _n240 _n24c _n250
	2735	.def 0
	2736	1 1 1
	2737	.names _n250 _n251
	2738	- =_n250
	2739	# Infinity = 1
	2740	.names Infinity$_n250_n252$true<0>
	2741	1
	2742	# Infinity = 0
	2743	.names Infinity$_n250_n253$false<0>
	2744	0
	2745	# if/else (aExp == {'b1} && aMant == 0)
	2746	.names Infinity$_n250_n252$true<0> Infinity$_n250_n253$false<0> _n250 Infinity$_n250$raw_n255<0>
	2747	0 - 1 0
	2748	1 - 1 1
	2749	- 0 0 0
	2750	- 1 0 1
	2751	# conflict arbitrators
	2752	.names Infinity$_n250$raw_n255<0> Infinity<0>
	2753	- =Infinity$_n250$raw_n255<0>
	2754	.end
	2755
	2756
	2757	.model Zero
	2758	# I/O ports
	2759	.inputs aMant<0> aMant<1> aMant<2>
	2760	.inputs aExp<0> aExp<1> aExp<2> aExp<3>
	2761	.outputs Zero<0>
	2762	.names _n25a<0>
	2763	0
	2764	.names _n25a<1>
	2765	0
	2766	.names _n25a<2>
	2767	0
	2768	.names _n25a<3>
	2769	0
	2770	# aExp == 0
	2771	.names aExp<0> _n25a<0> _n25b<0>
	2772	.def 0
	2773	0 1 1
	2774	1 0 1
	2775	.names aExp<1> _n25a<1> _n25b<1>
	2776	.def 0
	2777	0 1 1
	2778	1 0 1
	2779	.names aExp<2> _n25a<2> _n25b<2>
	2780	.def 0
	2781	0 1 1
	2782	1 0 1
	2783	.names aExp<3> _n25a<3> _n25b<3>
	2784	.def 0
	2785	0 1 1
	2786	1 0 1
	2787	.names _n25b<0> _n25b<1> _n25b<2> _n25b<3> _n25c
	2788	.def 1
	2789	0 0 0 0 0
	2790	.names _n25c _n259
	2791	0 1
	2792	1 0
	2793	.names _n25e<0>
	2794	0
	2795	.names _n25e<1>
	2796	0
	2797	.names _n25e<2>
	2798	0
	2799	# aMant == 0
	2800	.names aMant<0> _n25e<0> _n25f<0>
	2801	.def 0
	2802	0 1 1
	2803	1 0 1
	2804	.names aMant<1> _n25e<1> _n25f<1>
	2805	.def 0
	2806	0 1 1
	2807	1 0 1
	2808	.names aMant<2> _n25e<2> _n25f<2>
	2809	.def 0
	2810	0 1 1
	2811	1 0 1
	2812	.names _n25f<0> _n25f<1> _n25f<2> _n260
	2813	.def 1
	2814	0 0 0 0
	2815	.names _n260 _n25d
	2816	0 1
	2817	1 0
	2818	# aExp == 0 && aMant == 0
	2819	.names _n259 _n25d _n261
	2820	.def 0
	2821	1 1 1
	2822	.names _n261 _n262
	2823	- =_n261
	2824	# Zero = 1
	2825	.names Zero$_n261_n263$true<0>
	2826	1
	2827	# Zero = 0
	2828	.names Zero$_n261_n264$false<0>
	2829	0
	2830	# if/else (aExp == 0 && aMant == 0)
	2831	.names Zero$_n261_n263$true<0> Zero$_n261_n264$false<0> _n261 Zero$_n261$raw_n266<0>
	2832	0 - 1 0
	2833	1 - 1 1
	2834	- 0 0 0
	2835	- 1 0 1
	2836	# conflict arbitrators
	2837	.names Zero$_n261$raw_n266<0> Zero<0>
	2838	- =Zero$_n261$raw_n266<0>
	2839	.end
	2840
	2841
	2842	.model intMult
	2843	# I/O ports
	2844	.inputs y<0> y<1> y<2> y<3>
	2845	.outputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7>
	2846	.inputs x<0> x<1> x<2> x<3>
	2847	# assign int0 = {y [0]} & x
	2848	.names y<0> _n26b<0>
	2849	- =y<0>
	2850	.names y<0> _n26b<1>
	2851	- =y<0>
	2852	.names y<0> _n26b<2>
	2853	- =y<0>
	2854	.names y<0> _n26b<3>
	2855	- =y<0>
	2856	# {y [0]} & x
	2857	.names _n26b<0> x<0> _n26c<0>
	2858	.def 0
	2859	1 1 1
	2860	.names _n26b<1> x<1> _n26c<1>
	2861	.def 0
	2862	1 1 1
	2863	.names _n26b<2> x<2> _n26c<2>
	2864	.def 0
	2865	1 1 1
	2866	.names _n26b<3> x<3> _n26c<3>
	2867	.def 0
	2868	1 1 1
	2869	.names _n26c<0> int0$raw_n26a<0>
	2870	- =_n26c<0>
	2871	.names _n26c<1> int0$raw_n26a<1>
	2872	- =_n26c<1>
	2873	.names _n26c<2> int0$raw_n26a<2>
	2874	- =_n26c<2>
	2875	.names _n26c<3> int0$raw_n26a<3>
	2876	- =_n26c<3>
	2877	# assign int1 = int0 + {{y [1]} & x , {'b0}}
	2878	.names _n270
	2879	0
	2880	.names _n270 _n26f<0>
	2881	- =_n270
	2882	.names _n271
	2883	0
	2884	.names _n26f<0> _n26e<0>
	2885	- =_n26f<0>
	2886	.names y<1> _n272<0>
	2887	- =y<1>
	2888	.names y<1> _n272<1>
	2889	- =y<1>
	2890	.names y<1> _n272<2>
	2891	- =y<1>
	2892	.names y<1> _n272<3>
	2893	- =y<1>
	2894	# {y [1]} & x
	2895	.names _n272<0> x<0> _n273<0>
	2896	.def 0
	2897	1 1 1
	2898	.names _n272<1> x<1> _n273<1>
	2899	.def 0
	2900	1 1 1
	2901	.names _n272<2> x<2> _n273<2>
	2902	.def 0
	2903	1 1 1
	2904	.names _n272<3> x<3> _n273<3>
	2905	.def 0
	2906	1 1 1
	2907	.names _n273<0> _n26e<1>
	2908	- =_n273<0>
	2909	.names _n273<1> _n26e<2>
	2910	- =_n273<1>
	2911	.names _n273<2> _n26e<3>
	2912	- =_n273<2>
	2913	.names _n273<3> _n26e<4>
	2914	- =_n273<3>
	2915	# int0 + {{y [1]} & x , {'b0}}
	2916	.names _n275
	2917	0
	2918	.names int0<0> _n26e<0> _n275 _n274<0>
	2919	.def 0
	2920	0 0 1 1
	2921	0 1 0 1
	2922	1 0 0 1
	2923	1 1 1 1
	2924	# carry/borrow
	2925	.names _n277
	2926	0
	2927	.names int0<0> _n26e<0> _n277 _n276
	2928	.def 0
	2929	0 1 1 1
	2930	1 0 1 1
	2931	1 1 0 1
	2932	1 1 1 1
	2933	.names int0<1> _n26e<1> _n276 _n274<1>
	2934	.def 0
	2935	0 0 1 1
	2936	0 1 0 1
	2937	1 0 0 1
	2938	1 1 1 1
	2939	# carry/borrow
	2940	.names int0<1> _n26e<1> _n276 _n278
	2941	.def 0
	2942	0 1 1 1
	2943	1 0 1 1
	2944	1 1 0 1
	2945	1 1 1 1
	2946	.names int0<2> _n26e<2> _n278 _n274<2>
	2947	.def 0
	2948	0 0 1 1
	2949	0 1 0 1
	2950	1 0 0 1
	2951	1 1 1 1
	2952	# carry/borrow
	2953	.names int0<2> _n26e<2> _n278 _n279
	2954	.def 0
	2955	0 1 1 1
	2956	1 0 1 1
	2957	1 1 0 1
	2958	1 1 1 1
	2959	.names int0<3> _n26e<3> _n279 _n274<3>
	2960	.def 0
	2961	0 0 1 1
	2962	0 1 0 1
	2963	1 0 0 1
	2964	1 1 1 1
	2965	# carry/borrow
	2966	.names int0<3> _n26e<3> _n279 _n27a
	2967	.def 0
	2968	0 1 1 1
	2969	1 0 1 1
	2970	1 1 0 1
	2971	1 1 1 1
	2972	.names _n27a _n274<4>
	2973	1 1
	2974	0 0
	2975	.names _n274<5>
	2976	0
	2977	.names _n274<0> int1$raw_n26d<0>
	2978	- =_n274<0>
	2979	.names _n274<1> int1$raw_n26d<1>
	2980	- =_n274<1>
	2981	.names _n274<2> int1$raw_n26d<2>
	2982	- =_n274<2>
	2983	.names _n274<3> int1$raw_n26d<3>
	2984	- =_n274<3>
	2985	.names _n274<4> int1$raw_n26d<4>
	2986	- =_n274<4>
	2987	.names _n274<5> int1$raw_n26d<5>
	2988	- =_n274<5>
	2989	# assign int2 = int1 + {{y [2]} & x , {'b0}}
	2990	.names _n27e
	2991	0
	2992	.names _n27e _n27d<0>
	2993	- =_n27e
	2994	.names _n27f
	2995	0
	2996	.names _n280
	2997	0
	2998	.names _n280 _n27d<1>
	2999	- =_n280
	3000	.names _n281
	3001	0
	3002	.names _n27d<0> _n27c<0>
	3003	- =_n27d<0>
	3004	.names _n27d<1> _n27c<1>
	3005	- =_n27d<1>
	3006	.names y<2> _n282<0>
	3007	- =y<2>
	3008	.names y<2> _n282<1>
	3009	- =y<2>
	3010	.names y<2> _n282<2>
	3011	- =y<2>
	3012	.names y<2> _n282<3>
	3013	- =y<2>
	3014	# {y [2]} & x
	3015	.names _n282<0> x<0> _n283<0>
	3016	.def 0
	3017	1 1 1
	3018	.names _n282<1> x<1> _n283<1>
	3019	.def 0
	3020	1 1 1
	3021	.names _n282<2> x<2> _n283<2>
	3022	.def 0
	3023	1 1 1
	3024	.names _n282<3> x<3> _n283<3>
	3025	.def 0
	3026	1 1 1
	3027	.names _n283<0> _n27c<2>
	3028	- =_n283<0>
	3029	.names _n283<1> _n27c<3>
	3030	- =_n283<1>
	3031	.names _n283<2> _n27c<4>
	3032	- =_n283<2>
	3033	.names _n283<3> _n27c<5>
	3034	- =_n283<3>
	3035	# int1 + {{y [2]} & x , {'b0}}
	3036	.names _n285
	3037	0
	3038	.names int1<0> _n27c<0> _n285 _n284<0>
	3039	.def 0
	3040	0 0 1 1
	3041	0 1 0 1
	3042	1 0 0 1
	3043	1 1 1 1
	3044	# carry/borrow
	3045	.names _n287
	3046	0
	3047	.names int1<0> _n27c<0> _n287 _n286
	3048	.def 0
	3049	0 1 1 1
	3050	1 0 1 1
	3051	1 1 0 1
	3052	1 1 1 1
	3053	.names int1<1> _n27c<1> _n286 _n284<1>
	3054	.def 0
	3055	0 0 1 1
	3056	0 1 0 1
	3057	1 0 0 1
	3058	1 1 1 1
	3059	# carry/borrow
	3060	.names int1<1> _n27c<1> _n286 _n288
	3061	.def 0
	3062	0 1 1 1
	3063	1 0 1 1
	3064	1 1 0 1
	3065	1 1 1 1
	3066	.names int1<2> _n27c<2> _n288 _n284<2>
	3067	.def 0
	3068	0 0 1 1
	3069	0 1 0 1
	3070	1 0 0 1
	3071	1 1 1 1
	3072	# carry/borrow
	3073	.names int1<2> _n27c<2> _n288 _n289
	3074	.def 0
	3075	0 1 1 1
	3076	1 0 1 1
	3077	1 1 0 1
	3078	1 1 1 1
	3079	.names int1<3> _n27c<3> _n289 _n284<3>
	3080	.def 0
	3081	0 0 1 1
	3082	0 1 0 1
	3083	1 0 0 1
	3084	1 1 1 1
	3085	# carry/borrow
	3086	.names int1<3> _n27c<3> _n289 _n28a
	3087	.def 0
	3088	0 1 1 1
	3089	1 0 1 1
	3090	1 1 0 1
	3091	1 1 1 1
	3092	.names int1<4> _n27c<4> _n28a _n284<4>
	3093	.def 0
	3094	0 0 1 1
	3095	0 1 0 1
	3096	1 0 0 1
	3097	1 1 1 1
	3098	# carry/borrow
	3099	.names int1<4> _n27c<4> _n28a _n28b
	3100	.def 0
	3101	0 1 1 1
	3102	1 0 1 1
	3103	1 1 0 1
	3104	1 1 1 1
	3105	.names int1<5> _n27c<5> _n28b _n284<5>
	3106	.def 0
	3107	0 0 1 1
	3108	0 1 0 1
	3109	1 0 0 1
	3110	1 1 1 1
	3111	# carry/borrow
	3112	.names int1<5> _n27c<5> _n28b _n28c
	3113	.def 0
	3114	0 1 1 1
	3115	1 0 1 1
	3116	1 1 0 1
	3117	1 1 1 1
	3118	.names _n28c _n284<6>
	3119	1 1
	3120	0 0
	3121	.names _n284<0> int2$raw_n27b<0>
	3122	- =_n284<0>
	3123	.names _n284<1> int2$raw_n27b<1>
	3124	- =_n284<1>
	3125	.names _n284<2> int2$raw_n27b<2>
	3126	- =_n284<2>
	3127	.names _n284<3> int2$raw_n27b<3>
	3128	- =_n284<3>
	3129	.names _n284<4> int2$raw_n27b<4>
	3130	- =_n284<4>
	3131	.names _n284<5> int2$raw_n27b<5>
	3132	- =_n284<5>
	3133	.names _n284<6> int2$raw_n27b<6>
	3134	- =_n284<6>
	3135	# assign int3 = int2 + {{y [3]} & x , {'b0}}
	3136	.names _n290
	3137	0
	3138	.names _n290 _n28f<0>
	3139	- =_n290
	3140	.names _n291
	3141	0
	3142	.names _n292
	3143	0
	3144	.names _n292 _n28f<1>
	3145	- =_n292
	3146	.names _n293
	3147	0
	3148	.names _n294
	3149	0
	3150	.names _n294 _n28f<2>
	3151	- =_n294
	3152	.names _n295
	3153	0
	3154	.names _n28f<0> _n28e<0>
	3155	- =_n28f<0>
	3156	.names _n28f<1> _n28e<1>
	3157	- =_n28f<1>
	3158	.names _n28f<2> _n28e<2>
	3159	- =_n28f<2>
	3160	.names y<3> _n296<0>
	3161	- =y<3>
	3162	.names y<3> _n296<1>
	3163	- =y<3>
	3164	.names y<3> _n296<2>
	3165	- =y<3>
	3166	.names y<3> _n296<3>
	3167	- =y<3>
	3168	# {y [3]} & x
	3169	.names _n296<0> x<0> _n297<0>
	3170	.def 0
	3171	1 1 1
	3172	.names _n296<1> x<1> _n297<1>
	3173	.def 0
	3174	1 1 1
	3175	.names _n296<2> x<2> _n297<2>
	3176	.def 0
	3177	1 1 1
	3178	.names _n296<3> x<3> _n297<3>
	3179	.def 0
	3180	1 1 1
	3181	.names _n297<0> _n28e<3>
	3182	- =_n297<0>
	3183	.names _n297<1> _n28e<4>
	3184	- =_n297<1>
	3185	.names _n297<2> _n28e<5>
	3186	- =_n297<2>
	3187	.names _n297<3> _n28e<6>
	3188	- =_n297<3>
	3189	# int2 + {{y [3]} & x , {'b0}}
	3190	.names _n299
	3191	0
	3192	.names int2<0> _n28e<0> _n299 _n298<0>
	3193	.def 0
	3194	0 0 1 1
	3195	0 1 0 1
	3196	1 0 0 1
	3197	1 1 1 1
	3198	# carry/borrow
	3199	.names _n29b
	3200	0
	3201	.names int2<0> _n28e<0> _n29b _n29a
	3202	.def 0
	3203	0 1 1 1
	3204	1 0 1 1
	3205	1 1 0 1
	3206	1 1 1 1
	3207	.names int2<1> _n28e<1> _n29a _n298<1>
	3208	.def 0
	3209	0 0 1 1
	3210	0 1 0 1
	3211	1 0 0 1
	3212	1 1 1 1
	3213	# carry/borrow
	3214	.names int2<1> _n28e<1> _n29a _n29c
	3215	.def 0
	3216	0 1 1 1
	3217	1 0 1 1
	3218	1 1 0 1
	3219	1 1 1 1
	3220	.names int2<2> _n28e<2> _n29c _n298<2>
	3221	.def 0
	3222	0 0 1 1
	3223	0 1 0 1
	3224	1 0 0 1
	3225	1 1 1 1
	3226	# carry/borrow
	3227	.names int2<2> _n28e<2> _n29c _n29d
	3228	.def 0
	3229	0 1 1 1
	3230	1 0 1 1
	3231	1 1 0 1
	3232	1 1 1 1
	3233	.names int2<3> _n28e<3> _n29d _n298<3>
	3234	.def 0
	3235	0 0 1 1
	3236	0 1 0 1
	3237	1 0 0 1
	3238	1 1 1 1
	3239	# carry/borrow
	3240	.names int2<3> _n28e<3> _n29d _n29e
	3241	.def 0
	3242	0 1 1 1
	3243	1 0 1 1
	3244	1 1 0 1
	3245	1 1 1 1
	3246	.names int2<4> _n28e<4> _n29e _n298<4>
	3247	.def 0
	3248	0 0 1 1
	3249	0 1 0 1
	3250	1 0 0 1
	3251	1 1 1 1
	3252	# carry/borrow
	3253	.names int2<4> _n28e<4> _n29e _n29f
	3254	.def 0
	3255	0 1 1 1
	3256	1 0 1 1
	3257	1 1 0 1
	3258	1 1 1 1
	3259	.names int2<5> _n28e<5> _n29f _n298<5>
	3260	.def 0
	3261	0 0 1 1
	3262	0 1 0 1
	3263	1 0 0 1
	3264	1 1 1 1
	3265	# carry/borrow
	3266	.names int2<5> _n28e<5> _n29f _n2a0
	3267	.def 0
	3268	0 1 1 1
	3269	1 0 1 1
	3270	1 1 0 1
	3271	1 1 1 1
	3272	.names int2<6> _n28e<6> _n2a0 _n298<6>
	3273	.def 0
	3274	0 0 1 1
	3275	0 1 0 1
	3276	1 0 0 1
	3277	1 1 1 1
	3278	# carry/borrow
	3279	.names int2<6> _n28e<6> _n2a0 _n2a1
	3280	.def 0
	3281	0 1 1 1
	3282	1 0 1 1
	3283	1 1 0 1
	3284	1 1 1 1
	3285	.names _n2a1 _n298<7>
	3286	1 1
	3287	0 0
	3288	.names _n298<0> int3$raw_n28d<0>
	3289	- =_n298<0>
	3290	.names _n298<1> int3$raw_n28d<1>
	3291	- =_n298<1>
	3292	.names _n298<2> int3$raw_n28d<2>
	3293	- =_n298<2>
	3294	.names _n298<3> int3$raw_n28d<3>
	3295	- =_n298<3>
	3296	.names _n298<4> int3$raw_n28d<4>
	3297	- =_n298<4>
	3298	.names _n298<5> int3$raw_n28d<5>
	3299	- =_n298<5>
	3300	.names _n298<6> int3$raw_n28d<6>
	3301	- =_n298<6>
	3302	.names _n298<7> int3$raw_n28d<7>
	3303	- =_n298<7>
	3304	# assign z = int3
	3305	.names int3<0> z$raw_n2a2<0>
	3306	- =int3<0>
	3307	.names int3<1> z$raw_n2a2<1>
	3308	- =int3<1>
	3309	.names int3<2> z$raw_n2a2<2>
	3310	- =int3<2>
	3311	.names int3<3> z$raw_n2a2<3>
	3312	- =int3<3>
	3313	.names int3<4> z$raw_n2a2<4>
	3314	- =int3<4>
	3315	.names int3<5> z$raw_n2a2<5>
	3316	- =int3<5>
	3317	.names int3<6> z$raw_n2a2<6>
	3318	- =int3<6>
	3319	.names int3<7> z$raw_n2a2<7>
	3320	- =int3<7>
	3321	# conflict arbitrators
	3322	.names z$raw_n2a2<0> z<0>
	3323	- =z$raw_n2a2<0>
	3324	.names z$raw_n2a2<1> z<1>
	3325	- =z$raw_n2a2<1>
	3326	.names z$raw_n2a2<2> z<2>
	3327	- =z$raw_n2a2<2>
	3328	.names z$raw_n2a2<3> z<3>
	3329	- =z$raw_n2a2<3>
	3330	.names z$raw_n2a2<4> z<4>
	3331	- =z$raw_n2a2<4>
	3332	.names z$raw_n2a2<5> z<5>
	3333	- =z$raw_n2a2<5>
	3334	.names z$raw_n2a2<6> z<6>
	3335	- =z$raw_n2a2<6>
	3336	.names z$raw_n2a2<7> z<7>
	3337	- =z$raw_n2a2<7>
	3338	.names int0$raw_n26a<0> int0<0>
	3339	- =int0$raw_n26a<0>
	3340	.names int0$raw_n26a<1> int0<1>
	3341	- =int0$raw_n26a<1>
	3342	.names int0$raw_n26a<2> int0<2>
	3343	- =int0$raw_n26a<2>
	3344	.names int0$raw_n26a<3> int0<3>
	3345	- =int0$raw_n26a<3>
	3346	.names int1$raw_n26d<0> int1<0>
	3347	- =int1$raw_n26d<0>
	3348	.names int1$raw_n26d<1> int1<1>
	3349	- =int1$raw_n26d<1>
	3350	.names int1$raw_n26d<2> int1<2>
	3351	- =int1$raw_n26d<2>
	3352	.names int1$raw_n26d<3> int1<3>
	3353	- =int1$raw_n26d<3>
	3354	.names int1$raw_n26d<4> int1<4>
	3355	- =int1$raw_n26d<4>
	3356	.names int1$raw_n26d<5> int1<5>
	3357	- =int1$raw_n26d<5>
	3358	.names int2$raw_n27b<0> int2<0>
	3359	- =int2$raw_n27b<0>
	3360	.names int2$raw_n27b<1> int2<1>
	3361	- =int2$raw_n27b<1>
	3362	.names int2$raw_n27b<2> int2<2>
	3363	- =int2$raw_n27b<2>
	3364	.names int2$raw_n27b<3> int2<3>
	3365	- =int2$raw_n27b<3>
	3366	.names int2$raw_n27b<4> int2<4>
	3367	- =int2$raw_n27b<4>
	3368	.names int2$raw_n27b<5> int2<5>
	3369	- =int2$raw_n27b<5>
	3370	.names int2$raw_n27b<6> int2<6>
	3371	- =int2$raw_n27b<6>
	3372	.names int3$raw_n28d<0> int3<0>
	3373	- =int3$raw_n28d<0>
	3374	.names int3$raw_n28d<1> int3<1>
	3375	- =int3$raw_n28d<1>
	3376	.names int3$raw_n28d<2> int3<2>
	3377	- =int3$raw_n28d<2>
	3378	.names int3$raw_n28d<3> int3<3>
	3379	- =int3$raw_n28d<3>
	3380	.names int3$raw_n28d<4> int3<4>
	3381	- =int3$raw_n28d<4>
	3382	.names int3$raw_n28d<5> int3<5>
	3383	- =int3$raw_n28d<5>
	3384	.names int3$raw_n28d<6> int3<6>
	3385	- =int3$raw_n28d<6>
	3386	.names int3$raw_n28d<7> int3<7>
	3387	- =int3$raw_n28d<7>
	3388	# non-blocking assignments
	3389	# latches
	3390	# quasi-continuous assignment
	3391	.end
	3392
	3393

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

Download in other formats:

Original Format