/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                       */
/*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
/*  /   /          All Right Reserved.                                 */
/* /---/   /\                                                         */
/* \   \  /  \                                                      */
/*  \___\/\___\                                                    */
/***********************************************************************/

#include "xsi.h"

struct XSI_INFO xsi_info;



int main(int argc, char **argv)
{
    xsi_init_design(argc, argv);
    xsi_register_info(&xsi_info);

    xsi_register_min_prec_unit(-12);
    work_m_00000000004186042552_0228657068_init();
    work_m_00000000000365176380_0569471234_init();
    work_m_00000000002381464708_0023559791_init();
    work_m_00000000000641723436_1081490573_init();
    work_m_00000000000078808803_1621107508_init();
    work_m_00000000000612306878_3037777339_init();
    work_m_00000000004278844886_2587760261_init();
    work_m_00000000002942145352_1098446607_init();
    work_m_00000000002385348472_2725559894_init();
    work_m_00000000002651300649_1844442480_init();
    work_m_00000000001345732222_2321779972_init();
    work_m_00000000002148801375_2430533798_init();
    work_m_00000000003011734287_3409648901_init();
    work_m_00000000004275010940_2404318123_init();
    work_m_00000000000834655761_3942453009_init();
    work_m_00000000000564129032_1949178628_init();
    work_m_00000000004134447467_2073120511_init();


    xsi_register_tops("work_m_00000000000564129032_1949178628");
    xsi_register_tops("work_m_00000000004134447467_2073120511");


    return xsi_run_simulation(argc, argv);

}