////  Copyright (c) 2003 Launchbird Design Systems, Inc.//  All rights reserved.//  //  Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met://    Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.//    Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.//  //  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,//  INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.//  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY,//  OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;//  OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT//  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.//  //  //  Overview://  //    Performs floating point multiply.//  //  Interface://  //  //  //    Inputs://      a_i : Left operand.//      b_i : Right operand.//  //    Outputs://      x_o : Result.//  //  Built In Parameters://  //    Exponent Precision = 8//    Mantissa Precision = 23//    Total    Precision = 32//  //  //  //  //  //  Generated by Confluence 0.6.3  --  Launchbird Design Systems, Inc.  --  www.launchbird.com//  //  Build Date : Fri Aug 22 09:47:08 CDT 2003//  //  Interface//  //    Build Name    : cf_fp_mul_c_8_23//    Clock Domains : //    Vector Input  : a_i(32)//    Vector Input  : b_i(32)//    Vector Output : x_o(32)//  //  //  #include <stdio.h>#include <stdlib.h>#include <time.h>#include "cf_fp_mul_c_8_23.h"static unsigned char n1213[4];static unsigned char n1211[4];static unsigned char n1209[4];static unsigned char n1207[2];static unsigned char n1178[1];static unsigned char n1176[1];static unsigned char n1174[1];static unsigned char n1172[1];static unsigned char n1170[1];static unsigned char n1168[1];static unsigned char n1166[1];static unsigned char n1164[1];static unsigned char n1162[1];static unsigned char n1160[1];static unsigned char n1158[1];static unsigned char n1156[1];static unsigned char n1154[1];static unsigned char n1152[1];static unsigned char n1150[1];static unsigned char n1149[1];static unsigned char n1148[1];static unsigned char n1147[1];static unsigned char n1146[1];static unsigned char n1145[1];static unsigned char n1132[4];static unsigned char n1123[2];static unsigned char n1087[2];static unsigned char n1051[2];static unsigned char n1015[2];static unsigned char n979[2];static unsigned char n943[2];static unsigned char n907[2];static unsigned char n871[2];static unsigned char n835[2];static unsigned char n799[2];static unsigned char n763[2];static unsigned char n727[2];static unsigned char n691[2];static unsigned char n655[2];static unsigned char n619[2];static unsigned char n583[2];static unsigned char n547[2];static unsigned char n511[2];static unsigned char n475[2];static unsigned char n439[2];static unsigned char n403[2];static unsigned char n367[2];static unsigned char n331[2];static unsigned char n295[2];static unsigned char n282[1];static unsigned char n280[1];static unsigned char *b_i;static unsigned char *a_i;static unsigned char n143[3];static unsigned char n142[1];static unsigned char n13[3];static unsigned char n12[1];static unsigned char n10[3];static unsigned char n9[1];static unsigned char n8[1];static unsigned char n7[3];static unsigned char n6[1];static unsigned char n5[1];static unsigned char n283[2];static unsigned char n281[2];static unsigned char n279[1];static unsigned char n262[1];static unsigned char n260[1];static unsigned char n192[3];static unsigned char n191[1];static unsigned char n168[1];static unsigned char n167[1];static unsigned char n145[1];static unsigned char n144[1];static unsigned char n132[1];static unsigned char n130[1];static unsigned char n62[3];static unsigned char n61[1];static unsigned char n38[1];static unsigned char n37[1];static unsigned char n15[1];static unsigned char n14[1];static unsigned char n284[2];static unsigned char n263[1];static unsigned char n194[3];static unsigned char n193[1];static unsigned char n170[1];static unsigned char n169[1];static unsigned char n147[1];static unsigned char n146[1];static unsigned char n133[1];static unsigned char n64[3];static unsigned char n63[1];static unsigned char n40[1];static unsigned char n39[1];static unsigned char n17[1];static unsigned char n16[1];static unsigned char n288[2];static unsigned char n237[1];static unsigned char n196[3];static unsigned char n195[1];static unsigned char n183[1];static unsigned char n172[1];static unsigned char n171[1];static unsigned char n160[1];static unsigned char n149[1];static unsigned char n148[1];static unsigned char n107[1];static unsigned char n66[3];static unsigned char n65[1];static unsigned char n53[1];static unsigned char n42[1];static unsigned char n41[1];static unsigned char n30[1];static unsigned char n19[1];static unsigned char n18[1];static unsigned char n296[2];static unsigned char n198[3];static unsigned char n197[1];static unsigned char n174[1];static unsigned char n173[1];static unsigned char n151[1];static unsigned char n150[1];static unsigned char n68[3];static unsigned char n67[1];static unsigned char n44[1];static unsigned char n43[1];static unsigned char n21[1];static unsigned char n20[1];static unsigned char n238[1];static unsigned char n200[3];static unsigned char n199[1];static unsigned char n184[1];static unsigned char n176[1];static unsigned char n175[1];static unsigned char n161[1];static unsigned char n153[1];static unsigned char n152[1];static unsigned char n108[1];static unsigned char n70[3];static unsigned char n69[1];static unsigned char n54[1];static unsigned char n46[1];static unsigned char n45[1];static unsigned char n31[1];static unsigned char n23[1];static unsigned char n22[1];static unsigned char n248[1];static unsigned char n202[3];static unsigned char n201[1];static unsigned char n187[1];static unsigned char n178[1];static unsigned char n177[1];static unsigned char n164[1];static unsigned char n155[1];static unsigned char n154[1];static unsigned char n118[1];static unsigned char n72[3];static unsigned char n71[1];static unsigned char n57[1];static unsigned char n48[1];static unsigned char n47[1];static unsigned char n34[1];static unsigned char n25[1];static unsigned char n24[1];static unsigned char n239[1];static unsigned char n204[2];static unsigned char n203[1];static unsigned char n185[1];static unsigned char n180[1];static unsigned char n179[1];static unsigned char n162[1];static unsigned char n157[1];static unsigned char n156[1];static unsigned char n109[1];static unsigned char n74[2];static unsigned char n73[1];static unsigned char n55[1];static unsigned char n50[1];static unsigned char n49[1];static unsigned char n32[1];static unsigned char n27[1];static unsigned char n26[1];static unsigned char n206[2];static unsigned char n205[1];static unsigned char n181[1];static unsigned char n158[1];static unsigned char n76[2];static unsigned char n75[1];static unsigned char n51[1];static unsigned char n28[1];static unsigned char n240[1];static unsigned char n208[2];static unsigned char n207[1];static unsigned char n186[1];static unsigned char n163[1];static unsigned char n110[1];static unsigned char n78[2];static unsigned char n77[1];static unsigned char n56[1];static unsigned char n33[1];static unsigned char n249[1];static unsigned char n210[2];static unsigned char n209[1];static unsigned char n188[1];static unsigned char n165[1];static unsigned char n119[1];static unsigned char n80[2];static unsigned char n79[1];static unsigned char n58[1];static unsigned char n35[1];static unsigned char n254[1];static unsigned char n241[1];static unsigned char n212[2];static unsigned char n211[1];static unsigned char n189[1];static unsigned char n166[1];static unsigned char n124[1];static unsigned char n111[1];static unsigned char n82[2];static unsigned char n81[1];static unsigned char n59[1];static unsigned char n36[1];static unsigned char n264[1];static unsigned char n261[1];static unsigned char n214[2];static unsigned char n213[1];static unsigned char n190[1];static unsigned char n134[1];static unsigned char n131[1];static unsigned char n84[2];static unsigned char n83[1];static unsigned char n60[1];static unsigned char n242[1];static unsigned char n216[2];static unsigned char n215[1];static unsigned char n112[1];static unsigned char n86[2];static unsigned char n85[1];static unsigned char n250[1];static unsigned char n218[2];static unsigned char n217[1];static unsigned char n120[1];static unsigned char n88[2];static unsigned char n87[1];static unsigned char n243[1];static unsigned char n220[1];static unsigned char n219[1];static unsigned char n113[1];static unsigned char n90[1];static unsigned char n89[1];static unsigned char n222[1];static unsigned char n221[1];static unsigned char n92[1];static unsigned char n91[1];static unsigned char n244[1];static unsigned char n224[1];static unsigned char n223[1];static unsigned char n114[1];static unsigned char n94[1];static unsigned char n93[1];static unsigned char n251[1];static unsigned char n226[1];static unsigned char n225[1];static unsigned char n121[1];static unsigned char n96[1];static unsigned char n95[1];static unsigned char n255[1];static unsigned char n245[1];static unsigned char n228[1];static unsigned char n227[1];static unsigned char n125[1];static unsigned char n115[1];static unsigned char n98[1];static unsigned char n97[1];static unsigned char n257[1];static unsigned char n230[1];static unsigned char n229[1];static unsigned char n127[1];static unsigned char n100[1];static unsigned char n99[1];static unsigned char n246[1];static unsigned char n232[1];static unsigned char n231[1];static unsigned char n116[1];static unsigned char n102[1];static unsigned char n101[1];