# /sda4/tools/Vis1.2/vl2mv/i686/bin/vl2mv fpmpy.v # version: 0.2 # date: 20:12:08 02/25/97 (MST) .model fvFPMult # I/O ports .inputs i<0> i<1> i<2> i<3> i<4> i<5> i<6> i<7> .inputs j<0> j<1> j<2> j<3> j<4> j<5> j<6> j<7> .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> # x = i .names i<0> x$raw_n0<0> - =i<0> .names i<1> x$raw_n0<1> - =i<1> .names i<2> x$raw_n0<2> - =i<2> .names i<3> x$raw_n0<3> - =i<3> .names i<4> x$raw_n0<4> - =i<4> .names i<5> x$raw_n0<5> - =i<5> .names i<6> x$raw_n0<6> - =i<6> .names i<7> x$raw_n0<7> - =i<7> # y = j .names j<0> y$raw_n1<0> - =j<0> .names j<1> y$raw_n1<1> - =j<1> .names j<2> y$raw_n1<2> - =j<2> .names j<3> y$raw_n1<3> - =j<3> .names j<4> y$raw_n1<4> - =j<4> .names j<5> y$raw_n1<5> - =j<5> .names j<6> y$raw_n1<6> - =j<6> .names j<7> y$raw_n1<7> - =j<7> # conflict arbitrators .names _n2 .def 0 1 .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> .def 0 0 0 0 0 0 0 0 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> .names start _n4 0 0 1 1 .names _n5 .def 0 1 .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> .def 0 0 0 0 0 0 0 0 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> # non-blocking assignments # latches .r y<0> - .r y<1> - .r y<2> - .r y<3> - .r y<4> - .r y<5> - .r y<6> - .r y<7> - .latch _n3<0> y<0> .latch _n3<1> y<1> .latch _n3<2> y<2> .latch _n3<3> y<3> .latch _n3<4> y<4> .latch _n3<5> y<5> .latch _n3<6> y<6> .latch _n3<7> y<7> .r start 0 1 .latch _n4 start .r x<0> - .r x<1> - .r x<2> - .r x<3> - .r x<4> - .r x<5> - .r x<6> - .r x<7> - .latch _n6<0> x<0> .latch _n6<1> x<1> .latch _n6<2> x<2> .latch _n6<3> x<3> .latch _n6<4> x<4> .latch _n6<5> x<5> .latch _n6<6> x<6> .latch _n6<7> x<7> # quasi-continuous assignment .end .model IEEEfpMult # I/O ports .inputs y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> .outputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> .inputs start .inputs x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> .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> # xSign = 0 .names xSign$raw_n7 0 # xExp = 0 .names xExp$raw_n8<0> 0 .names xExp$raw_n8<1> 0 .names xExp$raw_n8<2> 0 .names xExp$raw_n8<3> 0 # xMant = 0 .names xMant$raw_n9<0> 0 .names xMant$raw_n9<1> 0 .names xMant$raw_n9<2> 0 .names xMant$raw_n9<3> 0 # ySign = 0 .names ySign$raw_na 0 # yExp = 0 .names yExp$raw_nb<0> 0 .names yExp$raw_nb<1> 0 .names yExp$raw_nb<2> 0 .names yExp$raw_nb<3> 0 # yMant = 0 .names yMant$raw_nc<0> 0 .names yMant$raw_nc<1> 0 .names yMant$raw_nc<2> 0 .names yMant$raw_nc<3> 0 # signProd = 0 .names signProd$raw_nd 0 # expProd = 0 .names expProd$raw_ne<0> 0 .names expProd$raw_ne<1> 0 .names expProd$raw_ne<2> 0 .names expProd$raw_ne<3> 0 .names expProd$raw_ne<4> 0 .names expProd$raw_ne<5> 0 # mantProd = 0 .names mantProd$raw_nf<0> 0 .names mantProd$raw_nf<1> 0 .names mantProd$raw_nf<2> 0 .names mantProd$raw_nf<3> 0 .names mantProd$raw_nf<4> 0 .names mantProd$raw_nf<5> 0 .names mantProd$raw_nf<6> 0 .names mantProd$raw_nf<7> 0 # z = 0 .names z$raw_n10<0> 0 .names z$raw_n10<1> 0 .names z$raw_n10<2> 0 .names z$raw_n10<3> 0 .names z$raw_n10<4> 0 .names z$raw_n10<5> 0 .names z$raw_n10<6> 0 .names z$raw_n10<7> 0 # state = 0 .names state$raw_n11<0> 0 .names state$raw_n11<1> 0 # non-blocking assignments for initial .names _n14<0> 0 .names _n14<1> 0 .names state<0> _n14<0> _n15<0> .def 0 0 1 1 1 0 1 .names state<1> _n14<1> _n15<1> .def 0 0 1 1 1 0 1 .names _n15<0> _n15<1> _n16 .def 1 0 0 0 .names _n16 _n13 0 1 1 0 .names _n13 _n12 1 1 0 0 .names start _n17 - =start # xSign = x [3 + 4] .names x<7> xSign$start_n18$true - =x<7> # xExp = x [3 + 4 - 1 : 3] .names x<3> xExp$start_n19$true<0> - =x<3> .names x<4> xExp$start_n19$true<1> - =x<4> .names x<5> xExp$start_n19$true<2> - =x<5> .names x<6> xExp$start_n19$true<3> - =x<6> # xMant = {'b1, x [3 - 1 : 0]} .names x<0> _n1b<0> - =x<0> .names x<1> _n1b<1> - =x<1> .names x<2> _n1b<2> - =x<2> .names _n1c 1 .names _n1c _n1b<3> - =_n1c .names _n1d 0 .names _n1b<0> xMant$start_n1a$true<0> - =_n1b<0> .names _n1b<1> xMant$start_n1a$true<1> - =_n1b<1> .names _n1b<2> xMant$start_n1a$true<2> - =_n1b<2> .names _n1b<3> xMant$start_n1a$true<3> - =_n1b<3> # ySign = y [3 + 4] .names y<7> ySign$start_n1e$true - =y<7> # yExp = y [3 + 4 - 1 : 3] .names y<3> yExp$start_n1f$true<0> - =y<3> .names y<4> yExp$start_n1f$true<1> - =y<4> .names y<5> yExp$start_n1f$true<2> - =y<5> .names y<6> yExp$start_n1f$true<3> - =y<6> # yMant = {'b1, y [3 - 1 : 0]} .names y<0> _n21<0> - =y<0> .names y<1> _n21<1> - =y<1> .names y<2> _n21<2> - =y<2> .names _n22 1 .names _n22 _n21<3> - =_n22 .names _n23 0 .names _n21<0> yMant$start_n20$true<0> - =_n21<0> .names _n21<1> yMant$start_n20$true<1> - =_n21<1> .names _n21<2> yMant$start_n20$true<2> - =_n21<2> .names _n21<3> yMant$start_n20$true<3> - =_n21<3> # state = 1 .names state$start_n24$true<0> 1 .names state$start_n24$true<1> 0 # if/else (start ) .names yMant$start_n20$true<0> yMant<0> start yMant$start$raw_n33<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yMant$start_n20$true<1> yMant<1> start yMant$start$raw_n33<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yMant$start_n20$true<2> yMant<2> start yMant$start$raw_n33<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yMant$start_n20$true<3> yMant<3> start yMant$start$raw_n33<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start_n1f$true<0> yExp<0> start yExp$start$raw_n38<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start_n1f$true<1> yExp<1> start yExp$start$raw_n38<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start_n1f$true<2> yExp<2> start yExp$start$raw_n38<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start_n1f$true<3> yExp<3> start yExp$start$raw_n38<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names ySign$start_n1e$true ySign start ySign$start$raw_n3d 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start_n19$true<0> xExp<0> start xExp$start$raw_n3f<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start_n19$true<1> xExp<1> start xExp$start$raw_n3f<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start_n19$true<2> xExp<2> start xExp$start$raw_n3f<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start_n19$true<3> xExp<3> start xExp$start$raw_n3f<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xSign$start_n18$true xSign start xSign$start$raw_n44 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$start_n24$true<0> state<0> start state$start$raw_n46<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$start_n24$true<1> state<1> start state$start$raw_n46<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start_n1a$true<0> xMant<0> start xMant$start$raw_n49<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start_n1a$true<1> xMant<1> start xMant$start$raw_n49<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start_n1a$true<2> xMant<2> start xMant$start$raw_n49<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start_n1a$true<3> xMant<3> start xMant$start$raw_n49<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n50<0> 1 .names _n50<1> 0 .names state<0> _n50<0> _n51<0> .def 0 0 1 1 1 0 1 .names state<1> _n50<1> _n51<1> .def 0 0 1 1 1 0 1 .names _n51<0> _n51<1> _n52 .def 1 0 0 0 .names _n52 _n4f 0 1 1 0 .names _n4f _n4e 1 1 0 0 # mantProd = combZ .names combZ<0> mantProd$_n4e_n53$true<0> - =combZ<0> .names combZ<1> mantProd$_n4e_n53$true<1> - =combZ<1> .names combZ<2> mantProd$_n4e_n53$true<2> - =combZ<2> .names combZ<3> mantProd$_n4e_n53$true<3> - =combZ<3> .names combZ<4> mantProd$_n4e_n53$true<4> - =combZ<4> .names combZ<5> mantProd$_n4e_n53$true<5> - =combZ<5> .names combZ<6> mantProd$_n4e_n53$true<6> - =combZ<6> .names combZ<7> mantProd$_n4e_n53$true<7> - =combZ<7> .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> .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> # Zero (xExp ,xMant ) || Zero (yExp ,yMant ) .names _n54<0> _n56<0> _n58<0> .def 1 0 0 0 .names _n58<0> _n5a .def 1 0 0 .names _n5a _n59 - =_n5a # expProd = 0 .names expProd$_n58_n5b$true<0> 0 .names expProd$_n58_n5b$true<1> 0 .names expProd$_n58_n5b$true<2> 0 .names expProd$_n58_n5b$true<3> 0 .names expProd$_n58_n5b$true<4> 0 .names expProd$_n58_n5b$true<5> 0 # expProd = xExp + yExp - {'b1} # xExp + yExp .names _n5e 0 .names xExp<0> yExp<0> _n5e _n5d<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n60 0 .names xExp<0> yExp<0> _n60 _n5f .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names xExp<1> yExp<1> _n5f _n5d<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names xExp<1> yExp<1> _n5f _n61 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names xExp<2> yExp<2> _n61 _n5d<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names xExp<2> yExp<2> _n61 _n62 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names xExp<3> yExp<3> _n62 _n5d<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names xExp<3> yExp<3> _n62 _n63 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n63 _n5d<4> 1 1 0 0 .names _n65 1 .names _n65 _n64<0> - =_n65 .names _n66 0 .names _n67 1 .names _n67 _n64<1> - =_n67 .names _n68 0 .names _n69 1 .names _n69 _n64<2> - =_n69 .names _n6a 0 # xExp + yExp - {'b1} .names _n6c 0 .names _n5d<0> _n64<0> _n6c _n6b<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n6e 0 .names _n5d<0> _n64<0> _n6e _n6d .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n5d<1> _n64<1> _n6d _n6b<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n5d<1> _n64<1> _n6d _n6f .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n5d<2> _n64<2> _n6f _n6b<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n5d<2> _n64<2> _n6f _n70 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n70 _n6b<3> 1 1 0 0 .names _n6b<4> 0 .names _n6b<5> 0 .names _n6b<0> expProd$_n58_n5c$false<0> - =_n6b<0> .names _n6b<1> expProd$_n58_n5c$false<1> - =_n6b<1> .names _n6b<2> expProd$_n58_n5c$false<2> - =_n6b<2> .names _n6b<3> expProd$_n58_n5c$false<3> - =_n6b<3> .names _n6b<4> expProd$_n58_n5c$false<4> - =_n6b<4> .names _n6b<5> expProd$_n58_n5c$false<5> - =_n6b<5> # if/else (Zero (xExp ,xMant ) || Zero (yExp ,yMant ) ) .names _n58<0> _n75 .def 1 0 0 .names expProd$_n58_n5b$true<0> expProd$_n58_n5c$false<0> _n75 expProd$_n58$raw_n74<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58_n5b$true<1> expProd$_n58_n5c$false<1> _n75 expProd$_n58$raw_n74<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58_n5b$true<2> expProd$_n58_n5c$false<2> _n75 expProd$_n58$raw_n74<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58_n5b$true<3> expProd$_n58_n5c$false<3> _n75 expProd$_n58$raw_n74<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58_n5b$true<4> expProd$_n58_n5c$false<4> _n75 expProd$_n58$raw_n74<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58_n5b$true<5> expProd$_n58_n5c$false<5> _n75 expProd$_n58$raw_n74<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # signProd = xSign ^ ySign # xSign ^ ySign .names xSign ySign _n81 .def 0 0 1 1 1 0 1 .names _n81 signProd$_n4e_n80$true - =_n81 # state = 2 .names state$_n4e_n82$true<0> 0 .names state$_n4e_n82$true<1> 1 .names _n85<0> 0 .names _n85<1> 1 .names state<0> _n85<0> _n86<0> .def 0 0 1 1 1 0 1 .names state<1> _n85<1> _n86<1> .def 0 0 1 1 1 0 1 .names _n86<0> _n86<1> _n87 .def 1 0 0 0 .names _n87 _n84 0 1 1 0 .names _n84 _n83 1 1 0 0 .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> .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> # NaN (xExp ,xMant ) || NaN (yExp ,yMant ) .names _n88<0> _n8a<0> _n8c<0> .def 1 0 0 0 .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> .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> # Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) .names _n8d<0> _n8f<0> _n91<0> .def 0 1 1 1 # NaN (xExp ,xMant ) || NaN (yExp ,yMant ) || Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) .names _n8c<0> _n91<0> _n92<0> .def 1 0 0 0 .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> .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> # Zero (xExp ,xMant ) && Infinity (yExp ,yMant ) .names _n93<0> _n95<0> _n97<0> .def 0 1 1 1 # NaN (xExp ,xMant ) || NaN (yExp ,yMant ) || Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) || Zero (xExp ,xMant ) && Infinity (yExp ,yMant ) .names _n92<0> _n97<0> _n98<0> .def 1 0 0 0 .names _n98<0> _n9a .def 1 0 0 .names _n9a _n99 - =_n9a # z = {'b0, {'b1}, {'b1}} .names _n9e 1 .names _n9e _n9d<0> - =_n9e .names _n9f 0 .names _na0 1 .names _na0 _n9d<1> - =_na0 .names _na1 0 .names _na2 1 .names _na2 _n9d<2> - =_na2 .names _na3 0 .names _n9d<0> _n9c<0> - =_n9d<0> .names _n9d<1> _n9c<1> - =_n9d<1> .names _n9d<2> _n9c<2> - =_n9d<2> .names _na5 1 .names _na5 _na4<0> - =_na5 .names _na6 0 .names _na7 1 .names _na7 _na4<1> - =_na7 .names _na8 0 .names _na9 1 .names _na9 _na4<2> - =_na9 .names _naa 0 .names _nab 1 .names _nab _na4<3> - =_nab .names _nac 0 .names _na4<0> _n9c<3> - =_na4<0> .names _na4<1> _n9c<4> - =_na4<1> .names _na4<2> _n9c<5> - =_na4<2> .names _na4<3> _n9c<6> - =_na4<3> .names _nad 0 .names _nad _n9c<7> - =_nad .names _nae 0 .names _n9c<0> z$_n98_n9b$true<0> - =_n9c<0> .names _n9c<1> z$_n98_n9b$true<1> - =_n9c<1> .names _n9c<2> z$_n98_n9b$true<2> - =_n9c<2> .names _n9c<3> z$_n98_n9b$true<3> - =_n9c<3> .names _n9c<4> z$_n98_n9b$true<4> - =_n9c<4> .names _n9c<5> z$_n98_n9b$true<5> - =_n9c<5> .names _n9c<6> z$_n98_n9b$true<6> - =_n9c<6> .names _n9c<7> z$_n98_n9b$true<7> - =_n9c<7> .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> .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> # Infinity (xExp ,xMant ) || Infinity (yExp ,yMant ) .names _naf<0> _nb1<0> _nb3<0> .def 1 0 0 0 .names _nb3<0> _nb5 .def 1 0 0 .names _nb5 _nb4 - =_nb5 # z = {signProd , {'b1}, {'b0}} .names _nb9 0 .names _nb9 _nb8<0> - =_nb9 .names _nba 0 .names _nbb 0 .names _nbb _nb8<1> - =_nbb .names _nbc 0 .names _nbd 0 .names _nbd _nb8<2> - =_nbd .names _nbe 0 .names _nb8<0> _nb7<0> - =_nb8<0> .names _nb8<1> _nb7<1> - =_nb8<1> .names _nb8<2> _nb7<2> - =_nb8<2> .names _nc0 1 .names _nc0 _nbf<0> - =_nc0 .names _nc1 0 .names _nc2 1 .names _nc2 _nbf<1> - =_nc2 .names _nc3 0 .names _nc4 1 .names _nc4 _nbf<2> - =_nc4 .names _nc5 0 .names _nc6 1 .names _nc6 _nbf<3> - =_nc6 .names _nc7 0 .names _nbf<0> _nb7<3> - =_nbf<0> .names _nbf<1> _nb7<4> - =_nbf<1> .names _nbf<2> _nb7<5> - =_nbf<2> .names _nbf<3> _nb7<6> - =_nbf<3> .names signProd _nb7<7> - =signProd .names _nc8 0 .names _nb7<0> z$_nb3_nb6$true<0> - =_nb7<0> .names _nb7<1> z$_nb3_nb6$true<1> - =_nb7<1> .names _nb7<2> z$_nb3_nb6$true<2> - =_nb7<2> .names _nb7<3> z$_nb3_nb6$true<3> - =_nb7<3> .names _nb7<4> z$_nb3_nb6$true<4> - =_nb7<4> .names _nb7<5> z$_nb3_nb6$true<5> - =_nb7<5> .names _nb7<6> z$_nb3_nb6$true<6> - =_nb7<6> .names _nb7<7> z$_nb3_nb6$true<7> - =_nb7<7> .names _nca<0> 0 .names _nca<1> 0 .names _nca<2> 0 .names _nca<3> 0 .names _nca<4> 0 .names _nca<5> 0 # scaledExp == 0 .names scaledExp<0> _nca<0> _ncb<0> .def 0 0 1 1 1 0 1 .names scaledExp<1> _nca<1> _ncb<1> .def 0 0 1 1 1 0 1 .names scaledExp<2> _nca<2> _ncb<2> .def 0 0 1 1 1 0 1 .names scaledExp<3> _nca<3> _ncb<3> .def 0 0 1 1 1 0 1 .names scaledExp<4> _nca<4> _ncb<4> .def 0 0 1 1 1 0 1 .names scaledExp<5> _nca<5> _ncb<5> .def 0 0 1 1 1 0 1 .names _ncb<0> _ncb<1> _ncb<2> _ncb<3> _ncb<4> _ncb<5> _ncc .def 1 0 0 0 0 0 0 0 .names _ncc _nc9 0 1 1 0 # scaledExp [4 + 1] || scaledExp == 0 .names scaledExp<5> _nc9 _ncd<5> .def 1 0 0 0 .names _nce 0 .names _ncd<5> _nd0 .def 1 0 0 .names _nd0 _ncf - =_nd0 # z = {signProd , {'b0}} .names _nd4 0 .names _nd4 _nd3<0> - =_nd4 .names _nd5 0 .names _nd6 0 .names _nd6 _nd3<1> - =_nd6 .names _nd7 0 .names _nd8 0 .names _nd8 _nd3<2> - =_nd8 .names _nd9 0 .names _nda 0 .names _nda _nd3<3> - =_nda .names _ndb 0 .names _ndc 0 .names _ndc _nd3<4> - =_ndc .names _ndd 0 .names _nde 0 .names _nde _nd3<5> - =_nde .names _ndf 0 .names _ne0 0 .names _ne0 _nd3<6> - =_ne0 .names _ne1 0 .names _nd3<0> _nd2<0> - =_nd3<0> .names _nd3<1> _nd2<1> - =_nd3<1> .names _nd3<2> _nd2<2> - =_nd3<2> .names _nd3<3> _nd2<3> - =_nd3<3> .names _nd3<4> _nd2<4> - =_nd3<4> .names _nd3<5> _nd2<5> - =_nd3<5> .names _nd3<6> _nd2<6> - =_nd3<6> .names signProd _nd2<7> - =signProd .names _ne2 0 .names _nd2<0> z$_ncd_nd1$true<0> - =_nd2<0> .names _nd2<1> z$_ncd_nd1$true<1> - =_nd2<1> .names _nd2<2> z$_ncd_nd1$true<2> - =_nd2<2> .names _nd2<3> z$_ncd_nd1$true<3> - =_nd2<3> .names _nd2<4> z$_ncd_nd1$true<4> - =_nd2<4> .names _nd2<5> z$_ncd_nd1$true<5> - =_nd2<5> .names _nd2<6> z$_ncd_nd1$true<6> - =_nd2<6> .names _nd2<7> z$_ncd_nd1$true<7> - =_nd2<7> .names _ne4 1 .names _ne4 _ne3<0> - =_ne4 .names _ne5 0 .names _ne6 1 .names _ne6 _ne3<1> - =_ne6 .names _ne7 0 .names _ne8 1 .names _ne8 _ne3<2> - =_ne8 .names _ne9 0 .names _nea 1 .names _nea _ne3<3> - =_nea .names _neb 0 # scaledExp >= {'b1} .names _nee 0 .names scaledExp<0> _ne3<0> _nee _ned<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _nf0 0 .names scaledExp<0> _ne3<0> _nf0 _nef .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names scaledExp<1> _ne3<1> _nef _ned<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names scaledExp<1> _ne3<1> _nef _nf1 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names scaledExp<2> _ne3<2> _nf1 _ned<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names scaledExp<2> _ne3<2> _nf1 _nf2 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names scaledExp<3> _ne3<3> _nf2 _ned<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names scaledExp<3> _ne3<3> _nf2 _nf3 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _nf4 0 .names scaledExp<4> _nf4 _nf3 _ned<4> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names scaledExp<4> _nf4 _nf3 _nf5 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _nf6 0 .names scaledExp<5> _nf6 _nf5 _ned<5> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names scaledExp<5> _nf6 _nf5 _nf7 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _ned<0> _ned<1> _ned<2> _ned<3> _ned<4> _ned<5> _nf8 .def 1 0 0 0 0 0 0 0 .names _nf7 _nf8 _nf9 .def 0 1 1 1 .names _nf9 _nec 0 1 1 0 .names _nec _nfa - =_nec # z = {signProd , {'b1}, {'b0}} .names _nfe 0 .names _nfe _nfd<0> - =_nfe .names _nff 0 .names _n100 0 .names _n100 _nfd<1> - =_n100 .names _n101 0 .names _n102 0 .names _n102 _nfd<2> - =_n102 .names _n103 0 .names _nfd<0> _nfc<0> - =_nfd<0> .names _nfd<1> _nfc<1> - =_nfd<1> .names _nfd<2> _nfc<2> - =_nfd<2> .names _n105 1 .names _n105 _n104<0> - =_n105 .names _n106 0 .names _n107 1 .names _n107 _n104<1> - =_n107 .names _n108 0 .names _n109 1 .names _n109 _n104<2> - =_n109 .names _n10a 0 .names _n10b 1 .names _n10b _n104<3> - =_n10b .names _n10c 0 .names _n104<0> _nfc<3> - =_n104<0> .names _n104<1> _nfc<4> - =_n104<1> .names _n104<2> _nfc<5> - =_n104<2> .names _n104<3> _nfc<6> - =_n104<3> .names signProd _nfc<7> - =signProd .names _n10d 0 .names _nfc<0> z$_nec_nfb$true<0> - =_nfc<0> .names _nfc<1> z$_nec_nfb$true<1> - =_nfc<1> .names _nfc<2> z$_nec_nfb$true<2> - =_nfc<2> .names _nfc<3> z$_nec_nfb$true<3> - =_nfc<3> .names _nfc<4> z$_nec_nfb$true<4> - =_nfc<4> .names _nfc<5> z$_nec_nfb$true<5> - =_nfc<5> .names _nfc<6> z$_nec_nfb$true<6> - =_nfc<6> .names _nfc<7> z$_nec_nfb$true<7> - =_nfc<7> # z = {signProd , scaledExp [4 - 1 : 0], scaledMant } .names scaledMant<0> _n10f<0> - =scaledMant<0> .names scaledMant<1> _n10f<1> - =scaledMant<1> .names scaledMant<2> _n10f<2> - =scaledMant<2> .names scaledExp<0> _n10f<3> - =scaledExp<0> .names scaledExp<1> _n10f<4> - =scaledExp<1> .names scaledExp<2> _n10f<5> - =scaledExp<2> .names scaledExp<3> _n10f<6> - =scaledExp<3> .names signProd _n10f<7> - =signProd .names _n110 0 .names _n10f<0> z$_nec_n10e$false<0> - =_n10f<0> .names _n10f<1> z$_nec_n10e$false<1> - =_n10f<1> .names _n10f<2> z$_nec_n10e$false<2> - =_n10f<2> .names _n10f<3> z$_nec_n10e$false<3> - =_n10f<3> .names _n10f<4> z$_nec_n10e$false<4> - =_n10f<4> .names _n10f<5> z$_nec_n10e$false<5> - =_n10f<5> .names _n10f<6> z$_nec_n10e$false<6> - =_n10f<6> .names _n10f<7> z$_nec_n10e$false<7> - =_n10f<7> # if/else (scaledExp >= {'b1}) .names z$_nec_nfb$true<0> z$_nec_n10e$false<0> _nec z$_nec$raw_n112<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nec_nfb$true<1> z$_nec_n10e$false<1> _nec z$_nec$raw_n112<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nec_nfb$true<2> z$_nec_n10e$false<2> _nec z$_nec$raw_n112<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nec_nfb$true<3> z$_nec_n10e$false<3> _nec z$_nec$raw_n112<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nec_nfb$true<4> z$_nec_n10e$false<4> _nec z$_nec$raw_n112<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nec_nfb$true<5> z$_nec_n10e$false<5> _nec z$_nec$raw_n112<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nec_nfb$true<6> z$_nec_n10e$false<6> _nec z$_nec$raw_n112<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nec_nfb$true<7> z$_nec_n10e$false<7> _nec z$_nec$raw_n112<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # if/else (scaledExp [4 + 1] || scaledExp == 0) .names _ncd<5> _n11f .def 1 0 0 .names z$_ncd_nd1$true<0> z$_nec$raw_n112<0> _n11f z$_ncd$raw_n11e<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_ncd_nd1$true<1> z$_nec$raw_n112<1> _n11f z$_ncd$raw_n11e<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_ncd_nd1$true<2> z$_nec$raw_n112<2> _n11f z$_ncd$raw_n11e<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_ncd_nd1$true<3> z$_nec$raw_n112<3> _n11f z$_ncd$raw_n11e<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_ncd_nd1$true<4> z$_nec$raw_n112<4> _n11f z$_ncd$raw_n11e<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_ncd_nd1$true<5> z$_nec$raw_n112<5> _n11f z$_ncd$raw_n11e<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_ncd_nd1$true<6> z$_nec$raw_n112<6> _n11f z$_ncd$raw_n11e<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_ncd_nd1$true<7> z$_nec$raw_n112<7> _n11f z$_ncd$raw_n11e<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # if/else (Infinity (xExp ,xMant ) || Infinity (yExp ,yMant ) ) .names _nb3<0> _n12c .def 1 0 0 .names z$_nb3_nb6$true<0> z$_ncd$raw_n11e<0> _n12c z$_nb3$raw_n12b<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nb3_nb6$true<1> z$_ncd$raw_n11e<1> _n12c z$_nb3$raw_n12b<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nb3_nb6$true<2> z$_ncd$raw_n11e<2> _n12c z$_nb3$raw_n12b<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nb3_nb6$true<3> z$_ncd$raw_n11e<3> _n12c z$_nb3$raw_n12b<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nb3_nb6$true<4> z$_ncd$raw_n11e<4> _n12c z$_nb3$raw_n12b<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nb3_nb6$true<5> z$_ncd$raw_n11e<5> _n12c z$_nb3$raw_n12b<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nb3_nb6$true<6> z$_ncd$raw_n11e<6> _n12c z$_nb3$raw_n12b<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_nb3_nb6$true<7> z$_ncd$raw_n11e<7> _n12c z$_nb3$raw_n12b<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # if/else (NaN (xExp ,xMant ) || NaN (yExp ,yMant ) || Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) || Zero (xExp ,xMant ) && Infinity (yExp ,yMant ) ) .names _n98<0> _n139 .def 1 0 0 .names z$_n98_n9b$true<0> z$_nb3$raw_n12b<0> _n139 z$_n98$raw_n138<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98_n9b$true<1> z$_nb3$raw_n12b<1> _n139 z$_n98$raw_n138<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98_n9b$true<2> z$_nb3$raw_n12b<2> _n139 z$_n98$raw_n138<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98_n9b$true<3> z$_nb3$raw_n12b<3> _n139 z$_n98$raw_n138<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98_n9b$true<4> z$_nb3$raw_n12b<4> _n139 z$_n98$raw_n138<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98_n9b$true<5> z$_nb3$raw_n12b<5> _n139 z$_n98$raw_n138<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98_n9b$true<6> z$_nb3$raw_n12b<6> _n139 z$_n98$raw_n138<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98_n9b$true<7> z$_nb3$raw_n12b<7> _n139 z$_n98$raw_n138<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # state = 0 .names state$_n83_n144$true<0> 0 .names state$_n83_n144$true<1> 0 # case (state ) .names z$_n98$raw_n138<0> z<0> _n83 z$_n83$raw_n149<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98$raw_n138<1> z<1> _n83 z$_n83$raw_n149<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98$raw_n138<2> z<2> _n83 z$_n83$raw_n149<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98$raw_n138<3> z<3> _n83 z$_n83$raw_n149<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98$raw_n138<4> z<4> _n83 z$_n83$raw_n149<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98$raw_n138<5> z<5> _n83 z$_n83$raw_n149<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98$raw_n138<6> z<6> _n83 z$_n83$raw_n149<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z$_n98$raw_n138<7> z<7> _n83 z$_n83$raw_n149<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$_n83_n144$true<0> state<0> _n83 state$_n83$raw_n152<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$_n83_n144$true<1> state<1> _n83 state$_n83$raw_n152<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$_n4e_n82$true<0> state$_n83$raw_n152<0> _n4e state$_n4e$raw_n157<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$_n4e_n82$true<1> state$_n83$raw_n152<1> _n4e state$_n4e$raw_n157<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names signProd$_n4e_n80$true signProd _n4e signProd$_n4e$raw_n15f 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<0> mantProd<0> _n4e mantProd$_n4e$raw_n161<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<1> mantProd<1> _n4e mantProd$_n4e$raw_n161<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<2> mantProd<2> _n4e mantProd$_n4e$raw_n161<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<3> mantProd<3> _n4e mantProd$_n4e$raw_n161<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<4> mantProd<4> _n4e mantProd$_n4e$raw_n161<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<5> mantProd<5> _n4e mantProd$_n4e$raw_n161<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<6> mantProd<6> _n4e mantProd$_n4e$raw_n161<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd$_n4e_n53$true<7> mantProd<7> _n4e mantProd$_n4e$raw_n161<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58$raw_n74<0> expProd<0> _n4e expProd$_n4e$raw_n16b<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58$raw_n74<1> expProd<1> _n4e expProd$_n4e$raw_n16b<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58$raw_n74<2> expProd<2> _n4e expProd$_n4e$raw_n16b<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58$raw_n74<3> expProd<3> _n4e expProd$_n4e$raw_n16b<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58$raw_n74<4> expProd<4> _n4e expProd$_n4e$raw_n16b<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd$_n58$raw_n74<5> expProd<5> _n4e expProd$_n4e$raw_n16b<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<0> z$_n83$raw_n149<0> _n4e z$_n4e$raw_n172<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<1> z$_n83$raw_n149<1> _n4e z$_n4e$raw_n172<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<2> z$_n83$raw_n149<2> _n4e z$_n4e$raw_n172<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<3> z$_n83$raw_n149<3> _n4e z$_n4e$raw_n172<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<4> z$_n83$raw_n149<4> _n4e z$_n4e$raw_n172<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<5> z$_n83$raw_n149<5> _n4e z$_n4e$raw_n172<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<6> z$_n83$raw_n149<6> _n4e z$_n4e$raw_n172<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<7> z$_n83$raw_n149<7> _n4e z$_n4e$raw_n172<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$start$raw_n46<0> state$_n4e$raw_n157<0> _n12 state$_n12$raw_n182<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names state$start$raw_n46<1> state$_n4e$raw_n157<1> _n12 state$_n12$raw_n182<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yMant$start$raw_n33<0> yMant<0> _n12 yMant$_n12$raw_n18c<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yMant$start$raw_n33<1> yMant<1> _n12 yMant$_n12$raw_n18c<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yMant$start$raw_n33<2> yMant<2> _n12 yMant$_n12$raw_n18c<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yMant$start$raw_n33<3> yMant<3> _n12 yMant$_n12$raw_n18c<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names ySign$start$raw_n3d ySign _n12 ySign$_n12$raw_n191 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start$raw_n38<0> yExp<0> _n12 yExp$_n12$raw_n193<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start$raw_n38<1> yExp<1> _n12 yExp$_n12$raw_n193<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start$raw_n38<2> yExp<2> _n12 yExp$_n12$raw_n193<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names yExp$start$raw_n38<3> yExp<3> _n12 yExp$_n12$raw_n193<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start$raw_n3f<0> xExp<0> _n12 xExp$_n12$raw_n198<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start$raw_n3f<1> xExp<1> _n12 xExp$_n12$raw_n198<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start$raw_n3f<2> xExp<2> _n12 xExp$_n12$raw_n198<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xExp$start$raw_n3f<3> xExp<3> _n12 xExp$_n12$raw_n198<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xSign$start$raw_n44 xSign _n12 xSign$_n12$raw_n19d 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start$raw_n49<0> xMant<0> _n12 xMant$_n12$raw_n19f<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start$raw_n49<1> xMant<1> _n12 xMant$_n12$raw_n19f<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start$raw_n49<2> xMant<2> _n12 xMant$_n12$raw_n19f<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names xMant$start$raw_n49<3> xMant<3> _n12 xMant$_n12$raw_n19f<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names signProd signProd$_n4e$raw_n15f _n12 signProd$_n12$raw_n1a5 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<0> z$_n4e$raw_n172<0> _n12 z$_n12$raw_n1a7<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<1> z$_n4e$raw_n172<1> _n12 z$_n12$raw_n1a7<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<2> z$_n4e$raw_n172<2> _n12 z$_n12$raw_n1a7<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<3> z$_n4e$raw_n172<3> _n12 z$_n12$raw_n1a7<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<4> z$_n4e$raw_n172<4> _n12 z$_n12$raw_n1a7<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<5> z$_n4e$raw_n172<5> _n12 z$_n12$raw_n1a7<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<6> z$_n4e$raw_n172<6> _n12 z$_n12$raw_n1a7<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names z<7> z$_n4e$raw_n172<7> _n12 z$_n12$raw_n1a7<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<0> mantProd$_n4e$raw_n161<0> _n12 mantProd$_n12$raw_n1b0<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<1> mantProd$_n4e$raw_n161<1> _n12 mantProd$_n12$raw_n1b0<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<2> mantProd$_n4e$raw_n161<2> _n12 mantProd$_n12$raw_n1b0<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<3> mantProd$_n4e$raw_n161<3> _n12 mantProd$_n12$raw_n1b0<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<4> mantProd$_n4e$raw_n161<4> _n12 mantProd$_n12$raw_n1b0<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<5> mantProd$_n4e$raw_n161<5> _n12 mantProd$_n12$raw_n1b0<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<6> mantProd$_n4e$raw_n161<6> _n12 mantProd$_n12$raw_n1b0<6> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names mantProd<7> mantProd$_n4e$raw_n161<7> _n12 mantProd$_n12$raw_n1b0<7> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd<0> expProd$_n4e$raw_n16b<0> _n12 expProd$_n12$raw_n1ba<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd<1> expProd$_n4e$raw_n16b<1> _n12 expProd$_n12$raw_n1ba<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd<2> expProd$_n4e$raw_n16b<2> _n12 expProd$_n12$raw_n1ba<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd<3> expProd$_n4e$raw_n16b<3> _n12 expProd$_n12$raw_n1ba<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd<4> expProd$_n4e$raw_n16b<4> _n12 expProd$_n12$raw_n1ba<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names expProd<5> expProd$_n4e$raw_n16b<5> _n12 expProd$_n12$raw_n1ba<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # assign msb = mantProd [2 * 3 + 1] .names mantProd<7> msb$raw_n1c1 - =mantProd<7> # assign lsb = mantProd [3 + 1] .names mantProd<4> lsb$raw_n1c2 - =mantProd<4> # assign guard = mantProd [3] .names mantProd<3> guard$raw_n1c3 - =mantProd<3> # assign round = mantProd [3 - 1] .names mantProd<2> round$raw_n1c4 - =mantProd<2> # assign sticky = |mantProd [3 - 2 : 0] .names mantProd<0> mantProd<1> _n1c8 .def 1 0 0 0 .names _n1c8 _n1c6 - =_n1c8 .names _n1c6 sticky$raw_n1c5 - =_n1c6 # assign preMant = msb ? mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round | sticky | lsb ), 'b0} : mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky | guard )} .names _n1cb 0 .names _n1cb _n1ca<0> - =_n1cb .names _n1cc 0 # round | sticky .names round sticky _n1cd .def 1 0 0 0 # round | sticky | lsb .names _n1cd lsb _n1ce .def 1 0 0 0 # guard & (round | sticky | lsb ) .names guard _n1ce _n1cf .def 0 1 1 1 .names _n1cf _n1ca<1> - =_n1cf .names _n1d0 0 .names _n1d2 0 .names _n1d2 _n1d1<0> - =_n1d2 .names _n1d3 0 .names _n1d4 0 .names _n1d4 _n1d1<1> - =_n1d4 .names _n1d5 0 .names _n1d6 0 .names _n1d6 _n1d1<2> - =_n1d6 .names _n1d7 0 .names _n1d1<0> _n1ca<2> - =_n1d1<0> .names _n1d1<1> _n1ca<3> - =_n1d1<1> .names _n1d1<2> _n1ca<4> - =_n1d1<2> # mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round | sticky | lsb ), 'b0} .names _n1d9 0 .names mantProd<3> _n1ca<0> _n1d9 _n1d8<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n1db 0 .names mantProd<3> _n1ca<0> _n1db _n1da .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<4> _n1ca<1> _n1da _n1d8<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names mantProd<4> _n1ca<1> _n1da _n1dc .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<5> _n1ca<2> _n1dc _n1d8<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names mantProd<5> _n1ca<2> _n1dc _n1dd .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<6> _n1ca<3> _n1dd _n1d8<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names mantProd<6> _n1ca<3> _n1dd _n1de .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<7> _n1ca<4> _n1de _n1d8<4> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # sticky | guard .names sticky guard _n1e0 .def 1 0 0 0 # round & (sticky | guard ) .names round _n1e0 _n1e1 .def 0 1 1 1 .names _n1e1 _n1df<0> - =_n1e1 .names _n1e2 0 .names _n1e4 0 .names _n1e4 _n1e3<0> - =_n1e4 .names _n1e5 0 .names _n1e6 0 .names _n1e6 _n1e3<1> - =_n1e6 .names _n1e7 0 .names _n1e8 0 .names _n1e8 _n1e3<2> - =_n1e8 .names _n1e9 0 .names _n1ea 0 .names _n1ea _n1e3<3> - =_n1ea .names _n1eb 0 .names _n1e3<0> _n1df<1> - =_n1e3<0> .names _n1e3<1> _n1df<2> - =_n1e3<1> .names _n1e3<2> _n1df<3> - =_n1e3<2> .names _n1e3<3> _n1df<4> - =_n1e3<3> # mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky | guard )} .names _n1ed 0 .names mantProd<3> _n1df<0> _n1ed _n1ec<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n1ef 0 .names mantProd<3> _n1df<0> _n1ef _n1ee .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<4> _n1df<1> _n1ee _n1ec<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names mantProd<4> _n1df<1> _n1ee _n1f0 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<5> _n1df<2> _n1f0 _n1ec<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names mantProd<5> _n1df<2> _n1f0 _n1f1 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<6> _n1df<3> _n1f1 _n1ec<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names mantProd<6> _n1df<3> _n1f1 _n1f2 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names mantProd<7> _n1df<4> _n1f2 _n1ec<4> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # msb ? mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round | sticky | lsb ), 'b0} : mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky | guard )} .names _n1d8<0> _n1ec<0> msb _n1f3<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1d8<1> _n1ec<1> msb _n1f3<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1d8<2> _n1ec<2> msb _n1f3<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1d8<3> _n1ec<3> msb _n1f3<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1d8<4> _n1ec<4> msb _n1f3<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1f3<0> preMant$raw_n1c9<0> - =_n1f3<0> .names _n1f3<1> preMant$raw_n1c9<1> - =_n1f3<1> .names _n1f3<2> preMant$raw_n1c9<2> - =_n1f3<2> .names _n1f3<3> preMant$raw_n1c9<3> - =_n1f3<3> .names _n1f3<4> preMant$raw_n1c9<4> - =_n1f3<4> # assign scaledExp = preMant [3 + 1] ? expProd + 1 : expProd .names _n1fa<0> 1 .names _n1fa<1> 0 .names _n1fa<2> 0 .names _n1fa<3> 0 .names _n1fa<4> 0 .names _n1fa<5> 0 # expProd + 1 .names _n1fc 0 .names expProd<0> _n1fa<0> _n1fc _n1fb<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n1fe 0 .names expProd<0> _n1fa<0> _n1fe _n1fd .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names expProd<1> _n1fa<1> _n1fd _n1fb<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names expProd<1> _n1fa<1> _n1fd _n1ff .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names expProd<2> _n1fa<2> _n1ff _n1fb<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names expProd<2> _n1fa<2> _n1ff _n200 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names expProd<3> _n1fa<3> _n200 _n1fb<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names expProd<3> _n1fa<3> _n200 _n201 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names expProd<4> _n1fa<4> _n201 _n1fb<4> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names expProd<4> _n1fa<4> _n201 _n202 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names expProd<5> _n1fa<5> _n202 _n1fb<5> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # preMant [3 + 1] ? expProd + 1 : expProd .names preMant<4> _n204 .def 1 0 0 .names _n1fb<0> expProd<0> _n204 _n203<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1fb<1> expProd<1> _n204 _n203<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1fb<2> expProd<2> _n204 _n203<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1fb<3> expProd<3> _n204 _n203<3> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1fb<4> expProd<4> _n204 _n203<4> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n1fb<5> expProd<5> _n204 _n203<5> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n203<0> scaledExp$raw_n1f9<0> - =_n203<0> .names _n203<1> scaledExp$raw_n1f9<1> - =_n203<1> .names _n203<2> scaledExp$raw_n1f9<2> - =_n203<2> .names _n203<3> scaledExp$raw_n1f9<3> - =_n203<3> .names _n203<4> scaledExp$raw_n1f9<4> - =_n203<4> .names _n203<5> scaledExp$raw_n1f9<5> - =_n203<5> # assign scaledMant = preMant [3 + 1] ? preMant [3 : 1] : preMant [3 - 1 : 0] # preMant [3 + 1] ? preMant [3 : 1] : preMant [3 - 1 : 0] .names preMant<4> _n20d .def 1 0 0 .names preMant<1> preMant<0> _n20d _n20c<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names preMant<2> preMant<1> _n20d _n20c<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names preMant<3> preMant<2> _n20d _n20c<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n20c<0> scaledMant$raw_n20b<0> - =_n20c<0> .names _n20c<1> scaledMant$raw_n20b<1> - =_n20c<1> .names _n20c<2> scaledMant$raw_n20b<2> - =_n20c<2> # conflict arbitrators .names sticky$raw_n1c5 sticky 0 0 1 1 .names _n12 _n4e _n211 .def 0 0 1 1 .names _n211 signProd$_n12$raw_n1a5 signProd _n212 1 0 - 0 1 1 - 1 0 - 0 0 0 - 1 1 .names _n12 _n4e _n213 .def 0 0 1 1 .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> 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> 0 - - - - - - - - - - - - - - - - =mantProd<0> =mantProd<1> =mantProd<2> =mantProd<3> =mantProd<4> =mantProd<5> =mantProd<6> =mantProd<7> .names _n12 _n17 _n215 .def 0 1 1 1 .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> 1 - - - - - - - - =yMant$_n12$raw_n18c<0> =yMant$_n12$raw_n18c<1> =yMant$_n12$raw_n18c<2> =yMant$_n12$raw_n18c<3> 0 - - - - - - - - =yMant<0> =yMant<1> =yMant<2> =yMant<3> .names _n12 _n4e _n83 _n99 _nb4 _ncf _nfa _n217 .def 0 0 0 1 1 - - - 1 0 0 1 0 1 - - 1 0 0 1 0 0 1 - 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 .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> 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> 0 - - - - - - - - - - - - - - - - =z<0> =z<1> =z<2> =z<3> =z<4> =z<5> =z<6> =z<7> .names lsb$raw_n1c2 lsb 0 0 1 1 .names scaledMant$raw_n20b<0> scaledMant<0> - =scaledMant$raw_n20b<0> .names scaledMant$raw_n20b<1> scaledMant<1> - =scaledMant$raw_n20b<1> .names scaledMant$raw_n20b<2> scaledMant<2> - =scaledMant$raw_n20b<2> .names _n12 _n17 _n219 .def 0 1 1 1 .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> 1 - - - - - - - - =yExp$_n12$raw_n193<0> =yExp$_n12$raw_n193<1> =yExp$_n12$raw_n193<2> =yExp$_n12$raw_n193<3> 0 - - - - - - - - =yExp<0> =yExp<1> =yExp<2> =yExp<3> .names _n12 _n17 _n21b .def 0 1 1 1 .names _n21b ySign$_n12$raw_n191 ySign _n21c 1 0 - 0 1 1 - 1 0 - 0 0 0 - 1 1 .names _n12 _n17 _n21d .def 0 1 1 1 .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> 1 - - - - - - - - =xExp$_n12$raw_n198<0> =xExp$_n12$raw_n198<1> =xExp$_n12$raw_n198<2> =xExp$_n12$raw_n198<3> 0 - - - - - - - - =xExp<0> =xExp<1> =xExp<2> =xExp<3> .names preMant$raw_n1c9<0> preMant<0> - =preMant$raw_n1c9<0> .names preMant$raw_n1c9<1> preMant<1> - =preMant$raw_n1c9<1> .names preMant$raw_n1c9<2> preMant<2> - =preMant$raw_n1c9<2> .names preMant$raw_n1c9<3> preMant<3> - =preMant$raw_n1c9<3> .names preMant$raw_n1c9<4> preMant<4> - =preMant$raw_n1c9<4> .names msb$raw_n1c1 msb 0 0 1 1 .names _n12 _n17 _n21f .def 0 1 1 1 .names _n21f xSign$_n12$raw_n19d xSign _n220 1 0 - 0 1 1 - 1 0 - 0 0 0 - 1 1 .names round$raw_n1c4 round 0 0 1 1 .names _n12 _n17 _n4e _n83 _n221 .def 0 1 1 - - 1 0 - 1 - 1 0 - 0 1 1 .names _n221 state$_n12$raw_n182<0> state$_n12$raw_n182<1> state<0> state<1> -> _n222<0> _n222<1> 1 - - - - =state$_n12$raw_n182<0> =state$_n12$raw_n182<1> 0 - - - - =state<0> =state<1> .names _n12 _n17 _n223 .def 0 1 1 1 .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> 1 - - - - - - - - =xMant$_n12$raw_n19f<0> =xMant$_n12$raw_n19f<1> =xMant$_n12$raw_n19f<2> =xMant$_n12$raw_n19f<3> 0 - - - - - - - - =xMant<0> =xMant<1> =xMant<2> =xMant<3> .names scaledExp$raw_n1f9<0> scaledExp<0> - =scaledExp$raw_n1f9<0> .names scaledExp$raw_n1f9<1> scaledExp<1> - =scaledExp$raw_n1f9<1> .names scaledExp$raw_n1f9<2> scaledExp<2> - =scaledExp$raw_n1f9<2> .names scaledExp$raw_n1f9<3> scaledExp<3> - =scaledExp$raw_n1f9<3> .names scaledExp$raw_n1f9<4> scaledExp<4> - =scaledExp$raw_n1f9<4> .names scaledExp$raw_n1f9<5> scaledExp<5> - =scaledExp$raw_n1f9<5> .names guard$raw_n1c3 guard 0 0 1 1 .names _n12 _n4e _n59 _n225 .def 0 0 1 1 1 0 1 0 1 .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> 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> 0 - - - - - - - - - - - - =expProd<0> =expProd<1> =expProd<2> =expProd<3> =expProd<4> =expProd<5> # non-blocking assignments # latches .r signProd$raw_nd signProd 0 0 1 1 .latch _n212 signProd .r z$raw_n10<0> z<0> .def 0 1 1 .r z$raw_n10<1> z<1> .def 0 1 1 .r z$raw_n10<2> z<2> .def 0 1 1 .r z$raw_n10<3> z<3> .def 0 1 1 .r z$raw_n10<4> z<4> .def 0 1 1 .r z$raw_n10<5> z<5> .def 0 1 1 .r z$raw_n10<6> z<6> .def 0 1 1 .r z$raw_n10<7> z<7> .def 0 1 1 .latch _n218<0> z<0> .latch _n218<1> z<1> .latch _n218<2> z<2> .latch _n218<3> z<3> .latch _n218<4> z<4> .latch _n218<5> z<5> .latch _n218<6> z<6> .latch _n218<7> z<7> .r yMant$raw_nc<0> yMant<0> .def 0 1 1 .r yMant$raw_nc<1> yMant<1> .def 0 1 1 .r yMant$raw_nc<2> yMant<2> .def 0 1 1 .r yMant$raw_nc<3> yMant<3> .def 0 1 1 .latch _n216<0> yMant<0> .latch _n216<1> yMant<1> .latch _n216<2> yMant<2> .latch _n216<3> yMant<3> .r mantProd$raw_nf<0> mantProd<0> .def 0 1 1 .r mantProd$raw_nf<1> mantProd<1> .def 0 1 1 .r mantProd$raw_nf<2> mantProd<2> .def 0 1 1 .r mantProd$raw_nf<3> mantProd<3> .def 0 1 1 .r mantProd$raw_nf<4> mantProd<4> .def 0 1 1 .r mantProd$raw_nf<5> mantProd<5> .def 0 1 1 .r mantProd$raw_nf<6> mantProd<6> .def 0 1 1 .r mantProd$raw_nf<7> mantProd<7> .def 0 1 1 .latch _n214<0> mantProd<0> .latch _n214<1> mantProd<1> .latch _n214<2> mantProd<2> .latch _n214<3> mantProd<3> .latch _n214<4> mantProd<4> .latch _n214<5> mantProd<5> .latch _n214<6> mantProd<6> .latch _n214<7> mantProd<7> .r ySign$raw_na ySign 0 0 1 1 .latch _n21c ySign .r yExp$raw_nb<0> yExp<0> .def 0 1 1 .r yExp$raw_nb<1> yExp<1> .def 0 1 1 .r yExp$raw_nb<2> yExp<2> .def 0 1 1 .r yExp$raw_nb<3> yExp<3> .def 0 1 1 .latch _n21a<0> yExp<0> .latch _n21a<1> yExp<1> .latch _n21a<2> yExp<2> .latch _n21a<3> yExp<3> .r xExp$raw_n8<0> xExp<0> .def 0 1 1 .r xExp$raw_n8<1> xExp<1> .def 0 1 1 .r xExp$raw_n8<2> xExp<2> .def 0 1 1 .r xExp$raw_n8<3> xExp<3> .def 0 1 1 .latch _n21e<0> xExp<0> .latch _n21e<1> xExp<1> .latch _n21e<2> xExp<2> .latch _n21e<3> xExp<3> .r xSign$raw_n7 xSign 0 0 1 1 .latch _n220 xSign .r xMant$raw_n9<0> xMant<0> .def 0 1 1 .r xMant$raw_n9<1> xMant<1> .def 0 1 1 .r xMant$raw_n9<2> xMant<2> .def 0 1 1 .r xMant$raw_n9<3> xMant<3> .def 0 1 1 .latch _n224<0> xMant<0> .latch _n224<1> xMant<1> .latch _n224<2> xMant<2> .latch _n224<3> xMant<3> .r state$raw_n11<0> state<0> .def 0 1 1 .r state$raw_n11<1> state<1> .def 0 1 1 .latch _n222<0> state<0> .latch _n222<1> state<1> .r expProd$raw_ne<0> expProd<0> .def 0 1 1 .r expProd$raw_ne<1> expProd<1> .def 0 1 1 .r expProd$raw_ne<2> expProd<2> .def 0 1 1 .r expProd$raw_ne<3> expProd<3> .def 0 1 1 .r expProd$raw_ne<4> expProd<4> .def 0 1 1 .r expProd$raw_ne<5> expProd<5> .def 0 1 1 .latch _n226<0> expProd<0> .latch _n226<1> expProd<1> .latch _n226<2> expProd<2> .latch _n226<3> expProd<3> .latch _n226<4> expProd<4> .latch _n226<5> expProd<5> # quasi-continuous assignment .end .model NaN # I/O ports .inputs aMant<0> aMant<1> aMant<2> .outputs NaN<0> .inputs aExp<0> aExp<1> aExp<2> aExp<3> .names _n229 1 .names _n229 _n228<0> - =_n229 .names _n22a 0 .names _n22b 1 .names _n22b _n228<1> - =_n22b .names _n22c 0 .names _n22d 1 .names _n22d _n228<2> - =_n22d .names _n22e 0 .names _n22f 1 .names _n22f _n228<3> - =_n22f .names _n230 0 # aExp == {'b1} .names aExp<0> _n228<0> _n231<0> .def 0 0 1 1 1 0 1 .names aExp<1> _n228<1> _n231<1> .def 0 0 1 1 1 0 1 .names aExp<2> _n228<2> _n231<2> .def 0 0 1 1 1 0 1 .names aExp<3> _n228<3> _n231<3> .def 0 0 1 1 1 0 1 .names _n231<0> _n231<1> _n231<2> _n231<3> _n232 .def 1 0 0 0 0 0 .names _n232 _n227 0 1 1 0 .names _n234<0> 0 .names _n234<1> 0 .names _n234<2> 0 # aMant != 0 .names aMant<0> _n234<0> _n235<0> .def 0 0 1 1 1 0 1 .names aMant<1> _n234<1> _n235<1> .def 0 0 1 1 1 0 1 .names aMant<2> _n234<2> _n235<2> .def 0 0 1 1 1 0 1 .names _n235<0> _n235<1> _n235<2> _n236 .def 1 0 0 0 0 .names _n236 _n233 - =_n236 # aExp == {'b1} && aMant != 0 .names _n227 _n233 _n237 .def 0 1 1 1 .names _n237 _n238 - =_n237 # NaN = 1 .names NaN$_n237_n239$true<0> 1 # NaN = 0 .names NaN$_n237_n23a$false<0> 0 # if/else (aExp == {'b1} && aMant != 0) .names NaN$_n237_n239$true<0> NaN$_n237_n23a$false<0> _n237 NaN$_n237$raw_n23c<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # conflict arbitrators .names NaN$_n237$raw_n23c<0> NaN<0> - =NaN$_n237$raw_n23c<0> .end .model Infinity # I/O ports .inputs aMant<0> aMant<1> aMant<2> .outputs Infinity<0> .inputs aExp<0> aExp<1> aExp<2> aExp<3> .names _n242 1 .names _n242 _n241<0> - =_n242 .names _n243 0 .names _n244 1 .names _n244 _n241<1> - =_n244 .names _n245 0 .names _n246 1 .names _n246 _n241<2> - =_n246 .names _n247 0 .names _n248 1 .names _n248 _n241<3> - =_n248 .names _n249 0 # aExp == {'b1} .names aExp<0> _n241<0> _n24a<0> .def 0 0 1 1 1 0 1 .names aExp<1> _n241<1> _n24a<1> .def 0 0 1 1 1 0 1 .names aExp<2> _n241<2> _n24a<2> .def 0 0 1 1 1 0 1 .names aExp<3> _n241<3> _n24a<3> .def 0 0 1 1 1 0 1 .names _n24a<0> _n24a<1> _n24a<2> _n24a<3> _n24b .def 1 0 0 0 0 0 .names _n24b _n240 0 1 1 0 .names _n24d<0> 0 .names _n24d<1> 0 .names _n24d<2> 0 # aMant == 0 .names aMant<0> _n24d<0> _n24e<0> .def 0 0 1 1 1 0 1 .names aMant<1> _n24d<1> _n24e<1> .def 0 0 1 1 1 0 1 .names aMant<2> _n24d<2> _n24e<2> .def 0 0 1 1 1 0 1 .names _n24e<0> _n24e<1> _n24e<2> _n24f .def 1 0 0 0 0 .names _n24f _n24c 0 1 1 0 # aExp == {'b1} && aMant == 0 .names _n240 _n24c _n250 .def 0 1 1 1 .names _n250 _n251 - =_n250 # Infinity = 1 .names Infinity$_n250_n252$true<0> 1 # Infinity = 0 .names Infinity$_n250_n253$false<0> 0 # if/else (aExp == {'b1} && aMant == 0) .names Infinity$_n250_n252$true<0> Infinity$_n250_n253$false<0> _n250 Infinity$_n250$raw_n255<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # conflict arbitrators .names Infinity$_n250$raw_n255<0> Infinity<0> - =Infinity$_n250$raw_n255<0> .end .model Zero # I/O ports .inputs aMant<0> aMant<1> aMant<2> .inputs aExp<0> aExp<1> aExp<2> aExp<3> .outputs Zero<0> .names _n25a<0> 0 .names _n25a<1> 0 .names _n25a<2> 0 .names _n25a<3> 0 # aExp == 0 .names aExp<0> _n25a<0> _n25b<0> .def 0 0 1 1 1 0 1 .names aExp<1> _n25a<1> _n25b<1> .def 0 0 1 1 1 0 1 .names aExp<2> _n25a<2> _n25b<2> .def 0 0 1 1 1 0 1 .names aExp<3> _n25a<3> _n25b<3> .def 0 0 1 1 1 0 1 .names _n25b<0> _n25b<1> _n25b<2> _n25b<3> _n25c .def 1 0 0 0 0 0 .names _n25c _n259 0 1 1 0 .names _n25e<0> 0 .names _n25e<1> 0 .names _n25e<2> 0 # aMant == 0 .names aMant<0> _n25e<0> _n25f<0> .def 0 0 1 1 1 0 1 .names aMant<1> _n25e<1> _n25f<1> .def 0 0 1 1 1 0 1 .names aMant<2> _n25e<2> _n25f<2> .def 0 0 1 1 1 0 1 .names _n25f<0> _n25f<1> _n25f<2> _n260 .def 1 0 0 0 0 .names _n260 _n25d 0 1 1 0 # aExp == 0 && aMant == 0 .names _n259 _n25d _n261 .def 0 1 1 1 .names _n261 _n262 - =_n261 # Zero = 1 .names Zero$_n261_n263$true<0> 1 # Zero = 0 .names Zero$_n261_n264$false<0> 0 # if/else (aExp == 0 && aMant == 0) .names Zero$_n261_n263$true<0> Zero$_n261_n264$false<0> _n261 Zero$_n261$raw_n266<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # conflict arbitrators .names Zero$_n261$raw_n266<0> Zero<0> - =Zero$_n261$raw_n266<0> .end .model intMult # I/O ports .inputs y<0> y<1> y<2> y<3> .outputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> .inputs x<0> x<1> x<2> x<3> # assign int0 = {y [0]} & x .names y<0> _n26b<0> - =y<0> .names y<0> _n26b<1> - =y<0> .names y<0> _n26b<2> - =y<0> .names y<0> _n26b<3> - =y<0> # {y [0]} & x .names _n26b<0> x<0> _n26c<0> .def 0 1 1 1 .names _n26b<1> x<1> _n26c<1> .def 0 1 1 1 .names _n26b<2> x<2> _n26c<2> .def 0 1 1 1 .names _n26b<3> x<3> _n26c<3> .def 0 1 1 1 .names _n26c<0> int0$raw_n26a<0> - =_n26c<0> .names _n26c<1> int0$raw_n26a<1> - =_n26c<1> .names _n26c<2> int0$raw_n26a<2> - =_n26c<2> .names _n26c<3> int0$raw_n26a<3> - =_n26c<3> # assign int1 = int0 + {{y [1]} & x , {'b0}} .names _n270 0 .names _n270 _n26f<0> - =_n270 .names _n271 0 .names _n26f<0> _n26e<0> - =_n26f<0> .names y<1> _n272<0> - =y<1> .names y<1> _n272<1> - =y<1> .names y<1> _n272<2> - =y<1> .names y<1> _n272<3> - =y<1> # {y [1]} & x .names _n272<0> x<0> _n273<0> .def 0 1 1 1 .names _n272<1> x<1> _n273<1> .def 0 1 1 1 .names _n272<2> x<2> _n273<2> .def 0 1 1 1 .names _n272<3> x<3> _n273<3> .def 0 1 1 1 .names _n273<0> _n26e<1> - =_n273<0> .names _n273<1> _n26e<2> - =_n273<1> .names _n273<2> _n26e<3> - =_n273<2> .names _n273<3> _n26e<4> - =_n273<3> # int0 + {{y [1]} & x , {'b0}} .names _n275 0 .names int0<0> _n26e<0> _n275 _n274<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n277 0 .names int0<0> _n26e<0> _n277 _n276 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int0<1> _n26e<1> _n276 _n274<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int0<1> _n26e<1> _n276 _n278 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int0<2> _n26e<2> _n278 _n274<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int0<2> _n26e<2> _n278 _n279 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int0<3> _n26e<3> _n279 _n274<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int0<3> _n26e<3> _n279 _n27a .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n27a _n274<4> 1 1 0 0 .names _n274<5> 0 .names _n274<0> int1$raw_n26d<0> - =_n274<0> .names _n274<1> int1$raw_n26d<1> - =_n274<1> .names _n274<2> int1$raw_n26d<2> - =_n274<2> .names _n274<3> int1$raw_n26d<3> - =_n274<3> .names _n274<4> int1$raw_n26d<4> - =_n274<4> .names _n274<5> int1$raw_n26d<5> - =_n274<5> # assign int2 = int1 + {{y [2]} & x , {'b0}} .names _n27e 0 .names _n27e _n27d<0> - =_n27e .names _n27f 0 .names _n280 0 .names _n280 _n27d<1> - =_n280 .names _n281 0 .names _n27d<0> _n27c<0> - =_n27d<0> .names _n27d<1> _n27c<1> - =_n27d<1> .names y<2> _n282<0> - =y<2> .names y<2> _n282<1> - =y<2> .names y<2> _n282<2> - =y<2> .names y<2> _n282<3> - =y<2> # {y [2]} & x .names _n282<0> x<0> _n283<0> .def 0 1 1 1 .names _n282<1> x<1> _n283<1> .def 0 1 1 1 .names _n282<2> x<2> _n283<2> .def 0 1 1 1 .names _n282<3> x<3> _n283<3> .def 0 1 1 1 .names _n283<0> _n27c<2> - =_n283<0> .names _n283<1> _n27c<3> - =_n283<1> .names _n283<2> _n27c<4> - =_n283<2> .names _n283<3> _n27c<5> - =_n283<3> # int1 + {{y [2]} & x , {'b0}} .names _n285 0 .names int1<0> _n27c<0> _n285 _n284<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n287 0 .names int1<0> _n27c<0> _n287 _n286 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int1<1> _n27c<1> _n286 _n284<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int1<1> _n27c<1> _n286 _n288 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int1<2> _n27c<2> _n288 _n284<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int1<2> _n27c<2> _n288 _n289 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int1<3> _n27c<3> _n289 _n284<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int1<3> _n27c<3> _n289 _n28a .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int1<4> _n27c<4> _n28a _n284<4> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int1<4> _n27c<4> _n28a _n28b .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int1<5> _n27c<5> _n28b _n284<5> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int1<5> _n27c<5> _n28b _n28c .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n28c _n284<6> 1 1 0 0 .names _n284<0> int2$raw_n27b<0> - =_n284<0> .names _n284<1> int2$raw_n27b<1> - =_n284<1> .names _n284<2> int2$raw_n27b<2> - =_n284<2> .names _n284<3> int2$raw_n27b<3> - =_n284<3> .names _n284<4> int2$raw_n27b<4> - =_n284<4> .names _n284<5> int2$raw_n27b<5> - =_n284<5> .names _n284<6> int2$raw_n27b<6> - =_n284<6> # assign int3 = int2 + {{y [3]} & x , {'b0}} .names _n290 0 .names _n290 _n28f<0> - =_n290 .names _n291 0 .names _n292 0 .names _n292 _n28f<1> - =_n292 .names _n293 0 .names _n294 0 .names _n294 _n28f<2> - =_n294 .names _n295 0 .names _n28f<0> _n28e<0> - =_n28f<0> .names _n28f<1> _n28e<1> - =_n28f<1> .names _n28f<2> _n28e<2> - =_n28f<2> .names y<3> _n296<0> - =y<3> .names y<3> _n296<1> - =y<3> .names y<3> _n296<2> - =y<3> .names y<3> _n296<3> - =y<3> # {y [3]} & x .names _n296<0> x<0> _n297<0> .def 0 1 1 1 .names _n296<1> x<1> _n297<1> .def 0 1 1 1 .names _n296<2> x<2> _n297<2> .def 0 1 1 1 .names _n296<3> x<3> _n297<3> .def 0 1 1 1 .names _n297<0> _n28e<3> - =_n297<0> .names _n297<1> _n28e<4> - =_n297<1> .names _n297<2> _n28e<5> - =_n297<2> .names _n297<3> _n28e<6> - =_n297<3> # int2 + {{y [3]} & x , {'b0}} .names _n299 0 .names int2<0> _n28e<0> _n299 _n298<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n29b 0 .names int2<0> _n28e<0> _n29b _n29a .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int2<1> _n28e<1> _n29a _n298<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int2<1> _n28e<1> _n29a _n29c .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int2<2> _n28e<2> _n29c _n298<2> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int2<2> _n28e<2> _n29c _n29d .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int2<3> _n28e<3> _n29d _n298<3> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int2<3> _n28e<3> _n29d _n29e .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int2<4> _n28e<4> _n29e _n298<4> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int2<4> _n28e<4> _n29e _n29f .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int2<5> _n28e<5> _n29f _n298<5> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int2<5> _n28e<5> _n29f _n2a0 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names int2<6> _n28e<6> _n2a0 _n298<6> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names int2<6> _n28e<6> _n2a0 _n2a1 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n2a1 _n298<7> 1 1 0 0 .names _n298<0> int3$raw_n28d<0> - =_n298<0> .names _n298<1> int3$raw_n28d<1> - =_n298<1> .names _n298<2> int3$raw_n28d<2> - =_n298<2> .names _n298<3> int3$raw_n28d<3> - =_n298<3> .names _n298<4> int3$raw_n28d<4> - =_n298<4> .names _n298<5> int3$raw_n28d<5> - =_n298<5> .names _n298<6> int3$raw_n28d<6> - =_n298<6> .names _n298<7> int3$raw_n28d<7> - =_n298<7> # assign z = int3 .names int3<0> z$raw_n2a2<0> - =int3<0> .names int3<1> z$raw_n2a2<1> - =int3<1> .names int3<2> z$raw_n2a2<2> - =int3<2> .names int3<3> z$raw_n2a2<3> - =int3<3> .names int3<4> z$raw_n2a2<4> - =int3<4> .names int3<5> z$raw_n2a2<5> - =int3<5> .names int3<6> z$raw_n2a2<6> - =int3<6> .names int3<7> z$raw_n2a2<7> - =int3<7> # conflict arbitrators .names z$raw_n2a2<0> z<0> - =z$raw_n2a2<0> .names z$raw_n2a2<1> z<1> - =z$raw_n2a2<1> .names z$raw_n2a2<2> z<2> - =z$raw_n2a2<2> .names z$raw_n2a2<3> z<3> - =z$raw_n2a2<3> .names z$raw_n2a2<4> z<4> - =z$raw_n2a2<4> .names z$raw_n2a2<5> z<5> - =z$raw_n2a2<5> .names z$raw_n2a2<6> z<6> - =z$raw_n2a2<6> .names z$raw_n2a2<7> z<7> - =z$raw_n2a2<7> .names int0$raw_n26a<0> int0<0> - =int0$raw_n26a<0> .names int0$raw_n26a<1> int0<1> - =int0$raw_n26a<1> .names int0$raw_n26a<2> int0<2> - =int0$raw_n26a<2> .names int0$raw_n26a<3> int0<3> - =int0$raw_n26a<3> .names int1$raw_n26d<0> int1<0> - =int1$raw_n26d<0> .names int1$raw_n26d<1> int1<1> - =int1$raw_n26d<1> .names int1$raw_n26d<2> int1<2> - =int1$raw_n26d<2> .names int1$raw_n26d<3> int1<3> - =int1$raw_n26d<3> .names int1$raw_n26d<4> int1<4> - =int1$raw_n26d<4> .names int1$raw_n26d<5> int1<5> - =int1$raw_n26d<5> .names int2$raw_n27b<0> int2<0> - =int2$raw_n27b<0> .names int2$raw_n27b<1> int2<1> - =int2$raw_n27b<1> .names int2$raw_n27b<2> int2<2> - =int2$raw_n27b<2> .names int2$raw_n27b<3> int2<3> - =int2$raw_n27b<3> .names int2$raw_n27b<4> int2<4> - =int2$raw_n27b<4> .names int2$raw_n27b<5> int2<5> - =int2$raw_n27b<5> .names int2$raw_n27b<6> int2<6> - =int2$raw_n27b<6> .names int3$raw_n28d<0> int3<0> - =int3$raw_n28d<0> .names int3$raw_n28d<1> int3<1> - =int3$raw_n28d<1> .names int3$raw_n28d<2> int3<2> - =int3$raw_n28d<2> .names int3$raw_n28d<3> int3<3> - =int3$raw_n28d<3> .names int3$raw_n28d<4> int3<4> - =int3$raw_n28d<4> .names int3$raw_n28d<5> int3<5> - =int3$raw_n28d<5> .names int3$raw_n28d<6> int3<6> - =int3$raw_n28d<6> .names int3$raw_n28d<7> int3<7> - =int3$raw_n28d<7> # non-blocking assignments # latches # quasi-continuous assignment .end