--SMV output from HPR L/S
-- SMV file generated at 2/25/2012 7:29:44 PM
-- Version Id Not Set
--  /home/djg11/d320/hprls/bsvc/bsv.exe -o a.out -cpp=disable -comb-assignment-delay=10 -vnl=philo.v philoBENCH

MODULE main

VAR
    -- SMV_RESET_GENERATOR
    SMV_RESET_GENERATOR: boolean;
    -- philoBENCH.spoon0.inuse._readRV
    smv22_ENCH_spoon0_inuse_readRV: boolean;
    -- philoBENCH.spoon1.inuse._readRV
    smv36_ENCH_spoon1_inuse_readRV: boolean;
    -- philoBENCH.spoon2.inuse._readRV
    smv50_ENCH_spoon2_inuse_readRV: boolean;
    -- philoBENCH.spoon3.inuse._readRV
    smv64_ENCH_spoon3_inuse_readRV: boolean;
    -- philoBENCH.spoon4.inuse._readRV
    smv78_ENCH_spoon4_inuse_readRV: boolean;
    -- philoBENCH.philo0.timer._readRV
    smv86_ENCH_philo0_timer_readRV: unsigned word[15];
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm48_OH._readRV
    smv98_HphiloFSMfsm48_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm46_OH._readRV
    smv104_HphiloFSMfsm46_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm44_OH._readRV
    smv110_HphiloFSMfsm44_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm42_OH._readRV
    smv116_HphiloFSMfsm42_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm40_OH._readRV
    smv122_HphiloFSMfsm40_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm38_OH._readRV
    smv128_HphiloFSMfsm38_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm36_OH._readRV
    smv134_HphiloFSMfsm36_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm34_OH._readRV
    smv140_HphiloFSMfsm34_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm32_OH._readRV
    smv146_HphiloFSMfsm32_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm30_OH._readRV
    smv152_HphiloFSMfsm30_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm28_OH._readRV
    smv158_HphiloFSMfsm28_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm26_OH._readRV
    smv164_HphiloFSMfsm26_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm24_OH._readRV
    smv170_HphiloFSMfsm24_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm22_OH._readRV
    smv176_HphiloFSMfsm22_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm20_OH._readRV
    smv182_HphiloFSMfsm20_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm18_OH._readRV
    smv188_HphiloFSMfsm18_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm16_OH._readRV
    smv194_HphiloFSMfsm16_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm14_OH._readRV
    smv200_HphiloFSMfsm14_OH_readRV: boolean;
    -- philoBENCH.philo0.FSM.philoBENCHphiloFSMfsm12_OH._readRV
    smv206_HphiloFSMfsm12_OH_readRV: boolean;
    -- philoBENCH.philo1.timer._readRV
    smv292_ENCH_philo1_timer_readRV: unsigned word[15];
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm88_OH._readRV
    smv304_HphiloFSMfsm88_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm86_OH._readRV
    smv310_HphiloFSMfsm86_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm84_OH._readRV
    smv316_HphiloFSMfsm84_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm82_OH._readRV
    smv322_HphiloFSMfsm82_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm80_OH._readRV
    smv328_HphiloFSMfsm80_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm78_OH._readRV
    smv334_HphiloFSMfsm78_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm76_OH._readRV
    smv340_HphiloFSMfsm76_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm74_OH._readRV
    smv346_HphiloFSMfsm74_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm72_OH._readRV
    smv352_HphiloFSMfsm72_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm70_OH._readRV
    smv358_HphiloFSMfsm70_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm68_OH._readRV
    smv364_HphiloFSMfsm68_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm66_OH._readRV
    smv370_HphiloFSMfsm66_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm64_OH._readRV
    smv376_HphiloFSMfsm64_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm62_OH._readRV
    smv382_HphiloFSMfsm62_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm60_OH._readRV
    smv388_HphiloFSMfsm60_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm58_OH._readRV
    smv394_HphiloFSMfsm58_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm56_OH._readRV
    smv400_HphiloFSMfsm56_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm54_OH._readRV
    smv406_HphiloFSMfsm54_OH_readRV: boolean;
    -- philoBENCH.philo1.FSM.philoBENCHphiloFSMfsm52_OH._readRV
    smv412_HphiloFSMfsm52_OH_readRV: boolean;
    -- philoBENCH.philo2.timer._readRV
    smv498_ENCH_philo2_timer_readRV: unsigned word[15];
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm128_OH._readRV
    smv510_philoFSMfsm128_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm126_OH._readRV
    smv516_philoFSMfsm126_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm124_OH._readRV
    smv522_philoFSMfsm124_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm122_OH._readRV
    smv528_philoFSMfsm122_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm120_OH._readRV
    smv534_philoFSMfsm120_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm118_OH._readRV
    smv540_philoFSMfsm118_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm116_OH._readRV
    smv546_philoFSMfsm116_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm114_OH._readRV
    smv552_philoFSMfsm114_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm112_OH._readRV
    smv558_philoFSMfsm112_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm110_OH._readRV
    smv564_philoFSMfsm110_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm108_OH._readRV
    smv570_philoFSMfsm108_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm106_OH._readRV
    smv576_philoFSMfsm106_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm104_OH._readRV
    smv582_philoFSMfsm104_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm102_OH._readRV
    smv588_philoFSMfsm102_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm100_OH._readRV
    smv594_philoFSMfsm100_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm98_OH._readRV
    smv600_HphiloFSMfsm98_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm96_OH._readRV
    smv606_HphiloFSMfsm96_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm94_OH._readRV
    smv612_HphiloFSMfsm94_OH_readRV: boolean;
    -- philoBENCH.philo2.FSM.philoBENCHphiloFSMfsm92_OH._readRV
    smv618_HphiloFSMfsm92_OH_readRV: boolean;
    -- philoBENCH.philo3.timer._readRV
    smv704_ENCH_philo3_timer_readRV: unsigned word[15];
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm168_OH._readRV
    smv716_philoFSMfsm168_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm166_OH._readRV
    smv722_philoFSMfsm166_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm164_OH._readRV
    smv728_philoFSMfsm164_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm162_OH._readRV
    smv734_philoFSMfsm162_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm160_OH._readRV
    smv740_philoFSMfsm160_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm158_OH._readRV
    smv746_philoFSMfsm158_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm156_OH._readRV
    smv752_philoFSMfsm156_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm154_OH._readRV
    smv758_philoFSMfsm154_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm152_OH._readRV
    smv764_philoFSMfsm152_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm150_OH._readRV
    smv770_philoFSMfsm150_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm148_OH._readRV
    smv776_philoFSMfsm148_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm146_OH._readRV
    smv782_philoFSMfsm146_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm144_OH._readRV
    smv788_philoFSMfsm144_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm142_OH._readRV
    smv794_philoFSMfsm142_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm140_OH._readRV
    smv800_philoFSMfsm140_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm138_OH._readRV
    smv806_philoFSMfsm138_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm136_OH._readRV
    smv812_philoFSMfsm136_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm134_OH._readRV
    smv818_philoFSMfsm134_OH_readRV: boolean;
    -- philoBENCH.philo3.FSM.philoBENCHphiloFSMfsm132_OH._readRV
    smv824_philoFSMfsm132_OH_readRV: boolean;
    -- philoBENCH.philo4.timer._readRV
    smv910_ENCH_philo4_timer_readRV: unsigned word[15];
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm208_OH._readRV
    smv922_philoFSMfsm208_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm206_OH._readRV
    smv928_philoFSMfsm206_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm204_OH._readRV
    smv934_philoFSMfsm204_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm202_OH._readRV
    smv940_philoFSMfsm202_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm200_OH._readRV
    smv946_philoFSMfsm200_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm198_OH._readRV
    smv952_philoFSMfsm198_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm196_OH._readRV
    smv958_philoFSMfsm196_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm194_OH._readRV
    smv964_philoFSMfsm194_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm192_OH._readRV
    smv970_philoFSMfsm192_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm190_OH._readRV
    smv976_philoFSMfsm190_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm188_OH._readRV
    smv982_philoFSMfsm188_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm186_OH._readRV
    smv988_philoFSMfsm186_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm184_OH._readRV
    smv994_philoFSMfsm184_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm182_OH._readRV
    smv1000_philoFSMfsm182_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm180_OH._readRV
    smv1006_philoFSMfsm180_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm178_OH._readRV
    smv1012_philoFSMfsm178_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm176_OH._readRV
    smv1018_philoFSMfsm176_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm174_OH._readRV
    smv1024_philoFSMfsm174_OH_readRV: boolean;
    -- philoBENCH.philo4.FSM.philoBENCHphiloFSMfsm172_OH._readRV
    smv1030_philoFSMfsm172_OH_readRV: boolean;

INIT    smv1030_philoFSMfsm172_OH_readRV = FALSE; -- b
INIT    smv1024_philoFSMfsm174_OH_readRV = FALSE; -- b
INIT    smv1018_philoFSMfsm176_OH_readRV = FALSE; -- b
INIT    smv1012_philoFSMfsm178_OH_readRV = FALSE; -- b
INIT    smv1006_philoFSMfsm180_OH_readRV = FALSE; -- b
INIT    smv1000_philoFSMfsm182_OH_readRV = FALSE; -- b
INIT    smv994_philoFSMfsm184_OH_readRV = FALSE; -- b
INIT    smv988_philoFSMfsm186_OH_readRV = FALSE; -- b
INIT    smv982_philoFSMfsm188_OH_readRV = FALSE; -- b
INIT    smv976_philoFSMfsm190_OH_readRV = FALSE; -- b
INIT    smv970_philoFSMfsm192_OH_readRV = FALSE; -- b
INIT    smv964_philoFSMfsm194_OH_readRV = FALSE; -- b
INIT    smv958_philoFSMfsm196_OH_readRV = FALSE; -- b
INIT    smv952_philoFSMfsm198_OH_readRV = FALSE; -- b
INIT    smv946_philoFSMfsm200_OH_readRV = FALSE; -- b
INIT    smv940_philoFSMfsm202_OH_readRV = FALSE; -- b
INIT    smv934_philoFSMfsm204_OH_readRV = FALSE; -- b
INIT    smv928_philoFSMfsm206_OH_readRV = FALSE; -- b
INIT    smv922_philoFSMfsm208_OH_readRV = FALSE; -- b
INIT    smv910_ENCH_philo4_timer_readRV = 0d15_0; -- other 
INIT    smv824_philoFSMfsm132_OH_readRV = FALSE; -- b
INIT    smv818_philoFSMfsm134_OH_readRV = FALSE; -- b
INIT    smv812_philoFSMfsm136_OH_readRV = FALSE; -- b
INIT    smv806_philoFSMfsm138_OH_readRV = FALSE; -- b
INIT    smv800_philoFSMfsm140_OH_readRV = FALSE; -- b
INIT    smv794_philoFSMfsm142_OH_readRV = FALSE; -- b
INIT    smv788_philoFSMfsm144_OH_readRV = FALSE; -- b
INIT    smv782_philoFSMfsm146_OH_readRV = FALSE; -- b
INIT    smv776_philoFSMfsm148_OH_readRV = FALSE; -- b
INIT    smv770_philoFSMfsm150_OH_readRV = FALSE; -- b
INIT    smv764_philoFSMfsm152_OH_readRV = FALSE; -- b
INIT    smv758_philoFSMfsm154_OH_readRV = FALSE; -- b
INIT    smv752_philoFSMfsm156_OH_readRV = FALSE; -- b
INIT    smv746_philoFSMfsm158_OH_readRV = FALSE; -- b
INIT    smv740_philoFSMfsm160_OH_readRV = FALSE; -- b
INIT    smv734_philoFSMfsm162_OH_readRV = FALSE; -- b
INIT    smv728_philoFSMfsm164_OH_readRV = FALSE; -- b
INIT    smv722_philoFSMfsm166_OH_readRV = FALSE; -- b
INIT    smv716_philoFSMfsm168_OH_readRV = FALSE; -- b
INIT    smv704_ENCH_philo3_timer_readRV = 0d15_0; -- other 
INIT    smv618_HphiloFSMfsm92_OH_readRV = FALSE; -- b
INIT    smv612_HphiloFSMfsm94_OH_readRV = FALSE; -- b
INIT    smv606_HphiloFSMfsm96_OH_readRV = FALSE; -- b
INIT    smv600_HphiloFSMfsm98_OH_readRV = FALSE; -- b
INIT    smv594_philoFSMfsm100_OH_readRV = FALSE; -- b
INIT    smv588_philoFSMfsm102_OH_readRV = FALSE; -- b
INIT    smv582_philoFSMfsm104_OH_readRV = FALSE; -- b
INIT    smv576_philoFSMfsm106_OH_readRV = FALSE; -- b
INIT    smv570_philoFSMfsm108_OH_readRV = FALSE; -- b
INIT    smv564_philoFSMfsm110_OH_readRV = FALSE; -- b
INIT    smv558_philoFSMfsm112_OH_readRV = FALSE; -- b
INIT    smv552_philoFSMfsm114_OH_readRV = FALSE; -- b
INIT    smv546_philoFSMfsm116_OH_readRV = FALSE; -- b
INIT    smv540_philoFSMfsm118_OH_readRV = FALSE; -- b
INIT    smv534_philoFSMfsm120_OH_readRV = FALSE; -- b
INIT    smv528_philoFSMfsm122_OH_readRV = FALSE; -- b
INIT    smv522_philoFSMfsm124_OH_readRV = FALSE; -- b
INIT    smv516_philoFSMfsm126_OH_readRV = FALSE; -- b
INIT    smv510_philoFSMfsm128_OH_readRV = FALSE; -- b
INIT    smv498_ENCH_philo2_timer_readRV = 0d15_0; -- other 
INIT    smv412_HphiloFSMfsm52_OH_readRV = FALSE; -- b
INIT    smv406_HphiloFSMfsm54_OH_readRV = FALSE; -- b
INIT    smv400_HphiloFSMfsm56_OH_readRV = FALSE; -- b
INIT    smv394_HphiloFSMfsm58_OH_readRV = FALSE; -- b
INIT    smv388_HphiloFSMfsm60_OH_readRV = FALSE; -- b
INIT    smv382_HphiloFSMfsm62_OH_readRV = FALSE; -- b
INIT    smv376_HphiloFSMfsm64_OH_readRV = FALSE; -- b
INIT    smv370_HphiloFSMfsm66_OH_readRV = FALSE; -- b
INIT    smv364_HphiloFSMfsm68_OH_readRV = FALSE; -- b
INIT    smv358_HphiloFSMfsm70_OH_readRV = FALSE; -- b
INIT    smv352_HphiloFSMfsm72_OH_readRV = FALSE; -- b
INIT    smv346_HphiloFSMfsm74_OH_readRV = FALSE; -- b
INIT    smv340_HphiloFSMfsm76_OH_readRV = FALSE; -- b
INIT    smv334_HphiloFSMfsm78_OH_readRV = FALSE; -- b
INIT    smv328_HphiloFSMfsm80_OH_readRV = FALSE; -- b
INIT    smv322_HphiloFSMfsm82_OH_readRV = FALSE; -- b
INIT    smv316_HphiloFSMfsm84_OH_readRV = FALSE; -- b
INIT    smv310_HphiloFSMfsm86_OH_readRV = FALSE; -- b
INIT    smv304_HphiloFSMfsm88_OH_readRV = FALSE; -- b
INIT    smv292_ENCH_philo1_timer_readRV = 0d15_0; -- other 
INIT    smv206_HphiloFSMfsm12_OH_readRV = FALSE; -- b
INIT    smv200_HphiloFSMfsm14_OH_readRV = FALSE; -- b
INIT    smv194_HphiloFSMfsm16_OH_readRV = FALSE; -- b
INIT    smv188_HphiloFSMfsm18_OH_readRV = FALSE; -- b
INIT    smv182_HphiloFSMfsm20_OH_readRV = FALSE; -- b
INIT    smv176_HphiloFSMfsm22_OH_readRV = FALSE; -- b
INIT    smv170_HphiloFSMfsm24_OH_readRV = FALSE; -- b
INIT    smv164_HphiloFSMfsm26_OH_readRV = FALSE; -- b
INIT    smv158_HphiloFSMfsm28_OH_readRV = FALSE; -- b
INIT    smv152_HphiloFSMfsm30_OH_readRV = FALSE; -- b
INIT    smv146_HphiloFSMfsm32_OH_readRV = FALSE; -- b
INIT    smv140_HphiloFSMfsm34_OH_readRV = FALSE; -- b
INIT    smv134_HphiloFSMfsm36_OH_readRV = FALSE; -- b
INIT    smv128_HphiloFSMfsm38_OH_readRV = FALSE; -- b
INIT    smv122_HphiloFSMfsm40_OH_readRV = FALSE; -- b
INIT    smv116_HphiloFSMfsm42_OH_readRV = FALSE; -- b
INIT    smv110_HphiloFSMfsm44_OH_readRV = FALSE; -- b
INIT    smv104_HphiloFSMfsm46_OH_readRV = FALSE; -- b
INIT    smv98_HphiloFSMfsm48_OH_readRV = FALSE; -- b
INIT    smv86_ENCH_philo0_timer_readRV = 0d15_0; -- other 
INIT    smv78_ENCH_spoon4_inuse_readRV = FALSE; -- b
INIT    smv64_ENCH_spoon3_inuse_readRV = FALSE; -- b
INIT    smv50_ENCH_spoon2_inuse_readRV = FALSE; -- b
INIT    smv36_ENCH_spoon1_inuse_readRV = FALSE; -- b
INIT    smv22_ENCH_spoon0_inuse_readRV = FALSE; -- b
INIT    SMV_RESET_GENERATOR = FALSE; -- b

DEFINE 
   smv12_loBENCH_spoon0_pickup_RDY := smv22_ENCH_spoon0_inuse_readRV; -- b
   smv16_oBENCH_spoon0_putdown_RDY := TRUE; -- b
   smv26_loBENCH_spoon1_pickup_RDY := smv36_ENCH_spoon1_inuse_readRV; -- b
   smv30_oBENCH_spoon1_putdown_RDY := TRUE; -- b
   smv40_loBENCH_spoon2_pickup_RDY := smv50_ENCH_spoon2_inuse_readRV; -- b
   smv44_oBENCH_spoon2_putdown_RDY := TRUE; -- b
   smv54_loBENCH_spoon3_pickup_RDY := smv64_ENCH_spoon3_inuse_readRV; -- b
   smv58_oBENCH_spoon3_putdown_RDY := TRUE; -- b
   smv68_loBENCH_spoon4_pickup_RDY := smv78_ENCH_spoon4_inuse_readRV; -- b
   smv72_oBENCH_spoon4_putdown_RDY := TRUE; -- b
   smv80_oBENCH_philo0_gen_gen_RDY := TRUE; -- b
   smv88_hiloBENCH_philo0_foo_FIRE := !((0d15_0=smv86_ENCH_philo0_timer_readRV)); -- b
   smv92_ENCH_philo0_FSM_start_RDY := (smv98_HphiloFSMfsm48_OH_readRV&(smv104_HphiloFSMfsm46_OH_readRV&(smv110_HphiloFSMfsm44_OH_readRV&(smv116_HphiloFSMfsm42_OH_readRV&(smv122_HphiloFSMfsm40_OH_readRV&(smv128_HphiloFSMfsm38_OH_readRV&(smv134_HphiloFSMfsm36_OH_readRV&(smv140_HphiloFSMfsm34_OH_readRV&(smv146_HphiloFSMfsm32_OH_readRV&(smv152_HphiloFSMfsm30_OH_readRV&(smv158_HphiloFSMfsm28_OH_readRV&(smv164_HphiloFSMfsm26_OH_readRV&(smv170_HphiloFSMfsm24_OH_readRV&(smv176_HphiloFSMfsm22_OH_readRV&(smv182_HphiloFSMfsm20_OH_readRV&(smv188_HphiloFSMfsm18_OH_readRV&(smv194_HphiloFSMfsm16_OH_readRV&(smv200_HphiloFSMfsm14_OH_readRV&smv206_HphiloFSMfsm12_OH_readRV)))))))))))))))))); -- b
   smv210_BENCHphiloFSMfsm12_c_FIRE := smv212_BENCHphiloFSMfsm14_s_FIRE; -- b
   smv214_BENCHphiloFSMfsm14_c_FIRE := smv216_BENCHphiloFSMfsm16_s_FIRE; -- b
   smv218_BENCHphiloFSMfsm16_c_FIRE := smv220_BENCHphiloFSMfsm18_s_FIRE; -- b
   smv222_BENCHphiloFSMfsm18_c_FIRE := smv224_BENCHphiloFSMfsm20_s_FIRE; -- b
   smv226_BENCHphiloFSMfsm20_c_FIRE := smv228_BENCHphiloFSMfsm22_s_FIRE; -- b
   smv230_BENCHphiloFSMfsm22_c_FIRE := smv232_BENCHphiloFSMfsm24_s_FIRE; -- b
   smv234_BENCHphiloFSMfsm24_c_FIRE := smv236_BENCHphiloFSMfsm26_s_FIRE; -- b
   smv238_BENCHphiloFSMfsm26_c_FIRE := smv240_BENCHphiloFSMfsm28_s_FIRE; -- b
   smv242_BENCHphiloFSMfsm28_c_FIRE := smv244_BENCHphiloFSMfsm30_s_FIRE; -- b
   smv246_BENCHphiloFSMfsm30_c_FIRE := smv248_BENCHphiloFSMfsm32_s_FIRE; -- b
   smv250_BENCHphiloFSMfsm32_c_FIRE := smv252_BENCHphiloFSMfsm34_s_FIRE; -- b
   smv254_BENCHphiloFSMfsm34_c_FIRE := smv256_BENCHphiloFSMfsm36_s_FIRE; -- b
   smv258_BENCHphiloFSMfsm36_c_FIRE := smv260_BENCHphiloFSMfsm38_s_FIRE; -- b
   smv262_BENCHphiloFSMfsm38_c_FIRE := smv264_BENCHphiloFSMfsm40_s_FIRE; -- b
   smv266_BENCHphiloFSMfsm40_c_FIRE := smv268_BENCHphiloFSMfsm42_s_FIRE; -- b
   smv270_BENCHphiloFSMfsm42_c_FIRE := smv272_BENCHphiloFSMfsm44_s_FIRE; -- b
   smv274_BENCHphiloFSMfsm44_c_FIRE := smv276_BENCHphiloFSMfsm46_s_FIRE; -- b
   smv278_BENCHphiloFSMfsm46_c_FIRE := smv280_BENCHphiloFSMfsm48_s_FIRE; -- b
   smv282_BENCHphiloFSMfsm48_c_FIRE := smv98_HphiloFSMfsm48_OH_readRV; -- b
   smv280_BENCHphiloFSMfsm48_s_FIRE := (smv98_HphiloFSMfsm48_OH_readRV&smv104_HphiloFSMfsm46_OH_readRV); -- b
   smv276_BENCHphiloFSMfsm46_s_FIRE := (smv104_HphiloFSMfsm46_OH_readRV&(smv110_HphiloFSMfsm44_OH_readRV&smv30_oBENCH_spoon1_putdown_RDY)); -- b
   smv272_BENCHphiloFSMfsm44_s_FIRE := (smv110_HphiloFSMfsm44_OH_readRV&smv116_HphiloFSMfsm42_OH_readRV); -- b
   smv268_BENCHphiloFSMfsm42_s_FIRE := (smv116_HphiloFSMfsm42_OH_readRV&(smv122_HphiloFSMfsm40_OH_readRV&smv16_oBENCH_spoon0_putdown_RDY)); -- b
   smv264_BENCHphiloFSMfsm40_s_FIRE := (smv122_HphiloFSMfsm40_OH_readRV&smv128_HphiloFSMfsm38_OH_readRV); -- b
   smv260_BENCHphiloFSMfsm38_s_FIRE := (smv128_HphiloFSMfsm38_OH_readRV&smv134_HphiloFSMfsm36_OH_readRV); -- b
   smv256_BENCHphiloFSMfsm36_s_FIRE := ((0d15_0=smv86_ENCH_philo0_timer_readRV)&(smv134_HphiloFSMfsm36_OH_readRV&smv140_HphiloFSMfsm34_OH_readRV)); -- b
   smv252_BENCHphiloFSMfsm34_s_FIRE := (smv140_HphiloFSMfsm34_OH_readRV&smv146_HphiloFSMfsm32_OH_readRV); -- b
   smv248_BENCHphiloFSMfsm32_s_FIRE := (smv146_HphiloFSMfsm32_OH_readRV&smv152_HphiloFSMfsm30_OH_readRV); -- b
   smv244_BENCHphiloFSMfsm30_s_FIRE := (smv152_HphiloFSMfsm30_OH_readRV&smv158_HphiloFSMfsm28_OH_readRV); -- b
   smv240_BENCHphiloFSMfsm28_s_FIRE := (smv158_HphiloFSMfsm28_OH_readRV&(smv164_HphiloFSMfsm26_OH_readRV&smv26_loBENCH_spoon1_pickup_RDY)); -- b
   smv236_BENCHphiloFSMfsm26_s_FIRE := ((0d15_0=smv86_ENCH_philo0_timer_readRV)&(smv164_HphiloFSMfsm26_OH_readRV&smv170_HphiloFSMfsm24_OH_readRV)); -- b
   smv232_BENCHphiloFSMfsm24_s_FIRE := (smv170_HphiloFSMfsm24_OH_readRV&smv176_HphiloFSMfsm22_OH_readRV); -- b
   smv228_BENCHphiloFSMfsm22_s_FIRE := (smv176_HphiloFSMfsm22_OH_readRV&(smv182_HphiloFSMfsm20_OH_readRV&smv80_oBENCH_philo0_gen_gen_RDY)); -- b
   smv224_BENCHphiloFSMfsm20_s_FIRE := (smv182_HphiloFSMfsm20_OH_readRV&smv188_HphiloFSMfsm18_OH_readRV); -- b
   smv220_BENCHphiloFSMfsm18_s_FIRE := (smv188_HphiloFSMfsm18_OH_readRV&(smv194_HphiloFSMfsm16_OH_readRV&smv12_loBENCH_spoon0_pickup_RDY)); -- b
   smv216_BENCHphiloFSMfsm16_s_FIRE := ((0d15_0=smv86_ENCH_philo0_timer_readRV)&(smv194_HphiloFSMfsm16_OH_readRV&smv200_HphiloFSMfsm14_OH_readRV)); -- b
   smv212_BENCHphiloFSMfsm14_s_FIRE := (smv200_HphiloFSMfsm14_OH_readRV&smv206_HphiloFSMfsm12_OH_readRV); -- b
   smv208_BENCHphiloFSMfsm12_s_FIRE := (smv206_HphiloFSMfsm12_OH_readRV&(smv80_oBENCH_philo0_gen_gen_RDY&smv90_BENCH_philo0_FSM_start_EN)); -- b
   smv284_BENCH_philo0_kickoff_FIRE := smv92_ENCH_philo0_FSM_start_RDY; -- b
   smv286_oBENCH_philo1_gen_gen_RDY := TRUE; -- b
   smv294_hiloBENCH_philo1_foo_FIRE := !((0d15_0=smv292_ENCH_philo1_timer_readRV)); -- b
   smv298_ENCH_philo1_FSM_start_RDY := (smv304_HphiloFSMfsm88_OH_readRV&(smv310_HphiloFSMfsm86_OH_readRV&(smv316_HphiloFSMfsm84_OH_readRV&(smv322_HphiloFSMfsm82_OH_readRV&(smv328_HphiloFSMfsm80_OH_readRV&(smv334_HphiloFSMfsm78_OH_readRV&(smv340_HphiloFSMfsm76_OH_readRV&(smv346_HphiloFSMfsm74_OH_readRV&(smv352_HphiloFSMfsm72_OH_readRV&(smv358_HphiloFSMfsm70_OH_readRV&(smv364_HphiloFSMfsm68_OH_readRV&(smv370_HphiloFSMfsm66_OH_readRV&(smv376_HphiloFSMfsm64_OH_readRV&(smv382_HphiloFSMfsm62_OH_readRV&(smv388_HphiloFSMfsm60_OH_readRV&(smv394_HphiloFSMfsm58_OH_readRV&(smv400_HphiloFSMfsm56_OH_readRV&(smv406_HphiloFSMfsm54_OH_readRV&smv412_HphiloFSMfsm52_OH_readRV)))))))))))))))))); -- b
   smv416_BENCHphiloFSMfsm52_c_FIRE := smv418_BENCHphiloFSMfsm54_s_FIRE; -- b
   smv420_BENCHphiloFSMfsm54_c_FIRE := smv422_BENCHphiloFSMfsm56_s_FIRE; -- b
   smv424_BENCHphiloFSMfsm56_c_FIRE := smv426_BENCHphiloFSMfsm58_s_FIRE; -- b
   smv428_BENCHphiloFSMfsm58_c_FIRE := smv430_BENCHphiloFSMfsm60_s_FIRE; -- b
   smv432_BENCHphiloFSMfsm60_c_FIRE := smv434_BENCHphiloFSMfsm62_s_FIRE; -- b
   smv436_BENCHphiloFSMfsm62_c_FIRE := smv438_BENCHphiloFSMfsm64_s_FIRE; -- b
   smv440_BENCHphiloFSMfsm64_c_FIRE := smv442_BENCHphiloFSMfsm66_s_FIRE; -- b
   smv444_BENCHphiloFSMfsm66_c_FIRE := smv446_BENCHphiloFSMfsm68_s_FIRE; -- b
   smv448_BENCHphiloFSMfsm68_c_FIRE := smv450_BENCHphiloFSMfsm70_s_FIRE; -- b
   smv452_BENCHphiloFSMfsm70_c_FIRE := smv454_BENCHphiloFSMfsm72_s_FIRE; -- b
   smv456_BENCHphiloFSMfsm72_c_FIRE := smv458_BENCHphiloFSMfsm74_s_FIRE; -- b
   smv460_BENCHphiloFSMfsm74_c_FIRE := smv462_BENCHphiloFSMfsm76_s_FIRE; -- b
   smv464_BENCHphiloFSMfsm76_c_FIRE := smv466_BENCHphiloFSMfsm78_s_FIRE; -- b
   smv468_BENCHphiloFSMfsm78_c_FIRE := smv470_BENCHphiloFSMfsm80_s_FIRE; -- b
   smv472_BENCHphiloFSMfsm80_c_FIRE := smv474_BENCHphiloFSMfsm82_s_FIRE; -- b
   smv476_BENCHphiloFSMfsm82_c_FIRE := smv478_BENCHphiloFSMfsm84_s_FIRE; -- b
   smv480_BENCHphiloFSMfsm84_c_FIRE := smv482_BENCHphiloFSMfsm86_s_FIRE; -- b
   smv484_BENCHphiloFSMfsm86_c_FIRE := smv486_BENCHphiloFSMfsm88_s_FIRE; -- b
   smv488_BENCHphiloFSMfsm88_c_FIRE := smv304_HphiloFSMfsm88_OH_readRV; -- b
   smv486_BENCHphiloFSMfsm88_s_FIRE := (smv304_HphiloFSMfsm88_OH_readRV&smv310_HphiloFSMfsm86_OH_readRV); -- b
   smv482_BENCHphiloFSMfsm86_s_FIRE := (smv310_HphiloFSMfsm86_OH_readRV&(smv316_HphiloFSMfsm84_OH_readRV&smv44_oBENCH_spoon2_putdown_RDY)); -- b
   smv478_BENCHphiloFSMfsm84_s_FIRE := (smv316_HphiloFSMfsm84_OH_readRV&smv322_HphiloFSMfsm82_OH_readRV); -- b
   smv474_BENCHphiloFSMfsm82_s_FIRE := (smv30_oBENCH_spoon1_putdown_RDY&(smv322_HphiloFSMfsm82_OH_readRV&smv328_HphiloFSMfsm80_OH_readRV)); -- b
   smv470_BENCHphiloFSMfsm80_s_FIRE := (smv328_HphiloFSMfsm80_OH_readRV&smv334_HphiloFSMfsm78_OH_readRV); -- b
   smv466_BENCHphiloFSMfsm78_s_FIRE := (smv334_HphiloFSMfsm78_OH_readRV&smv340_HphiloFSMfsm76_OH_readRV); -- b
   smv462_BENCHphiloFSMfsm76_s_FIRE := ((0d15_0=smv292_ENCH_philo1_timer_readRV)&(smv340_HphiloFSMfsm76_OH_readRV&smv346_HphiloFSMfsm74_OH_readRV)); -- b
   smv458_BENCHphiloFSMfsm74_s_FIRE := (smv346_HphiloFSMfsm74_OH_readRV&smv352_HphiloFSMfsm72_OH_readRV); -- b
   smv454_BENCHphiloFSMfsm72_s_FIRE := (smv352_HphiloFSMfsm72_OH_readRV&smv358_HphiloFSMfsm70_OH_readRV); -- b
   smv450_BENCHphiloFSMfsm70_s_FIRE := (smv358_HphiloFSMfsm70_OH_readRV&smv364_HphiloFSMfsm68_OH_readRV); -- b
   smv446_BENCHphiloFSMfsm68_s_FIRE := (smv364_HphiloFSMfsm68_OH_readRV&(smv370_HphiloFSMfsm66_OH_readRV&smv40_loBENCH_spoon2_pickup_RDY)); -- b
   smv442_BENCHphiloFSMfsm66_s_FIRE := ((0d15_0=smv292_ENCH_philo1_timer_readRV)&(smv370_HphiloFSMfsm66_OH_readRV&smv376_HphiloFSMfsm64_OH_readRV)); -- b
   smv438_BENCHphiloFSMfsm64_s_FIRE := (smv376_HphiloFSMfsm64_OH_readRV&smv382_HphiloFSMfsm62_OH_readRV); -- b
   smv434_BENCHphiloFSMfsm62_s_FIRE := (smv382_HphiloFSMfsm62_OH_readRV&(smv388_HphiloFSMfsm60_OH_readRV&smv286_oBENCH_philo1_gen_gen_RDY)); -- b
   smv430_BENCHphiloFSMfsm60_s_FIRE := (smv388_HphiloFSMfsm60_OH_readRV&smv394_HphiloFSMfsm58_OH_readRV); -- b
   smv426_BENCHphiloFSMfsm58_s_FIRE := (smv26_loBENCH_spoon1_pickup_RDY&(smv394_HphiloFSMfsm58_OH_readRV&smv400_HphiloFSMfsm56_OH_readRV)); -- b
   smv422_BENCHphiloFSMfsm56_s_FIRE := ((0d15_0=smv292_ENCH_philo1_timer_readRV)&(smv400_HphiloFSMfsm56_OH_readRV&smv406_HphiloFSMfsm54_OH_readRV)); -- b
   smv418_BENCHphiloFSMfsm54_s_FIRE := (smv406_HphiloFSMfsm54_OH_readRV&smv412_HphiloFSMfsm52_OH_readRV); -- b
   smv414_BENCHphiloFSMfsm52_s_FIRE := (smv412_HphiloFSMfsm52_OH_readRV&(smv286_oBENCH_philo1_gen_gen_RDY&smv296_BENCH_philo1_FSM_start_EN)); -- b
   smv490_BENCH_philo1_kickoff_FIRE := smv298_ENCH_philo1_FSM_start_RDY; -- b
   smv492_oBENCH_philo2_gen_gen_RDY := TRUE; -- b
   smv500_hiloBENCH_philo2_foo_FIRE := !((0d15_0=smv498_ENCH_philo2_timer_readRV)); -- b
   smv504_ENCH_philo2_FSM_start_RDY := (smv510_philoFSMfsm128_OH_readRV&(smv516_philoFSMfsm126_OH_readRV&(smv522_philoFSMfsm124_OH_readRV&(smv528_philoFSMfsm122_OH_readRV&(smv534_philoFSMfsm120_OH_readRV&(smv540_philoFSMfsm118_OH_readRV&(smv546_philoFSMfsm116_OH_readRV&(smv552_philoFSMfsm114_OH_readRV&(smv558_philoFSMfsm112_OH_readRV&(smv564_philoFSMfsm110_OH_readRV&(smv570_philoFSMfsm108_OH_readRV&(smv576_philoFSMfsm106_OH_readRV&(smv582_philoFSMfsm104_OH_readRV&(smv588_philoFSMfsm102_OH_readRV&(smv594_philoFSMfsm100_OH_readRV&(smv600_HphiloFSMfsm98_OH_readRV&(smv606_HphiloFSMfsm96_OH_readRV&(smv612_HphiloFSMfsm94_OH_readRV&smv618_HphiloFSMfsm92_OH_readRV)))))))))))))))))); -- b
   smv622_BENCHphiloFSMfsm92_c_FIRE := smv624_BENCHphiloFSMfsm94_s_FIRE; -- b
   smv626_BENCHphiloFSMfsm94_c_FIRE := smv628_BENCHphiloFSMfsm96_s_FIRE; -- b
   smv630_BENCHphiloFSMfsm96_c_FIRE := smv632_BENCHphiloFSMfsm98_s_FIRE; -- b
   smv634_BENCHphiloFSMfsm98_c_FIRE := smv636_ENCHphiloFSMfsm100_s_FIRE; -- b
   smv638_ENCHphiloFSMfsm100_c_FIRE := smv640_ENCHphiloFSMfsm102_s_FIRE; -- b
   smv642_ENCHphiloFSMfsm102_c_FIRE := smv644_ENCHphiloFSMfsm104_s_FIRE; -- b
   smv646_ENCHphiloFSMfsm104_c_FIRE := smv648_ENCHphiloFSMfsm106_s_FIRE; -- b
   smv650_ENCHphiloFSMfsm106_c_FIRE := smv652_ENCHphiloFSMfsm108_s_FIRE; -- b
   smv654_ENCHphiloFSMfsm108_c_FIRE := smv656_ENCHphiloFSMfsm110_s_FIRE; -- b
   smv658_ENCHphiloFSMfsm110_c_FIRE := smv660_ENCHphiloFSMfsm112_s_FIRE; -- b
   smv662_ENCHphiloFSMfsm112_c_FIRE := smv664_ENCHphiloFSMfsm114_s_FIRE; -- b
   smv666_ENCHphiloFSMfsm114_c_FIRE := smv668_ENCHphiloFSMfsm116_s_FIRE; -- b
   smv670_ENCHphiloFSMfsm116_c_FIRE := smv672_ENCHphiloFSMfsm118_s_FIRE; -- b
   smv674_ENCHphiloFSMfsm118_c_FIRE := smv676_ENCHphiloFSMfsm120_s_FIRE; -- b
   smv678_ENCHphiloFSMfsm120_c_FIRE := smv680_ENCHphiloFSMfsm122_s_FIRE; -- b
   smv682_ENCHphiloFSMfsm122_c_FIRE := smv684_ENCHphiloFSMfsm124_s_FIRE; -- b
   smv686_ENCHphiloFSMfsm124_c_FIRE := smv688_ENCHphiloFSMfsm126_s_FIRE; -- b
   smv690_ENCHphiloFSMfsm126_c_FIRE := smv692_ENCHphiloFSMfsm128_s_FIRE; -- b
   smv694_ENCHphiloFSMfsm128_c_FIRE := smv510_philoFSMfsm128_OH_readRV; -- b
   smv692_ENCHphiloFSMfsm128_s_FIRE := (smv510_philoFSMfsm128_OH_readRV&smv516_philoFSMfsm126_OH_readRV); -- b
   smv688_ENCHphiloFSMfsm126_s_FIRE := (smv44_oBENCH_spoon2_putdown_RDY&(smv516_philoFSMfsm126_OH_readRV&smv522_philoFSMfsm124_OH_readRV)); -- b
   smv684_ENCHphiloFSMfsm124_s_FIRE := (smv522_philoFSMfsm124_OH_readRV&smv528_philoFSMfsm122_OH_readRV); -- b
   smv680_ENCHphiloFSMfsm122_s_FIRE := (smv528_philoFSMfsm122_OH_readRV&(smv534_philoFSMfsm120_OH_readRV&smv58_oBENCH_spoon3_putdown_RDY)); -- b
   smv676_ENCHphiloFSMfsm120_s_FIRE := (smv534_philoFSMfsm120_OH_readRV&smv540_philoFSMfsm118_OH_readRV); -- b
   smv672_ENCHphiloFSMfsm118_s_FIRE := (smv540_philoFSMfsm118_OH_readRV&smv546_philoFSMfsm116_OH_readRV); -- b
   smv668_ENCHphiloFSMfsm116_s_FIRE := ((0d15_0=smv498_ENCH_philo2_timer_readRV)&(smv546_philoFSMfsm116_OH_readRV&smv552_philoFSMfsm114_OH_readRV)); -- b
   smv664_ENCHphiloFSMfsm114_s_FIRE := (smv552_philoFSMfsm114_OH_readRV&smv558_philoFSMfsm112_OH_readRV); -- b
   smv660_ENCHphiloFSMfsm112_s_FIRE := (smv558_philoFSMfsm112_OH_readRV&smv564_philoFSMfsm110_OH_readRV); -- b
   smv656_ENCHphiloFSMfsm110_s_FIRE := (smv564_philoFSMfsm110_OH_readRV&smv570_philoFSMfsm108_OH_readRV); -- b
   smv652_ENCHphiloFSMfsm108_s_FIRE := (smv40_loBENCH_spoon2_pickup_RDY&(smv570_philoFSMfsm108_OH_readRV&smv576_philoFSMfsm106_OH_readRV)); -- b
   smv648_ENCHphiloFSMfsm106_s_FIRE := ((0d15_0=smv498_ENCH_philo2_timer_readRV)&(smv576_philoFSMfsm106_OH_readRV&smv582_philoFSMfsm104_OH_readRV)); -- b
   smv644_ENCHphiloFSMfsm104_s_FIRE := (smv582_philoFSMfsm104_OH_readRV&smv588_philoFSMfsm102_OH_readRV); -- b
   smv640_ENCHphiloFSMfsm102_s_FIRE := (smv588_philoFSMfsm102_OH_readRV&(smv594_philoFSMfsm100_OH_readRV&smv492_oBENCH_philo2_gen_gen_RDY)); -- b
   smv636_ENCHphiloFSMfsm100_s_FIRE := (smv594_philoFSMfsm100_OH_readRV&smv600_HphiloFSMfsm98_OH_readRV); -- b
   smv632_BENCHphiloFSMfsm98_s_FIRE := (smv600_HphiloFSMfsm98_OH_readRV&(smv606_HphiloFSMfsm96_OH_readRV&smv54_loBENCH_spoon3_pickup_RDY)); -- b
   smv628_BENCHphiloFSMfsm96_s_FIRE := ((0d15_0=smv498_ENCH_philo2_timer_readRV)&(smv606_HphiloFSMfsm96_OH_readRV&smv612_HphiloFSMfsm94_OH_readRV)); -- b
   smv624_BENCHphiloFSMfsm94_s_FIRE := (smv612_HphiloFSMfsm94_OH_readRV&smv618_HphiloFSMfsm92_OH_readRV); -- b
   smv620_BENCHphiloFSMfsm92_s_FIRE := (smv618_HphiloFSMfsm92_OH_readRV&(smv492_oBENCH_philo2_gen_gen_RDY&smv502_BENCH_philo2_FSM_start_EN)); -- b
   smv696_BENCH_philo2_kickoff_FIRE := smv504_ENCH_philo2_FSM_start_RDY; -- b
   smv698_oBENCH_philo3_gen_gen_RDY := TRUE; -- b
   smv706_hiloBENCH_philo3_foo_FIRE := !((0d15_0=smv704_ENCH_philo3_timer_readRV)); -- b
   smv710_ENCH_philo3_FSM_start_RDY := (smv716_philoFSMfsm168_OH_readRV&(smv722_philoFSMfsm166_OH_readRV&(smv728_philoFSMfsm164_OH_readRV&(smv734_philoFSMfsm162_OH_readRV&(smv740_philoFSMfsm160_OH_readRV&(smv746_philoFSMfsm158_OH_readRV&(smv752_philoFSMfsm156_OH_readRV&(smv758_philoFSMfsm154_OH_readRV&(smv764_philoFSMfsm152_OH_readRV&(smv770_philoFSMfsm150_OH_readRV&(smv776_philoFSMfsm148_OH_readRV&(smv782_philoFSMfsm146_OH_readRV&(smv788_philoFSMfsm144_OH_readRV&(smv794_philoFSMfsm142_OH_readRV&(smv800_philoFSMfsm140_OH_readRV&(smv806_philoFSMfsm138_OH_readRV&(smv812_philoFSMfsm136_OH_readRV&(smv818_philoFSMfsm134_OH_readRV&smv824_philoFSMfsm132_OH_readRV)))))))))))))))))); -- b
   smv828_ENCHphiloFSMfsm132_c_FIRE := smv830_ENCHphiloFSMfsm134_s_FIRE; -- b
   smv832_ENCHphiloFSMfsm134_c_FIRE := smv834_ENCHphiloFSMfsm136_s_FIRE; -- b
   smv836_ENCHphiloFSMfsm136_c_FIRE := smv838_ENCHphiloFSMfsm138_s_FIRE; -- b
   smv840_ENCHphiloFSMfsm138_c_FIRE := smv842_ENCHphiloFSMfsm140_s_FIRE; -- b
   smv844_ENCHphiloFSMfsm140_c_FIRE := smv846_ENCHphiloFSMfsm142_s_FIRE; -- b
   smv848_ENCHphiloFSMfsm142_c_FIRE := smv850_ENCHphiloFSMfsm144_s_FIRE; -- b
   smv852_ENCHphiloFSMfsm144_c_FIRE := smv854_ENCHphiloFSMfsm146_s_FIRE; -- b
   smv856_ENCHphiloFSMfsm146_c_FIRE := smv858_ENCHphiloFSMfsm148_s_FIRE; -- b
   smv860_ENCHphiloFSMfsm148_c_FIRE := smv862_ENCHphiloFSMfsm150_s_FIRE; -- b
   smv864_ENCHphiloFSMfsm150_c_FIRE := smv866_ENCHphiloFSMfsm152_s_FIRE; -- b
   smv868_ENCHphiloFSMfsm152_c_FIRE := smv870_ENCHphiloFSMfsm154_s_FIRE; -- b
   smv872_ENCHphiloFSMfsm154_c_FIRE := smv874_ENCHphiloFSMfsm156_s_FIRE; -- b
   smv876_ENCHphiloFSMfsm156_c_FIRE := smv878_ENCHphiloFSMfsm158_s_FIRE; -- b
   smv880_ENCHphiloFSMfsm158_c_FIRE := smv882_ENCHphiloFSMfsm160_s_FIRE; -- b
   smv884_ENCHphiloFSMfsm160_c_FIRE := smv886_ENCHphiloFSMfsm162_s_FIRE; -- b
   smv888_ENCHphiloFSMfsm162_c_FIRE := smv890_ENCHphiloFSMfsm164_s_FIRE; -- b
   smv892_ENCHphiloFSMfsm164_c_FIRE := smv894_ENCHphiloFSMfsm166_s_FIRE; -- b
   smv896_ENCHphiloFSMfsm166_c_FIRE := smv898_ENCHphiloFSMfsm168_s_FIRE; -- b
   smv900_ENCHphiloFSMfsm168_c_FIRE := smv716_philoFSMfsm168_OH_readRV; -- b
   smv898_ENCHphiloFSMfsm168_s_FIRE := (smv716_philoFSMfsm168_OH_readRV&smv722_philoFSMfsm166_OH_readRV); -- b
   smv894_ENCHphiloFSMfsm166_s_FIRE := (smv722_philoFSMfsm166_OH_readRV&(smv728_philoFSMfsm164_OH_readRV&smv72_oBENCH_spoon4_putdown_RDY)); -- b
   smv890_ENCHphiloFSMfsm164_s_FIRE := (smv728_philoFSMfsm164_OH_readRV&smv734_philoFSMfsm162_OH_readRV); -- b
   smv886_ENCHphiloFSMfsm162_s_FIRE := (smv58_oBENCH_spoon3_putdown_RDY&(smv734_philoFSMfsm162_OH_readRV&smv740_philoFSMfsm160_OH_readRV)); -- b
   smv882_ENCHphiloFSMfsm160_s_FIRE := (smv740_philoFSMfsm160_OH_readRV&smv746_philoFSMfsm158_OH_readRV); -- b
   smv878_ENCHphiloFSMfsm158_s_FIRE := (smv746_philoFSMfsm158_OH_readRV&smv752_philoFSMfsm156_OH_readRV); -- b
   smv874_ENCHphiloFSMfsm156_s_FIRE := ((0d15_0=smv704_ENCH_philo3_timer_readRV)&(smv752_philoFSMfsm156_OH_readRV&smv758_philoFSMfsm154_OH_readRV)); -- b
   smv870_ENCHphiloFSMfsm154_s_FIRE := (smv758_philoFSMfsm154_OH_readRV&smv764_philoFSMfsm152_OH_readRV); -- b
   smv866_ENCHphiloFSMfsm152_s_FIRE := (smv764_philoFSMfsm152_OH_readRV&smv770_philoFSMfsm150_OH_readRV); -- b
   smv862_ENCHphiloFSMfsm150_s_FIRE := (smv770_philoFSMfsm150_OH_readRV&smv776_philoFSMfsm148_OH_readRV); -- b
   smv858_ENCHphiloFSMfsm148_s_FIRE := (smv776_philoFSMfsm148_OH_readRV&(smv782_philoFSMfsm146_OH_readRV&smv68_loBENCH_spoon4_pickup_RDY)); -- b
   smv854_ENCHphiloFSMfsm146_s_FIRE := ((0d15_0=smv704_ENCH_philo3_timer_readRV)&(smv782_philoFSMfsm146_OH_readRV&smv788_philoFSMfsm144_OH_readRV)); -- b
   smv850_ENCHphiloFSMfsm144_s_FIRE := (smv788_philoFSMfsm144_OH_readRV&smv794_philoFSMfsm142_OH_readRV); -- b
   smv846_ENCHphiloFSMfsm142_s_FIRE := (smv794_philoFSMfsm142_OH_readRV&(smv800_philoFSMfsm140_OH_readRV&smv698_oBENCH_philo3_gen_gen_RDY)); -- b
   smv842_ENCHphiloFSMfsm140_s_FIRE := (smv800_philoFSMfsm140_OH_readRV&smv806_philoFSMfsm138_OH_readRV); -- b
   smv838_ENCHphiloFSMfsm138_s_FIRE := (smv54_loBENCH_spoon3_pickup_RDY&(smv806_philoFSMfsm138_OH_readRV&smv812_philoFSMfsm136_OH_readRV)); -- b
   smv834_ENCHphiloFSMfsm136_s_FIRE := ((0d15_0=smv704_ENCH_philo3_timer_readRV)&(smv812_philoFSMfsm136_OH_readRV&smv818_philoFSMfsm134_OH_readRV)); -- b
   smv830_ENCHphiloFSMfsm134_s_FIRE := (smv818_philoFSMfsm134_OH_readRV&smv824_philoFSMfsm132_OH_readRV); -- b
   smv826_ENCHphiloFSMfsm132_s_FIRE := (smv824_philoFSMfsm132_OH_readRV&(smv698_oBENCH_philo3_gen_gen_RDY&smv708_BENCH_philo3_FSM_start_EN)); -- b
   smv902_BENCH_philo3_kickoff_FIRE := smv710_ENCH_philo3_FSM_start_RDY; -- b
   smv904_oBENCH_philo4_gen_gen_RDY := TRUE; -- b
   smv912_hiloBENCH_philo4_foo_FIRE := !((0d15_0=smv910_ENCH_philo4_timer_readRV)); -- b
   smv916_ENCH_philo4_FSM_start_RDY := (smv922_philoFSMfsm208_OH_readRV&(smv928_philoFSMfsm206_OH_readRV&(smv934_philoFSMfsm204_OH_readRV&(smv940_philoFSMfsm202_OH_readRV&(smv946_philoFSMfsm200_OH_readRV&(smv952_philoFSMfsm198_OH_readRV&(smv958_philoFSMfsm196_OH_readRV&(smv964_philoFSMfsm194_OH_readRV&(smv970_philoFSMfsm192_OH_readRV&(smv976_philoFSMfsm190_OH_readRV&(smv982_philoFSMfsm188_OH_readRV&(smv988_philoFSMfsm186_OH_readRV&(smv994_philoFSMfsm184_OH_readRV&(smv1000_philoFSMfsm182_OH_readRV&(smv1006_philoFSMfsm180_OH_readRV&(smv1012_philoFSMfsm178_OH_readRV&(smv1018_philoFSMfsm176_OH_readRV&(smv1024_philoFSMfsm174_OH_readRV&smv1030_philoFSMfsm172_OH_readRV)))))))))))))))))); -- b
   smv1034_ENCHphiloFSMfsm172_c_FIRE := smv1036_ENCHphiloFSMfsm174_s_FIRE; -- b
   smv1038_ENCHphiloFSMfsm174_c_FIRE := smv1040_ENCHphiloFSMfsm176_s_FIRE; -- b
   smv1042_ENCHphiloFSMfsm176_c_FIRE := smv1044_ENCHphiloFSMfsm178_s_FIRE; -- b
   smv1046_ENCHphiloFSMfsm178_c_FIRE := smv1048_ENCHphiloFSMfsm180_s_FIRE; -- b
   smv1050_ENCHphiloFSMfsm180_c_FIRE := smv1052_ENCHphiloFSMfsm182_s_FIRE; -- b
   smv1054_ENCHphiloFSMfsm182_c_FIRE := smv1056_ENCHphiloFSMfsm184_s_FIRE; -- b
   smv1058_ENCHphiloFSMfsm184_c_FIRE := smv1060_ENCHphiloFSMfsm186_s_FIRE; -- b
   smv1062_ENCHphiloFSMfsm186_c_FIRE := smv1064_ENCHphiloFSMfsm188_s_FIRE; -- b
   smv1066_ENCHphiloFSMfsm188_c_FIRE := smv1068_ENCHphiloFSMfsm190_s_FIRE; -- b
   smv1070_ENCHphiloFSMfsm190_c_FIRE := smv1072_ENCHphiloFSMfsm192_s_FIRE; -- b
   smv1074_ENCHphiloFSMfsm192_c_FIRE := smv1076_ENCHphiloFSMfsm194_s_FIRE; -- b
   smv1078_ENCHphiloFSMfsm194_c_FIRE := smv1080_ENCHphiloFSMfsm196_s_FIRE; -- b
   smv1082_ENCHphiloFSMfsm196_c_FIRE := smv1084_ENCHphiloFSMfsm198_s_FIRE; -- b
   smv1086_ENCHphiloFSMfsm198_c_FIRE := smv1088_ENCHphiloFSMfsm200_s_FIRE; -- b
   smv1090_ENCHphiloFSMfsm200_c_FIRE := smv1092_ENCHphiloFSMfsm202_s_FIRE; -- b
   smv1094_ENCHphiloFSMfsm202_c_FIRE := smv1096_ENCHphiloFSMfsm204_s_FIRE; -- b
   smv1098_ENCHphiloFSMfsm204_c_FIRE := smv1100_ENCHphiloFSMfsm206_s_FIRE; -- b
   smv1102_ENCHphiloFSMfsm206_c_FIRE := smv1104_ENCHphiloFSMfsm208_s_FIRE; -- b
   smv1106_ENCHphiloFSMfsm208_c_FIRE := smv922_philoFSMfsm208_OH_readRV; -- b
   smv1104_ENCHphiloFSMfsm208_s_FIRE := (smv922_philoFSMfsm208_OH_readRV&smv928_philoFSMfsm206_OH_readRV); -- b
   smv1100_ENCHphiloFSMfsm206_s_FIRE := (smv16_oBENCH_spoon0_putdown_RDY&(smv928_philoFSMfsm206_OH_readRV&smv934_philoFSMfsm204_OH_readRV)); -- b
   smv1096_ENCHphiloFSMfsm204_s_FIRE := (smv934_philoFSMfsm204_OH_readRV&smv940_philoFSMfsm202_OH_readRV); -- b
   smv1092_ENCHphiloFSMfsm202_s_FIRE := (smv72_oBENCH_spoon4_putdown_RDY&(smv940_philoFSMfsm202_OH_readRV&smv946_philoFSMfsm200_OH_readRV)); -- b
   smv1088_ENCHphiloFSMfsm200_s_FIRE := (smv946_philoFSMfsm200_OH_readRV&smv952_philoFSMfsm198_OH_readRV); -- b
   smv1084_ENCHphiloFSMfsm198_s_FIRE := (smv952_philoFSMfsm198_OH_readRV&smv958_philoFSMfsm196_OH_readRV); -- b
   smv1080_ENCHphiloFSMfsm196_s_FIRE := ((0d15_0=smv910_ENCH_philo4_timer_readRV)&(smv958_philoFSMfsm196_OH_readRV&smv964_philoFSMfsm194_OH_readRV)); -- b
   smv1076_ENCHphiloFSMfsm194_s_FIRE := (smv964_philoFSMfsm194_OH_readRV&smv970_philoFSMfsm192_OH_readRV); -- b
   smv1072_ENCHphiloFSMfsm192_s_FIRE := (smv970_philoFSMfsm192_OH_readRV&smv976_philoFSMfsm190_OH_readRV); -- b
   smv1068_ENCHphiloFSMfsm190_s_FIRE := (smv976_philoFSMfsm190_OH_readRV&smv982_philoFSMfsm188_OH_readRV); -- b
   smv1064_ENCHphiloFSMfsm188_s_FIRE := (smv12_loBENCH_spoon0_pickup_RDY&(smv982_philoFSMfsm188_OH_readRV&smv988_philoFSMfsm186_OH_readRV)); -- b
   smv1060_ENCHphiloFSMfsm186_s_FIRE := ((0d15_0=smv910_ENCH_philo4_timer_readRV)&(smv988_philoFSMfsm186_OH_readRV&smv994_philoFSMfsm184_OH_readRV)); -- b
   smv1056_ENCHphiloFSMfsm184_s_FIRE := (smv994_philoFSMfsm184_OH_readRV&smv1000_philoFSMfsm182_OH_readRV); -- b
   smv1052_ENCHphiloFSMfsm182_s_FIRE := (smv1000_philoFSMfsm182_OH_readRV&(smv1006_philoFSMfsm180_OH_readRV&smv904_oBENCH_philo4_gen_gen_RDY)); -- b
   smv1048_ENCHphiloFSMfsm180_s_FIRE := (smv1006_philoFSMfsm180_OH_readRV&smv1012_philoFSMfsm178_OH_readRV); -- b
   smv1044_ENCHphiloFSMfsm178_s_FIRE := (smv68_loBENCH_spoon4_pickup_RDY&(smv1012_philoFSMfsm178_OH_readRV&smv1018_philoFSMfsm176_OH_readRV)); -- b
   smv1040_ENCHphiloFSMfsm176_s_FIRE := ((0d15_0=smv910_ENCH_philo4_timer_readRV)&(smv1018_philoFSMfsm176_OH_readRV&smv1024_philoFSMfsm174_OH_readRV)); -- b
   smv1036_ENCHphiloFSMfsm174_s_FIRE := (smv1024_philoFSMfsm174_OH_readRV&smv1030_philoFSMfsm172_OH_readRV); -- b
   smv1032_ENCHphiloFSMfsm172_s_FIRE := (smv1030_philoFSMfsm172_OH_readRV&(smv904_oBENCH_philo4_gen_gen_RDY&smv914_BENCH_philo4_FSM_start_EN)); -- b
   smv1108_BENCH_philo4_kickoff_FIRE := smv916_ENCH_philo4_FSM_start_RDY; -- b
   smv914_BENCH_philo4_FSM_start_EN := smv1108_BENCH_philo4_kickoff_FIRE; -- b
   smv1008_iloFSMfsm178_OH_write_EN := (smv1046_ENCHphiloFSMfsm178_c_FIRE|smv1044_ENCHphiloFSMfsm178_s_FIRE); -- b
   smv1010_loFSMfsm178_OH_write_Din := bool(case smv1044_ENCHphiloFSMfsm178_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv978_iloFSMfsm188_OH_write_EN := (smv1066_ENCHphiloFSMfsm188_c_FIRE|smv1064_ENCHphiloFSMfsm188_s_FIRE); -- b
   smv980_loFSMfsm188_OH_write_Din := bool(case smv1064_ENCHphiloFSMfsm188_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv942_iloFSMfsm200_OH_write_EN := (smv1090_ENCHphiloFSMfsm200_c_FIRE|smv1088_ENCHphiloFSMfsm200_s_FIRE); -- b
   smv944_loFSMfsm200_OH_write_Din := bool(case smv1088_ENCHphiloFSMfsm200_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv930_iloFSMfsm204_OH_write_EN := (smv1098_ENCHphiloFSMfsm204_c_FIRE|smv1096_ENCHphiloFSMfsm204_s_FIRE); -- b
   smv932_loFSMfsm204_OH_write_Din := bool(case smv1096_ENCHphiloFSMfsm204_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv960_iloFSMfsm194_OH_write_EN := (smv1078_ENCHphiloFSMfsm194_c_FIRE|smv1076_ENCHphiloFSMfsm194_s_FIRE); -- b
   smv962_loFSMfsm194_OH_write_Din := bool(case smv1076_ENCHphiloFSMfsm194_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv990_iloFSMfsm184_OH_write_EN := (smv1058_ENCHphiloFSMfsm184_c_FIRE|smv1056_ENCHphiloFSMfsm184_s_FIRE); -- b
   smv992_loFSMfsm184_OH_write_Din := bool(case smv1056_ENCHphiloFSMfsm184_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv1020_iloFSMfsm174_OH_write_EN := (smv1038_ENCHphiloFSMfsm174_c_FIRE|smv1036_ENCHphiloFSMfsm174_s_FIRE); -- b
   smv1022_loFSMfsm174_OH_write_Din := bool(case smv1036_ENCHphiloFSMfsm174_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv996_iloFSMfsm182_OH_write_EN := (smv1054_ENCHphiloFSMfsm182_c_FIRE|smv1052_ENCHphiloFSMfsm182_s_FIRE); -- b
   smv998_loFSMfsm182_OH_write_Din := bool(case smv1052_ENCHphiloFSMfsm182_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv972_iloFSMfsm190_OH_write_EN := (smv1070_ENCHphiloFSMfsm190_c_FIRE|smv1068_ENCHphiloFSMfsm190_s_FIRE); -- b
   smv974_loFSMfsm190_OH_write_Din := bool(case smv1068_ENCHphiloFSMfsm190_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv948_iloFSMfsm198_OH_write_EN := (smv1086_ENCHphiloFSMfsm198_c_FIRE|smv1084_ENCHphiloFSMfsm198_s_FIRE); -- b
   smv950_loFSMfsm198_OH_write_Din := bool(case smv1084_ENCHphiloFSMfsm198_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv924_iloFSMfsm206_OH_write_EN := (smv1102_ENCHphiloFSMfsm206_c_FIRE|smv1100_ENCHphiloFSMfsm206_s_FIRE); -- b
   smv926_loFSMfsm206_OH_write_Din := bool(case smv1100_ENCHphiloFSMfsm206_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv1014_iloFSMfsm176_OH_write_EN := (smv1042_ENCHphiloFSMfsm176_c_FIRE|smv1040_ENCHphiloFSMfsm176_s_FIRE); -- b
   smv1016_loFSMfsm176_OH_write_Din := bool(case smv1040_ENCHphiloFSMfsm176_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv984_iloFSMfsm186_OH_write_EN := (smv1062_ENCHphiloFSMfsm186_c_FIRE|smv1060_ENCHphiloFSMfsm186_s_FIRE); -- b
   smv986_loFSMfsm186_OH_write_Din := bool(case smv1060_ENCHphiloFSMfsm186_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv954_iloFSMfsm196_OH_write_EN := (smv1082_ENCHphiloFSMfsm196_c_FIRE|smv1080_ENCHphiloFSMfsm196_s_FIRE); -- b
   smv956_loFSMfsm196_OH_write_Din := bool(case smv1080_ENCHphiloFSMfsm196_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv918_iloFSMfsm208_OH_write_EN := (smv1106_ENCHphiloFSMfsm208_c_FIRE|smv1104_ENCHphiloFSMfsm208_s_FIRE); -- b
   smv920_loFSMfsm208_OH_write_Din := bool(case smv1104_ENCHphiloFSMfsm208_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv936_iloFSMfsm202_OH_write_EN := (smv1094_ENCHphiloFSMfsm202_c_FIRE|smv1092_ENCHphiloFSMfsm202_s_FIRE); -- b
   smv938_loFSMfsm202_OH_write_Din := bool(case smv1092_ENCHphiloFSMfsm202_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv966_iloFSMfsm192_OH_write_EN := (smv1074_ENCHphiloFSMfsm192_c_FIRE|smv1072_ENCHphiloFSMfsm192_s_FIRE); -- b
   smv968_loFSMfsm192_OH_write_Din := bool(case smv1072_ENCHphiloFSMfsm192_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv1002_iloFSMfsm180_OH_write_EN := (smv1050_ENCHphiloFSMfsm180_c_FIRE|smv1048_ENCHphiloFSMfsm180_s_FIRE); -- b
   smv1004_loFSMfsm180_OH_write_Din := bool(case smv1048_ENCHphiloFSMfsm180_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv1026_iloFSMfsm172_OH_write_EN := (smv1034_ENCHphiloFSMfsm172_c_FIRE|smv1032_ENCHphiloFSMfsm172_s_FIRE); -- b
   smv1028_loFSMfsm172_OH_write_Din := bool(case smv1032_ENCHphiloFSMfsm172_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv906_CH_philo4_timer_write_EN := (smv1056_ENCHphiloFSMfsm184_s_FIRE|(smv912_hiloBENCH_philo4_foo_FIRE|(smv1076_ENCHphiloFSMfsm194_s_FIRE|smv1036_ENCHphiloFSMfsm174_s_FIRE))); -- b
   smv908_H_philo4_timer_write_Din := case (smv1056_ENCHphiloFSMfsm184_s_FIRE|smv1036_ENCHphiloFSMfsm174_s_FIRE):(0d15_31&smv910_ENCH_philo4_timer_readRV);
    smv1076_ENCHphiloFSMfsm194_s_FIRE:0d15_6;
    TRUE:(-0d15_1+smv910_ENCH_philo4_timer_readRV);
    esac; -- other 
   smv708_BENCH_philo3_FSM_start_EN := smv902_BENCH_philo3_kickoff_FIRE; -- b
   smv802_iloFSMfsm138_OH_write_EN := (smv840_ENCHphiloFSMfsm138_c_FIRE|smv838_ENCHphiloFSMfsm138_s_FIRE); -- b
   smv804_loFSMfsm138_OH_write_Din := bool(case smv838_ENCHphiloFSMfsm138_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv772_iloFSMfsm148_OH_write_EN := (smv860_ENCHphiloFSMfsm148_c_FIRE|smv858_ENCHphiloFSMfsm148_s_FIRE); -- b
   smv774_loFSMfsm148_OH_write_Din := bool(case smv858_ENCHphiloFSMfsm148_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv736_iloFSMfsm160_OH_write_EN := (smv884_ENCHphiloFSMfsm160_c_FIRE|smv882_ENCHphiloFSMfsm160_s_FIRE); -- b
   smv738_loFSMfsm160_OH_write_Din := bool(case smv882_ENCHphiloFSMfsm160_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv724_iloFSMfsm164_OH_write_EN := (smv892_ENCHphiloFSMfsm164_c_FIRE|smv890_ENCHphiloFSMfsm164_s_FIRE); -- b
   smv726_loFSMfsm164_OH_write_Din := bool(case smv890_ENCHphiloFSMfsm164_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv754_iloFSMfsm154_OH_write_EN := (smv872_ENCHphiloFSMfsm154_c_FIRE|smv870_ENCHphiloFSMfsm154_s_FIRE); -- b
   smv756_loFSMfsm154_OH_write_Din := bool(case smv870_ENCHphiloFSMfsm154_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv784_iloFSMfsm144_OH_write_EN := (smv852_ENCHphiloFSMfsm144_c_FIRE|smv850_ENCHphiloFSMfsm144_s_FIRE); -- b
   smv786_loFSMfsm144_OH_write_Din := bool(case smv850_ENCHphiloFSMfsm144_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv814_iloFSMfsm134_OH_write_EN := (smv832_ENCHphiloFSMfsm134_c_FIRE|smv830_ENCHphiloFSMfsm134_s_FIRE); -- b
   smv816_loFSMfsm134_OH_write_Din := bool(case smv830_ENCHphiloFSMfsm134_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv790_iloFSMfsm142_OH_write_EN := (smv848_ENCHphiloFSMfsm142_c_FIRE|smv846_ENCHphiloFSMfsm142_s_FIRE); -- b
   smv792_loFSMfsm142_OH_write_Din := bool(case smv846_ENCHphiloFSMfsm142_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv766_iloFSMfsm150_OH_write_EN := (smv864_ENCHphiloFSMfsm150_c_FIRE|smv862_ENCHphiloFSMfsm150_s_FIRE); -- b
   smv768_loFSMfsm150_OH_write_Din := bool(case smv862_ENCHphiloFSMfsm150_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv742_iloFSMfsm158_OH_write_EN := (smv880_ENCHphiloFSMfsm158_c_FIRE|smv878_ENCHphiloFSMfsm158_s_FIRE); -- b
   smv744_loFSMfsm158_OH_write_Din := bool(case smv878_ENCHphiloFSMfsm158_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv718_iloFSMfsm166_OH_write_EN := (smv896_ENCHphiloFSMfsm166_c_FIRE|smv894_ENCHphiloFSMfsm166_s_FIRE); -- b
   smv720_loFSMfsm166_OH_write_Din := bool(case smv894_ENCHphiloFSMfsm166_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv808_iloFSMfsm136_OH_write_EN := (smv836_ENCHphiloFSMfsm136_c_FIRE|smv834_ENCHphiloFSMfsm136_s_FIRE); -- b
   smv810_loFSMfsm136_OH_write_Din := bool(case smv834_ENCHphiloFSMfsm136_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv778_iloFSMfsm146_OH_write_EN := (smv856_ENCHphiloFSMfsm146_c_FIRE|smv854_ENCHphiloFSMfsm146_s_FIRE); -- b
   smv780_loFSMfsm146_OH_write_Din := bool(case smv854_ENCHphiloFSMfsm146_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv748_iloFSMfsm156_OH_write_EN := (smv876_ENCHphiloFSMfsm156_c_FIRE|smv874_ENCHphiloFSMfsm156_s_FIRE); -- b
   smv750_loFSMfsm156_OH_write_Din := bool(case smv874_ENCHphiloFSMfsm156_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv712_iloFSMfsm168_OH_write_EN := (smv900_ENCHphiloFSMfsm168_c_FIRE|smv898_ENCHphiloFSMfsm168_s_FIRE); -- b
   smv714_loFSMfsm168_OH_write_Din := bool(case smv898_ENCHphiloFSMfsm168_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv730_iloFSMfsm162_OH_write_EN := (smv888_ENCHphiloFSMfsm162_c_FIRE|smv886_ENCHphiloFSMfsm162_s_FIRE); -- b
   smv732_loFSMfsm162_OH_write_Din := bool(case smv886_ENCHphiloFSMfsm162_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv760_iloFSMfsm152_OH_write_EN := (smv868_ENCHphiloFSMfsm152_c_FIRE|smv866_ENCHphiloFSMfsm152_s_FIRE); -- b
   smv762_loFSMfsm152_OH_write_Din := bool(case smv866_ENCHphiloFSMfsm152_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv796_iloFSMfsm140_OH_write_EN := (smv844_ENCHphiloFSMfsm140_c_FIRE|smv842_ENCHphiloFSMfsm140_s_FIRE); -- b
   smv798_loFSMfsm140_OH_write_Din := bool(case smv842_ENCHphiloFSMfsm140_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv820_iloFSMfsm132_OH_write_EN := (smv828_ENCHphiloFSMfsm132_c_FIRE|smv826_ENCHphiloFSMfsm132_s_FIRE); -- b
   smv822_loFSMfsm132_OH_write_Din := bool(case smv826_ENCHphiloFSMfsm132_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv700_CH_philo3_timer_write_EN := (smv850_ENCHphiloFSMfsm144_s_FIRE|(smv706_hiloBENCH_philo3_foo_FIRE|(smv870_ENCHphiloFSMfsm154_s_FIRE|smv830_ENCHphiloFSMfsm134_s_FIRE))); -- b
   smv702_H_philo3_timer_write_Din := case (smv850_ENCHphiloFSMfsm144_s_FIRE|smv830_ENCHphiloFSMfsm134_s_FIRE):(0d15_31&smv704_ENCH_philo3_timer_readRV);
    smv870_ENCHphiloFSMfsm154_s_FIRE:0d15_6;
    TRUE:(-0d15_1+smv704_ENCH_philo3_timer_readRV);
    esac; -- other 
   smv502_BENCH_philo2_FSM_start_EN := smv696_BENCH_philo2_kickoff_FIRE; -- b
   smv596_hiloFSMfsm98_OH_write_EN := (smv634_BENCHphiloFSMfsm98_c_FIRE|smv632_BENCHphiloFSMfsm98_s_FIRE); -- b
   smv598_iloFSMfsm98_OH_write_Din := bool(case smv632_BENCHphiloFSMfsm98_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv566_iloFSMfsm108_OH_write_EN := (smv654_ENCHphiloFSMfsm108_c_FIRE|smv652_ENCHphiloFSMfsm108_s_FIRE); -- b
   smv568_loFSMfsm108_OH_write_Din := bool(case smv652_ENCHphiloFSMfsm108_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv530_iloFSMfsm120_OH_write_EN := (smv678_ENCHphiloFSMfsm120_c_FIRE|smv676_ENCHphiloFSMfsm120_s_FIRE); -- b
   smv532_loFSMfsm120_OH_write_Din := bool(case smv676_ENCHphiloFSMfsm120_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv518_iloFSMfsm124_OH_write_EN := (smv686_ENCHphiloFSMfsm124_c_FIRE|smv684_ENCHphiloFSMfsm124_s_FIRE); -- b
   smv520_loFSMfsm124_OH_write_Din := bool(case smv684_ENCHphiloFSMfsm124_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv548_iloFSMfsm114_OH_write_EN := (smv666_ENCHphiloFSMfsm114_c_FIRE|smv664_ENCHphiloFSMfsm114_s_FIRE); -- b
   smv550_loFSMfsm114_OH_write_Din := bool(case smv664_ENCHphiloFSMfsm114_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv578_iloFSMfsm104_OH_write_EN := (smv646_ENCHphiloFSMfsm104_c_FIRE|smv644_ENCHphiloFSMfsm104_s_FIRE); -- b
   smv580_loFSMfsm104_OH_write_Din := bool(case smv644_ENCHphiloFSMfsm104_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv608_hiloFSMfsm94_OH_write_EN := (smv626_BENCHphiloFSMfsm94_c_FIRE|smv624_BENCHphiloFSMfsm94_s_FIRE); -- b
   smv610_iloFSMfsm94_OH_write_Din := bool(case smv624_BENCHphiloFSMfsm94_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv584_iloFSMfsm102_OH_write_EN := (smv642_ENCHphiloFSMfsm102_c_FIRE|smv640_ENCHphiloFSMfsm102_s_FIRE); -- b
   smv586_loFSMfsm102_OH_write_Din := bool(case smv640_ENCHphiloFSMfsm102_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv560_iloFSMfsm110_OH_write_EN := (smv658_ENCHphiloFSMfsm110_c_FIRE|smv656_ENCHphiloFSMfsm110_s_FIRE); -- b
   smv562_loFSMfsm110_OH_write_Din := bool(case smv656_ENCHphiloFSMfsm110_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv536_iloFSMfsm118_OH_write_EN := (smv674_ENCHphiloFSMfsm118_c_FIRE|smv672_ENCHphiloFSMfsm118_s_FIRE); -- b
   smv538_loFSMfsm118_OH_write_Din := bool(case smv672_ENCHphiloFSMfsm118_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv512_iloFSMfsm126_OH_write_EN := (smv690_ENCHphiloFSMfsm126_c_FIRE|smv688_ENCHphiloFSMfsm126_s_FIRE); -- b
   smv514_loFSMfsm126_OH_write_Din := bool(case smv688_ENCHphiloFSMfsm126_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv602_hiloFSMfsm96_OH_write_EN := (smv630_BENCHphiloFSMfsm96_c_FIRE|smv628_BENCHphiloFSMfsm96_s_FIRE); -- b
   smv604_iloFSMfsm96_OH_write_Din := bool(case smv628_BENCHphiloFSMfsm96_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv572_iloFSMfsm106_OH_write_EN := (smv650_ENCHphiloFSMfsm106_c_FIRE|smv648_ENCHphiloFSMfsm106_s_FIRE); -- b
   smv574_loFSMfsm106_OH_write_Din := bool(case smv648_ENCHphiloFSMfsm106_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv542_iloFSMfsm116_OH_write_EN := (smv670_ENCHphiloFSMfsm116_c_FIRE|smv668_ENCHphiloFSMfsm116_s_FIRE); -- b
   smv544_loFSMfsm116_OH_write_Din := bool(case smv668_ENCHphiloFSMfsm116_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv506_iloFSMfsm128_OH_write_EN := (smv694_ENCHphiloFSMfsm128_c_FIRE|smv692_ENCHphiloFSMfsm128_s_FIRE); -- b
   smv508_loFSMfsm128_OH_write_Din := bool(case smv692_ENCHphiloFSMfsm128_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv524_iloFSMfsm122_OH_write_EN := (smv682_ENCHphiloFSMfsm122_c_FIRE|smv680_ENCHphiloFSMfsm122_s_FIRE); -- b
   smv526_loFSMfsm122_OH_write_Din := bool(case smv680_ENCHphiloFSMfsm122_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv554_iloFSMfsm112_OH_write_EN := (smv662_ENCHphiloFSMfsm112_c_FIRE|smv660_ENCHphiloFSMfsm112_s_FIRE); -- b
   smv556_loFSMfsm112_OH_write_Din := bool(case smv660_ENCHphiloFSMfsm112_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv590_iloFSMfsm100_OH_write_EN := (smv638_ENCHphiloFSMfsm100_c_FIRE|smv636_ENCHphiloFSMfsm100_s_FIRE); -- b
   smv592_loFSMfsm100_OH_write_Din := bool(case smv636_ENCHphiloFSMfsm100_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv614_hiloFSMfsm92_OH_write_EN := (smv622_BENCHphiloFSMfsm92_c_FIRE|smv620_BENCHphiloFSMfsm92_s_FIRE); -- b
   smv616_iloFSMfsm92_OH_write_Din := bool(case smv620_BENCHphiloFSMfsm92_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv494_CH_philo2_timer_write_EN := (smv644_ENCHphiloFSMfsm104_s_FIRE|(smv500_hiloBENCH_philo2_foo_FIRE|(smv664_ENCHphiloFSMfsm114_s_FIRE|smv624_BENCHphiloFSMfsm94_s_FIRE))); -- b
   smv496_H_philo2_timer_write_Din := case (smv644_ENCHphiloFSMfsm104_s_FIRE|smv624_BENCHphiloFSMfsm94_s_FIRE):(0d15_31&smv498_ENCH_philo2_timer_readRV);
    smv664_ENCHphiloFSMfsm114_s_FIRE:0d15_9;
    TRUE:(-0d15_1+smv498_ENCH_philo2_timer_readRV);
    esac; -- other 
   smv296_BENCH_philo1_FSM_start_EN := smv490_BENCH_philo1_kickoff_FIRE; -- b
   smv390_hiloFSMfsm58_OH_write_EN := (smv428_BENCHphiloFSMfsm58_c_FIRE|smv426_BENCHphiloFSMfsm58_s_FIRE); -- b
   smv392_iloFSMfsm58_OH_write_Din := bool(case smv426_BENCHphiloFSMfsm58_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv360_hiloFSMfsm68_OH_write_EN := (smv448_BENCHphiloFSMfsm68_c_FIRE|smv446_BENCHphiloFSMfsm68_s_FIRE); -- b
   smv362_iloFSMfsm68_OH_write_Din := bool(case smv446_BENCHphiloFSMfsm68_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv324_hiloFSMfsm80_OH_write_EN := (smv472_BENCHphiloFSMfsm80_c_FIRE|smv470_BENCHphiloFSMfsm80_s_FIRE); -- b
   smv326_iloFSMfsm80_OH_write_Din := bool(case smv470_BENCHphiloFSMfsm80_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv312_hiloFSMfsm84_OH_write_EN := (smv480_BENCHphiloFSMfsm84_c_FIRE|smv478_BENCHphiloFSMfsm84_s_FIRE); -- b
   smv314_iloFSMfsm84_OH_write_Din := bool(case smv478_BENCHphiloFSMfsm84_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv342_hiloFSMfsm74_OH_write_EN := (smv460_BENCHphiloFSMfsm74_c_FIRE|smv458_BENCHphiloFSMfsm74_s_FIRE); -- b
   smv344_iloFSMfsm74_OH_write_Din := bool(case smv458_BENCHphiloFSMfsm74_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv372_hiloFSMfsm64_OH_write_EN := (smv440_BENCHphiloFSMfsm64_c_FIRE|smv438_BENCHphiloFSMfsm64_s_FIRE); -- b
   smv374_iloFSMfsm64_OH_write_Din := bool(case smv438_BENCHphiloFSMfsm64_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv402_hiloFSMfsm54_OH_write_EN := (smv420_BENCHphiloFSMfsm54_c_FIRE|smv418_BENCHphiloFSMfsm54_s_FIRE); -- b
   smv404_iloFSMfsm54_OH_write_Din := bool(case smv418_BENCHphiloFSMfsm54_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv378_hiloFSMfsm62_OH_write_EN := (smv436_BENCHphiloFSMfsm62_c_FIRE|smv434_BENCHphiloFSMfsm62_s_FIRE); -- b
   smv380_iloFSMfsm62_OH_write_Din := bool(case smv434_BENCHphiloFSMfsm62_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv354_hiloFSMfsm70_OH_write_EN := (smv452_BENCHphiloFSMfsm70_c_FIRE|smv450_BENCHphiloFSMfsm70_s_FIRE); -- b
   smv356_iloFSMfsm70_OH_write_Din := bool(case smv450_BENCHphiloFSMfsm70_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv330_hiloFSMfsm78_OH_write_EN := (smv468_BENCHphiloFSMfsm78_c_FIRE|smv466_BENCHphiloFSMfsm78_s_FIRE); -- b
   smv332_iloFSMfsm78_OH_write_Din := bool(case smv466_BENCHphiloFSMfsm78_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv306_hiloFSMfsm86_OH_write_EN := (smv484_BENCHphiloFSMfsm86_c_FIRE|smv482_BENCHphiloFSMfsm86_s_FIRE); -- b
   smv308_iloFSMfsm86_OH_write_Din := bool(case smv482_BENCHphiloFSMfsm86_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv396_hiloFSMfsm56_OH_write_EN := (smv424_BENCHphiloFSMfsm56_c_FIRE|smv422_BENCHphiloFSMfsm56_s_FIRE); -- b
   smv398_iloFSMfsm56_OH_write_Din := bool(case smv422_BENCHphiloFSMfsm56_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv366_hiloFSMfsm66_OH_write_EN := (smv444_BENCHphiloFSMfsm66_c_FIRE|smv442_BENCHphiloFSMfsm66_s_FIRE); -- b
   smv368_iloFSMfsm66_OH_write_Din := bool(case smv442_BENCHphiloFSMfsm66_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv336_hiloFSMfsm76_OH_write_EN := (smv464_BENCHphiloFSMfsm76_c_FIRE|smv462_BENCHphiloFSMfsm76_s_FIRE); -- b
   smv338_iloFSMfsm76_OH_write_Din := bool(case smv462_BENCHphiloFSMfsm76_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv300_hiloFSMfsm88_OH_write_EN := (smv488_BENCHphiloFSMfsm88_c_FIRE|smv486_BENCHphiloFSMfsm88_s_FIRE); -- b
   smv302_iloFSMfsm88_OH_write_Din := bool(case smv486_BENCHphiloFSMfsm88_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv318_hiloFSMfsm82_OH_write_EN := (smv476_BENCHphiloFSMfsm82_c_FIRE|smv474_BENCHphiloFSMfsm82_s_FIRE); -- b
   smv320_iloFSMfsm82_OH_write_Din := bool(case smv474_BENCHphiloFSMfsm82_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv348_hiloFSMfsm72_OH_write_EN := (smv456_BENCHphiloFSMfsm72_c_FIRE|smv454_BENCHphiloFSMfsm72_s_FIRE); -- b
   smv350_iloFSMfsm72_OH_write_Din := bool(case smv454_BENCHphiloFSMfsm72_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv384_hiloFSMfsm60_OH_write_EN := (smv432_BENCHphiloFSMfsm60_c_FIRE|smv430_BENCHphiloFSMfsm60_s_FIRE); -- b
   smv386_iloFSMfsm60_OH_write_Din := bool(case smv430_BENCHphiloFSMfsm60_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv408_hiloFSMfsm52_OH_write_EN := (smv416_BENCHphiloFSMfsm52_c_FIRE|smv414_BENCHphiloFSMfsm52_s_FIRE); -- b
   smv410_iloFSMfsm52_OH_write_Din := bool(case smv414_BENCHphiloFSMfsm52_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv288_CH_philo1_timer_write_EN := (smv438_BENCHphiloFSMfsm64_s_FIRE|(smv294_hiloBENCH_philo1_foo_FIRE|(smv458_BENCHphiloFSMfsm74_s_FIRE|smv418_BENCHphiloFSMfsm54_s_FIRE))); -- b
   smv290_H_philo1_timer_write_Din := case (smv438_BENCHphiloFSMfsm64_s_FIRE|smv418_BENCHphiloFSMfsm54_s_FIRE):(0d15_31&smv292_ENCH_philo1_timer_readRV);
    smv458_BENCHphiloFSMfsm74_s_FIRE:0d15_4;
    TRUE:(-0d15_1+smv292_ENCH_philo1_timer_readRV);
    esac; -- other 
   smv90_BENCH_philo0_FSM_start_EN := smv284_BENCH_philo0_kickoff_FIRE; -- b
   smv184_hiloFSMfsm18_OH_write_EN := (smv222_BENCHphiloFSMfsm18_c_FIRE|smv220_BENCHphiloFSMfsm18_s_FIRE); -- b
   smv186_iloFSMfsm18_OH_write_Din := bool(case smv220_BENCHphiloFSMfsm18_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv154_hiloFSMfsm28_OH_write_EN := (smv242_BENCHphiloFSMfsm28_c_FIRE|smv240_BENCHphiloFSMfsm28_s_FIRE); -- b
   smv156_iloFSMfsm28_OH_write_Din := bool(case smv240_BENCHphiloFSMfsm28_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv118_hiloFSMfsm40_OH_write_EN := (smv266_BENCHphiloFSMfsm40_c_FIRE|smv264_BENCHphiloFSMfsm40_s_FIRE); -- b
   smv120_iloFSMfsm40_OH_write_Din := bool(case smv264_BENCHphiloFSMfsm40_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv106_hiloFSMfsm44_OH_write_EN := (smv274_BENCHphiloFSMfsm44_c_FIRE|smv272_BENCHphiloFSMfsm44_s_FIRE); -- b
   smv108_iloFSMfsm44_OH_write_Din := bool(case smv272_BENCHphiloFSMfsm44_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv136_hiloFSMfsm34_OH_write_EN := (smv254_BENCHphiloFSMfsm34_c_FIRE|smv252_BENCHphiloFSMfsm34_s_FIRE); -- b
   smv138_iloFSMfsm34_OH_write_Din := bool(case smv252_BENCHphiloFSMfsm34_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv166_hiloFSMfsm24_OH_write_EN := (smv234_BENCHphiloFSMfsm24_c_FIRE|smv232_BENCHphiloFSMfsm24_s_FIRE); -- b
   smv168_iloFSMfsm24_OH_write_Din := bool(case smv232_BENCHphiloFSMfsm24_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv196_hiloFSMfsm14_OH_write_EN := (smv214_BENCHphiloFSMfsm14_c_FIRE|smv212_BENCHphiloFSMfsm14_s_FIRE); -- b
   smv198_iloFSMfsm14_OH_write_Din := bool(case smv212_BENCHphiloFSMfsm14_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv172_hiloFSMfsm22_OH_write_EN := (smv230_BENCHphiloFSMfsm22_c_FIRE|smv228_BENCHphiloFSMfsm22_s_FIRE); -- b
   smv174_iloFSMfsm22_OH_write_Din := bool(case smv228_BENCHphiloFSMfsm22_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv148_hiloFSMfsm30_OH_write_EN := (smv246_BENCHphiloFSMfsm30_c_FIRE|smv244_BENCHphiloFSMfsm30_s_FIRE); -- b
   smv150_iloFSMfsm30_OH_write_Din := bool(case smv244_BENCHphiloFSMfsm30_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv124_hiloFSMfsm38_OH_write_EN := (smv262_BENCHphiloFSMfsm38_c_FIRE|smv260_BENCHphiloFSMfsm38_s_FIRE); -- b
   smv126_iloFSMfsm38_OH_write_Din := bool(case smv260_BENCHphiloFSMfsm38_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv100_hiloFSMfsm46_OH_write_EN := (smv278_BENCHphiloFSMfsm46_c_FIRE|smv276_BENCHphiloFSMfsm46_s_FIRE); -- b
   smv102_iloFSMfsm46_OH_write_Din := bool(case smv276_BENCHphiloFSMfsm46_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv190_hiloFSMfsm16_OH_write_EN := (smv218_BENCHphiloFSMfsm16_c_FIRE|smv216_BENCHphiloFSMfsm16_s_FIRE); -- b
   smv192_iloFSMfsm16_OH_write_Din := bool(case smv216_BENCHphiloFSMfsm16_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv160_hiloFSMfsm26_OH_write_EN := (smv238_BENCHphiloFSMfsm26_c_FIRE|smv236_BENCHphiloFSMfsm26_s_FIRE); -- b
   smv162_iloFSMfsm26_OH_write_Din := bool(case smv236_BENCHphiloFSMfsm26_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv130_hiloFSMfsm36_OH_write_EN := (smv258_BENCHphiloFSMfsm36_c_FIRE|smv256_BENCHphiloFSMfsm36_s_FIRE); -- b
   smv132_iloFSMfsm36_OH_write_Din := bool(case smv256_BENCHphiloFSMfsm36_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv94_hiloFSMfsm48_OH_write_EN := (smv282_BENCHphiloFSMfsm48_c_FIRE|smv280_BENCHphiloFSMfsm48_s_FIRE); -- b
   smv96_iloFSMfsm48_OH_write_Din := bool(case smv280_BENCHphiloFSMfsm48_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv112_hiloFSMfsm42_OH_write_EN := (smv270_BENCHphiloFSMfsm42_c_FIRE|smv268_BENCHphiloFSMfsm42_s_FIRE); -- b
   smv114_iloFSMfsm42_OH_write_Din := bool(case smv268_BENCHphiloFSMfsm42_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv142_hiloFSMfsm32_OH_write_EN := (smv250_BENCHphiloFSMfsm32_c_FIRE|smv248_BENCHphiloFSMfsm32_s_FIRE); -- b
   smv144_iloFSMfsm32_OH_write_Din := bool(case smv248_BENCHphiloFSMfsm32_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv178_hiloFSMfsm20_OH_write_EN := (smv226_BENCHphiloFSMfsm20_c_FIRE|smv224_BENCHphiloFSMfsm20_s_FIRE); -- b
   smv180_iloFSMfsm20_OH_write_Din := bool(case smv224_BENCHphiloFSMfsm20_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv202_hiloFSMfsm12_OH_write_EN := (smv210_BENCHphiloFSMfsm12_c_FIRE|smv208_BENCHphiloFSMfsm12_s_FIRE); -- b
   smv204_iloFSMfsm12_OH_write_Din := bool(case smv208_BENCHphiloFSMfsm12_s_FIRE:0d1_1;
    TRUE:0d1_0;
    esac); -- b
   smv82_CH_philo0_timer_write_EN := (smv232_BENCHphiloFSMfsm24_s_FIRE|(smv88_hiloBENCH_philo0_foo_FIRE|(smv252_BENCHphiloFSMfsm34_s_FIRE|smv212_BENCHphiloFSMfsm14_s_FIRE))); -- b
   smv84_H_philo0_timer_write_Din := case (smv232_BENCHphiloFSMfsm24_s_FIRE|smv212_BENCHphiloFSMfsm14_s_FIRE):(0d15_31&smv86_ENCH_philo0_timer_readRV);
    smv252_BENCHphiloFSMfsm34_s_FIRE:0d15_7;
    TRUE:(-0d15_1+smv86_ENCH_philo0_timer_readRV);
    esac; -- other 
   smv74_CH_spoon4_inuse_write_EN := (smv66_iloBENCH_spoon4_pickup_EN|smv70_loBENCH_spoon4_putdown_EN); -- b
   smv76_H_spoon4_inuse_write_Din := bool(case smv70_loBENCH_spoon4_putdown_EN:0d1_0;
    TRUE:0d1_1;
    esac); -- b
   smv66_iloBENCH_spoon4_pickup_EN := (smv858_ENCHphiloFSMfsm148_s_FIRE|smv1044_ENCHphiloFSMfsm178_s_FIRE); -- b
   smv70_loBENCH_spoon4_putdown_EN := (smv894_ENCHphiloFSMfsm166_s_FIRE|smv1092_ENCHphiloFSMfsm202_s_FIRE); -- b
   smv60_CH_spoon3_inuse_write_EN := (smv52_iloBENCH_spoon3_pickup_EN|smv56_loBENCH_spoon3_putdown_EN); -- b
   smv62_H_spoon3_inuse_write_Din := bool(case smv56_loBENCH_spoon3_putdown_EN:0d1_0;
    TRUE:0d1_1;
    esac); -- b
   smv52_iloBENCH_spoon3_pickup_EN := (smv632_BENCHphiloFSMfsm98_s_FIRE|smv838_ENCHphiloFSMfsm138_s_FIRE); -- b
   smv56_loBENCH_spoon3_putdown_EN := (smv680_ENCHphiloFSMfsm122_s_FIRE|smv886_ENCHphiloFSMfsm162_s_FIRE); -- b
   smv46_CH_spoon2_inuse_write_EN := (smv38_iloBENCH_spoon2_pickup_EN|smv42_loBENCH_spoon2_putdown_EN); -- b
   smv48_H_spoon2_inuse_write_Din := bool(case smv42_loBENCH_spoon2_putdown_EN:0d1_0;
    TRUE:0d1_1;
    esac); -- b
   smv38_iloBENCH_spoon2_pickup_EN := (smv446_BENCHphiloFSMfsm68_s_FIRE|smv652_ENCHphiloFSMfsm108_s_FIRE); -- b
   smv42_loBENCH_spoon2_putdown_EN := (smv482_BENCHphiloFSMfsm86_s_FIRE|smv688_ENCHphiloFSMfsm126_s_FIRE); -- b
   smv32_CH_spoon1_inuse_write_EN := (smv24_iloBENCH_spoon1_pickup_EN|smv28_loBENCH_spoon1_putdown_EN); -- b
   smv34_H_spoon1_inuse_write_Din := bool(case smv28_loBENCH_spoon1_putdown_EN:0d1_0;
    TRUE:0d1_1;
    esac); -- b
   smv24_iloBENCH_spoon1_pickup_EN := (smv240_BENCHphiloFSMfsm28_s_FIRE|smv426_BENCHphiloFSMfsm58_s_FIRE); -- b
   smv28_loBENCH_spoon1_putdown_EN := (smv276_BENCHphiloFSMfsm46_s_FIRE|smv474_BENCHphiloFSMfsm82_s_FIRE); -- b
   smv18_CH_spoon0_inuse_write_EN := (smv10_iloBENCH_spoon0_pickup_EN|smv14_loBENCH_spoon0_putdown_EN); -- b
   smv20_H_spoon0_inuse_write_Din := bool(case smv14_loBENCH_spoon0_putdown_EN:0d1_0;
    TRUE:0d1_1;
    esac); -- b
   smv10_iloBENCH_spoon0_pickup_EN := (smv220_BENCHphiloFSMfsm18_s_FIRE|smv1064_ENCHphiloFSMfsm188_s_FIRE); -- b
   smv14_loBENCH_spoon0_putdown_EN := (smv268_BENCHphiloFSMfsm42_s_FIRE|smv1100_ENCHphiloFSMfsm206_s_FIRE); -- b
   RST_N := SMV_RESET_GENERATOR; -- b

ASSIGN
  next(smv22_ENCH_spoon0_inuse_readRV) := case (RST_N|smv18_CH_spoon0_inuse_write_EN):(RST_N&smv20_H_spoon0_inuse_write_Din);
    TRUE:smv22_ENCH_spoon0_inuse_readRV;
    esac; -- b nxt
  next(smv36_ENCH_spoon1_inuse_readRV) := case (RST_N|smv32_CH_spoon1_inuse_write_EN):(RST_N&smv34_H_spoon1_inuse_write_Din);
    TRUE:smv36_ENCH_spoon1_inuse_readRV;
    esac; -- b nxt
  next(smv50_ENCH_spoon2_inuse_readRV) := case (RST_N|smv46_CH_spoon2_inuse_write_EN):(RST_N&smv48_H_spoon2_inuse_write_Din);
    TRUE:smv50_ENCH_spoon2_inuse_readRV;
    esac; -- b nxt
  next(smv64_ENCH_spoon3_inuse_readRV) := case (RST_N|smv60_CH_spoon3_inuse_write_EN):(RST_N&smv62_H_spoon3_inuse_write_Din);
    TRUE:smv64_ENCH_spoon3_inuse_readRV;
    esac; -- b nxt
  next(smv78_ENCH_spoon4_inuse_readRV) := case (RST_N|smv74_CH_spoon4_inuse_write_EN):(RST_N&smv76_H_spoon4_inuse_write_Din);
    TRUE:smv78_ENCH_spoon4_inuse_readRV;
    esac; -- b nxt
   next(smv86_ENCH_philo0_timer_readRV) := case (RST_N|smv82_CH_philo0_timer_write_EN):case RST_N:smv84_H_philo0_timer_write_Din;
    TRUE:0d15_0;
    esac;
    TRUE:smv86_ENCH_philo0_timer_readRV;
    esac; -- other 
  next(smv98_HphiloFSMfsm48_OH_readRV) := case (RST_N|smv94_hiloFSMfsm48_OH_write_EN):(RST_N&smv96_iloFSMfsm48_OH_write_Din);
    TRUE:smv98_HphiloFSMfsm48_OH_readRV;
    esac; -- b nxt
  next(smv104_HphiloFSMfsm46_OH_readRV) := case (RST_N|smv100_hiloFSMfsm46_OH_write_EN):(RST_N&smv102_iloFSMfsm46_OH_write_Din);
    TRUE:smv104_HphiloFSMfsm46_OH_readRV;
    esac; -- b nxt
  next(smv110_HphiloFSMfsm44_OH_readRV) := case (RST_N|smv106_hiloFSMfsm44_OH_write_EN):(RST_N&smv108_iloFSMfsm44_OH_write_Din);
    TRUE:smv110_HphiloFSMfsm44_OH_readRV;
    esac; -- b nxt
  next(smv116_HphiloFSMfsm42_OH_readRV) := case (RST_N|smv112_hiloFSMfsm42_OH_write_EN):(RST_N&smv114_iloFSMfsm42_OH_write_Din);
    TRUE:smv116_HphiloFSMfsm42_OH_readRV;
    esac; -- b nxt
  next(smv122_HphiloFSMfsm40_OH_readRV) := case (RST_N|smv118_hiloFSMfsm40_OH_write_EN):(RST_N&smv120_iloFSMfsm40_OH_write_Din);
    TRUE:smv122_HphiloFSMfsm40_OH_readRV;
    esac; -- b nxt
  next(smv128_HphiloFSMfsm38_OH_readRV) := case (RST_N|smv124_hiloFSMfsm38_OH_write_EN):(RST_N&smv126_iloFSMfsm38_OH_write_Din);
    TRUE:smv128_HphiloFSMfsm38_OH_readRV;
    esac; -- b nxt
  next(smv134_HphiloFSMfsm36_OH_readRV) := case (RST_N|smv130_hiloFSMfsm36_OH_write_EN):(RST_N&smv132_iloFSMfsm36_OH_write_Din);
    TRUE:smv134_HphiloFSMfsm36_OH_readRV;
    esac; -- b nxt
  next(smv140_HphiloFSMfsm34_OH_readRV) := case (RST_N|smv136_hiloFSMfsm34_OH_write_EN):(RST_N&smv138_iloFSMfsm34_OH_write_Din);
    TRUE:smv140_HphiloFSMfsm34_OH_readRV;
    esac; -- b nxt
  next(smv146_HphiloFSMfsm32_OH_readRV) := case (RST_N|smv142_hiloFSMfsm32_OH_write_EN):(RST_N&smv144_iloFSMfsm32_OH_write_Din);
    TRUE:smv146_HphiloFSMfsm32_OH_readRV;
    esac; -- b nxt
  next(smv152_HphiloFSMfsm30_OH_readRV) := case (RST_N|smv148_hiloFSMfsm30_OH_write_EN):(RST_N&smv150_iloFSMfsm30_OH_write_Din);
    TRUE:smv152_HphiloFSMfsm30_OH_readRV;
    esac; -- b nxt
  next(smv158_HphiloFSMfsm28_OH_readRV) := case (RST_N|smv154_hiloFSMfsm28_OH_write_EN):(RST_N&smv156_iloFSMfsm28_OH_write_Din);
    TRUE:smv158_HphiloFSMfsm28_OH_readRV;
    esac; -- b nxt
  next(smv164_HphiloFSMfsm26_OH_readRV) := case (RST_N|smv160_hiloFSMfsm26_OH_write_EN):(RST_N&smv162_iloFSMfsm26_OH_write_Din);
    TRUE:smv164_HphiloFSMfsm26_OH_readRV;
    esac; -- b nxt
  next(smv170_HphiloFSMfsm24_OH_readRV) := case (RST_N|smv166_hiloFSMfsm24_OH_write_EN):(RST_N&smv168_iloFSMfsm24_OH_write_Din);
    TRUE:smv170_HphiloFSMfsm24_OH_readRV;
    esac; -- b nxt
  next(smv176_HphiloFSMfsm22_OH_readRV) := case (RST_N|smv172_hiloFSMfsm22_OH_write_EN):(RST_N&smv174_iloFSMfsm22_OH_write_Din);
    TRUE:smv176_HphiloFSMfsm22_OH_readRV;
    esac; -- b nxt
  next(smv182_HphiloFSMfsm20_OH_readRV) := case (RST_N|smv178_hiloFSMfsm20_OH_write_EN):(RST_N&smv180_iloFSMfsm20_OH_write_Din);
    TRUE:smv182_HphiloFSMfsm20_OH_readRV;
    esac; -- b nxt
  next(smv188_HphiloFSMfsm18_OH_readRV) := case (RST_N|smv184_hiloFSMfsm18_OH_write_EN):(RST_N&smv186_iloFSMfsm18_OH_write_Din);
    TRUE:smv188_HphiloFSMfsm18_OH_readRV;
    esac; -- b nxt
  next(smv194_HphiloFSMfsm16_OH_readRV) := case (RST_N|smv190_hiloFSMfsm16_OH_write_EN):(RST_N&smv192_iloFSMfsm16_OH_write_Din);
    TRUE:smv194_HphiloFSMfsm16_OH_readRV;
    esac; -- b nxt
  next(smv200_HphiloFSMfsm14_OH_readRV) := case (RST_N|smv196_hiloFSMfsm14_OH_write_EN):(RST_N&smv198_iloFSMfsm14_OH_write_Din);
    TRUE:smv200_HphiloFSMfsm14_OH_readRV;
    esac; -- b nxt
  next(smv206_HphiloFSMfsm12_OH_readRV) := case (RST_N|smv202_hiloFSMfsm12_OH_write_EN):(RST_N&smv204_iloFSMfsm12_OH_write_Din);
    TRUE:smv206_HphiloFSMfsm12_OH_readRV;
    esac; -- b nxt
   next(smv292_ENCH_philo1_timer_readRV) := case (RST_N|smv288_CH_philo1_timer_write_EN):case RST_N:smv290_H_philo1_timer_write_Din;
    TRUE:0d15_0;
    esac;
    TRUE:smv292_ENCH_philo1_timer_readRV;
    esac; -- other 
  next(smv304_HphiloFSMfsm88_OH_readRV) := case (RST_N|smv300_hiloFSMfsm88_OH_write_EN):(RST_N&smv302_iloFSMfsm88_OH_write_Din);
    TRUE:smv304_HphiloFSMfsm88_OH_readRV;
    esac; -- b nxt
  next(smv310_HphiloFSMfsm86_OH_readRV) := case (RST_N|smv306_hiloFSMfsm86_OH_write_EN):(RST_N&smv308_iloFSMfsm86_OH_write_Din);
    TRUE:smv310_HphiloFSMfsm86_OH_readRV;
    esac; -- b nxt
  next(smv316_HphiloFSMfsm84_OH_readRV) := case (RST_N|smv312_hiloFSMfsm84_OH_write_EN):(RST_N&smv314_iloFSMfsm84_OH_write_Din);
    TRUE:smv316_HphiloFSMfsm84_OH_readRV;
    esac; -- b nxt
  next(smv322_HphiloFSMfsm82_OH_readRV) := case (RST_N|smv318_hiloFSMfsm82_OH_write_EN):(RST_N&smv320_iloFSMfsm82_OH_write_Din);
    TRUE:smv322_HphiloFSMfsm82_OH_readRV;
    esac; -- b nxt
  next(smv328_HphiloFSMfsm80_OH_readRV) := case (RST_N|smv324_hiloFSMfsm80_OH_write_EN):(RST_N&smv326_iloFSMfsm80_OH_write_Din);
    TRUE:smv328_HphiloFSMfsm80_OH_readRV;
    esac; -- b nxt
  next(smv334_HphiloFSMfsm78_OH_readRV) := case (RST_N|smv330_hiloFSMfsm78_OH_write_EN):(RST_N&smv332_iloFSMfsm78_OH_write_Din);
    TRUE:smv334_HphiloFSMfsm78_OH_readRV;
    esac; -- b nxt
  next(smv340_HphiloFSMfsm76_OH_readRV) := case (RST_N|smv336_hiloFSMfsm76_OH_write_EN):(RST_N&smv338_iloFSMfsm76_OH_write_Din);
    TRUE:smv340_HphiloFSMfsm76_OH_readRV;
    esac; -- b nxt
  next(smv346_HphiloFSMfsm74_OH_readRV) := case (RST_N|smv342_hiloFSMfsm74_OH_write_EN):(RST_N&smv344_iloFSMfsm74_OH_write_Din);
    TRUE:smv346_HphiloFSMfsm74_OH_readRV;
    esac; -- b nxt
  next(smv352_HphiloFSMfsm72_OH_readRV) := case (RST_N|smv348_hiloFSMfsm72_OH_write_EN):(RST_N&smv350_iloFSMfsm72_OH_write_Din);
    TRUE:smv352_HphiloFSMfsm72_OH_readRV;
    esac; -- b nxt
  next(smv358_HphiloFSMfsm70_OH_readRV) := case (RST_N|smv354_hiloFSMfsm70_OH_write_EN):(RST_N&smv356_iloFSMfsm70_OH_write_Din);
    TRUE:smv358_HphiloFSMfsm70_OH_readRV;
    esac; -- b nxt
  next(smv364_HphiloFSMfsm68_OH_readRV) := case (RST_N|smv360_hiloFSMfsm68_OH_write_EN):(RST_N&smv362_iloFSMfsm68_OH_write_Din);
    TRUE:smv364_HphiloFSMfsm68_OH_readRV;
    esac; -- b nxt
  next(smv370_HphiloFSMfsm66_OH_readRV) := case (RST_N|smv366_hiloFSMfsm66_OH_write_EN):(RST_N&smv368_iloFSMfsm66_OH_write_Din);
    TRUE:smv370_HphiloFSMfsm66_OH_readRV;
    esac; -- b nxt
  next(smv376_HphiloFSMfsm64_OH_readRV) := case (RST_N|smv372_hiloFSMfsm64_OH_write_EN):(RST_N&smv374_iloFSMfsm64_OH_write_Din);
    TRUE:smv376_HphiloFSMfsm64_OH_readRV;
    esac; -- b nxt
  next(smv382_HphiloFSMfsm62_OH_readRV) := case (RST_N|smv378_hiloFSMfsm62_OH_write_EN):(RST_N&smv380_iloFSMfsm62_OH_write_Din);
    TRUE:smv382_HphiloFSMfsm62_OH_readRV;
    esac; -- b nxt
  next(smv388_HphiloFSMfsm60_OH_readRV) := case (RST_N|smv384_hiloFSMfsm60_OH_write_EN):(RST_N&smv386_iloFSMfsm60_OH_write_Din);
    TRUE:smv388_HphiloFSMfsm60_OH_readRV;
    esac; -- b nxt
  next(smv394_HphiloFSMfsm58_OH_readRV) := case (RST_N|smv390_hiloFSMfsm58_OH_write_EN):(RST_N&smv392_iloFSMfsm58_OH_write_Din);
    TRUE:smv394_HphiloFSMfsm58_OH_readRV;
    esac; -- b nxt
  next(smv400_HphiloFSMfsm56_OH_readRV) := case (RST_N|smv396_hiloFSMfsm56_OH_write_EN):(RST_N&smv398_iloFSMfsm56_OH_write_Din);
    TRUE:smv400_HphiloFSMfsm56_OH_readRV;
    esac; -- b nxt
  next(smv406_HphiloFSMfsm54_OH_readRV) := case (RST_N|smv402_hiloFSMfsm54_OH_write_EN):(RST_N&smv404_iloFSMfsm54_OH_write_Din);
    TRUE:smv406_HphiloFSMfsm54_OH_readRV;
    esac; -- b nxt
  next(smv412_HphiloFSMfsm52_OH_readRV) := case (RST_N|smv408_hiloFSMfsm52_OH_write_EN):(RST_N&smv410_iloFSMfsm52_OH_write_Din);
    TRUE:smv412_HphiloFSMfsm52_OH_readRV;
    esac; -- b nxt
   next(smv498_ENCH_philo2_timer_readRV) := case (RST_N|smv494_CH_philo2_timer_write_EN):case RST_N:smv496_H_philo2_timer_write_Din;
    TRUE:0d15_0;
    esac;
    TRUE:smv498_ENCH_philo2_timer_readRV;
    esac; -- other 
  next(smv510_philoFSMfsm128_OH_readRV) := case (RST_N|smv506_iloFSMfsm128_OH_write_EN):(RST_N&smv508_loFSMfsm128_OH_write_Din);
    TRUE:smv510_philoFSMfsm128_OH_readRV;
    esac; -- b nxt
  next(smv516_philoFSMfsm126_OH_readRV) := case (RST_N|smv512_iloFSMfsm126_OH_write_EN):(RST_N&smv514_loFSMfsm126_OH_write_Din);
    TRUE:smv516_philoFSMfsm126_OH_readRV;
    esac; -- b nxt
  next(smv522_philoFSMfsm124_OH_readRV) := case (RST_N|smv518_iloFSMfsm124_OH_write_EN):(RST_N&smv520_loFSMfsm124_OH_write_Din);
    TRUE:smv522_philoFSMfsm124_OH_readRV;
    esac; -- b nxt
  next(smv528_philoFSMfsm122_OH_readRV) := case (RST_N|smv524_iloFSMfsm122_OH_write_EN):(RST_N&smv526_loFSMfsm122_OH_write_Din);
    TRUE:smv528_philoFSMfsm122_OH_readRV;
    esac; -- b nxt
  next(smv534_philoFSMfsm120_OH_readRV) := case (RST_N|smv530_iloFSMfsm120_OH_write_EN):(RST_N&smv532_loFSMfsm120_OH_write_Din);
    TRUE:smv534_philoFSMfsm120_OH_readRV;
    esac; -- b nxt
  next(smv540_philoFSMfsm118_OH_readRV) := case (RST_N|smv536_iloFSMfsm118_OH_write_EN):(RST_N&smv538_loFSMfsm118_OH_write_Din);
    TRUE:smv540_philoFSMfsm118_OH_readRV;
    esac; -- b nxt
  next(smv546_philoFSMfsm116_OH_readRV) := case (RST_N|smv542_iloFSMfsm116_OH_write_EN):(RST_N&smv544_loFSMfsm116_OH_write_Din);
    TRUE:smv546_philoFSMfsm116_OH_readRV;
    esac; -- b nxt
  next(smv552_philoFSMfsm114_OH_readRV) := case (RST_N|smv548_iloFSMfsm114_OH_write_EN):(RST_N&smv550_loFSMfsm114_OH_write_Din);
    TRUE:smv552_philoFSMfsm114_OH_readRV;
    esac; -- b nxt
  next(smv558_philoFSMfsm112_OH_readRV) := case (RST_N|smv554_iloFSMfsm112_OH_write_EN):(RST_N&smv556_loFSMfsm112_OH_write_Din);
    TRUE:smv558_philoFSMfsm112_OH_readRV;
    esac; -- b nxt
  next(smv564_philoFSMfsm110_OH_readRV) := case (RST_N|smv560_iloFSMfsm110_OH_write_EN):(RST_N&smv562_loFSMfsm110_OH_write_Din);
    TRUE:smv564_philoFSMfsm110_OH_readRV;
    esac; -- b nxt
  next(smv570_philoFSMfsm108_OH_readRV) := case (RST_N|smv566_iloFSMfsm108_OH_write_EN):(RST_N&smv568_loFSMfsm108_OH_write_Din);
    TRUE:smv570_philoFSMfsm108_OH_readRV;
    esac; -- b nxt
  next(smv576_philoFSMfsm106_OH_readRV) := case (RST_N|smv572_iloFSMfsm106_OH_write_EN):(RST_N&smv574_loFSMfsm106_OH_write_Din);
    TRUE:smv576_philoFSMfsm106_OH_readRV;
    esac; -- b nxt
  next(smv582_philoFSMfsm104_OH_readRV) := case (RST_N|smv578_iloFSMfsm104_OH_write_EN):(RST_N&smv580_loFSMfsm104_OH_write_Din);
    TRUE:smv582_philoFSMfsm104_OH_readRV;
    esac; -- b nxt
  next(smv588_philoFSMfsm102_OH_readRV) := case (RST_N|smv584_iloFSMfsm102_OH_write_EN):(RST_N&smv586_loFSMfsm102_OH_write_Din);
    TRUE:smv588_philoFSMfsm102_OH_readRV;
    esac; -- b nxt
  next(smv594_philoFSMfsm100_OH_readRV) := case (RST_N|smv590_iloFSMfsm100_OH_write_EN):(RST_N&smv592_loFSMfsm100_OH_write_Din);
    TRUE:smv594_philoFSMfsm100_OH_readRV;
    esac; -- b nxt
  next(smv600_HphiloFSMfsm98_OH_readRV) := case (RST_N|smv596_hiloFSMfsm98_OH_write_EN):(RST_N&smv598_iloFSMfsm98_OH_write_Din);
    TRUE:smv600_HphiloFSMfsm98_OH_readRV;
    esac; -- b nxt
  next(smv606_HphiloFSMfsm96_OH_readRV) := case (RST_N|smv602_hiloFSMfsm96_OH_write_EN):(RST_N&smv604_iloFSMfsm96_OH_write_Din);
    TRUE:smv606_HphiloFSMfsm96_OH_readRV;
    esac; -- b nxt
  next(smv612_HphiloFSMfsm94_OH_readRV) := case (RST_N|smv608_hiloFSMfsm94_OH_write_EN):(RST_N&smv610_iloFSMfsm94_OH_write_Din);
    TRUE:smv612_HphiloFSMfsm94_OH_readRV;
    esac; -- b nxt
  next(smv618_HphiloFSMfsm92_OH_readRV) := case (RST_N|smv614_hiloFSMfsm92_OH_write_EN):(RST_N&smv616_iloFSMfsm92_OH_write_Din);
    TRUE:smv618_HphiloFSMfsm92_OH_readRV;
    esac; -- b nxt
   next(smv704_ENCH_philo3_timer_readRV) := case (RST_N|smv700_CH_philo3_timer_write_EN):case RST_N:smv702_H_philo3_timer_write_Din;
    TRUE:0d15_0;
    esac;
    TRUE:smv704_ENCH_philo3_timer_readRV;
    esac; -- other 
  next(smv716_philoFSMfsm168_OH_readRV) := case (RST_N|smv712_iloFSMfsm168_OH_write_EN):(RST_N&smv714_loFSMfsm168_OH_write_Din);
    TRUE:smv716_philoFSMfsm168_OH_readRV;
    esac; -- b nxt
  next(smv722_philoFSMfsm166_OH_readRV) := case (RST_N|smv718_iloFSMfsm166_OH_write_EN):(RST_N&smv720_loFSMfsm166_OH_write_Din);
    TRUE:smv722_philoFSMfsm166_OH_readRV;
    esac; -- b nxt
  next(smv728_philoFSMfsm164_OH_readRV) := case (RST_N|smv724_iloFSMfsm164_OH_write_EN):(RST_N&smv726_loFSMfsm164_OH_write_Din);
    TRUE:smv728_philoFSMfsm164_OH_readRV;
    esac; -- b nxt
  next(smv734_philoFSMfsm162_OH_readRV) := case (RST_N|smv730_iloFSMfsm162_OH_write_EN):(RST_N&smv732_loFSMfsm162_OH_write_Din);
    TRUE:smv734_philoFSMfsm162_OH_readRV;
    esac; -- b nxt
  next(smv740_philoFSMfsm160_OH_readRV) := case (RST_N|smv736_iloFSMfsm160_OH_write_EN):(RST_N&smv738_loFSMfsm160_OH_write_Din);
    TRUE:smv740_philoFSMfsm160_OH_readRV;
    esac; -- b nxt
  next(smv746_philoFSMfsm158_OH_readRV) := case (RST_N|smv742_iloFSMfsm158_OH_write_EN):(RST_N&smv744_loFSMfsm158_OH_write_Din);
    TRUE:smv746_philoFSMfsm158_OH_readRV;
    esac; -- b nxt
  next(smv752_philoFSMfsm156_OH_readRV) := case (RST_N|smv748_iloFSMfsm156_OH_write_EN):(RST_N&smv750_loFSMfsm156_OH_write_Din);
    TRUE:smv752_philoFSMfsm156_OH_readRV;
    esac; -- b nxt
  next(smv758_philoFSMfsm154_OH_readRV) := case (RST_N|smv754_iloFSMfsm154_OH_write_EN):(RST_N&smv756_loFSMfsm154_OH_write_Din);
    TRUE:smv758_philoFSMfsm154_OH_readRV;
    esac; -- b nxt
  next(smv764_philoFSMfsm152_OH_readRV) := case (RST_N|smv760_iloFSMfsm152_OH_write_EN):(RST_N&smv762_loFSMfsm152_OH_write_Din);
    TRUE:smv764_philoFSMfsm152_OH_readRV;
    esac; -- b nxt
  next(smv770_philoFSMfsm150_OH_readRV) := case (RST_N|smv766_iloFSMfsm150_OH_write_EN):(RST_N&smv768_loFSMfsm150_OH_write_Din);
    TRUE:smv770_philoFSMfsm150_OH_readRV;
    esac; -- b nxt
  next(smv776_philoFSMfsm148_OH_readRV) := case (RST_N|smv772_iloFSMfsm148_OH_write_EN):(RST_N&smv774_loFSMfsm148_OH_write_Din);
    TRUE:smv776_philoFSMfsm148_OH_readRV;
    esac; -- b nxt
  next(smv782_philoFSMfsm146_OH_readRV) := case (RST_N|smv778_iloFSMfsm146_OH_write_EN):(RST_N&smv780_loFSMfsm146_OH_write_Din);
    TRUE:smv782_philoFSMfsm146_OH_readRV;
    esac; -- b nxt
  next(smv788_philoFSMfsm144_OH_readRV) := case (RST_N|smv784_iloFSMfsm144_OH_write_EN):(RST_N&smv786_loFSMfsm144_OH_write_Din);
    TRUE:smv788_philoFSMfsm144_OH_readRV;
    esac; -- b nxt
  next(smv794_philoFSMfsm142_OH_readRV) := case (RST_N|smv790_iloFSMfsm142_OH_write_EN):(RST_N&smv792_loFSMfsm142_OH_write_Din);
    TRUE:smv794_philoFSMfsm142_OH_readRV;
    esac; -- b nxt
  next(smv800_philoFSMfsm140_OH_readRV) := case (RST_N|smv796_iloFSMfsm140_OH_write_EN):(RST_N&smv798_loFSMfsm140_OH_write_Din);
    TRUE:smv800_philoFSMfsm140_OH_readRV;
    esac; -- b nxt
  next(smv806_philoFSMfsm138_OH_readRV) := case (RST_N|smv802_iloFSMfsm138_OH_write_EN):(RST_N&smv804_loFSMfsm138_OH_write_Din);
    TRUE:smv806_philoFSMfsm138_OH_readRV;
    esac; -- b nxt
  next(smv812_philoFSMfsm136_OH_readRV) := case (RST_N|smv808_iloFSMfsm136_OH_write_EN):(RST_N&smv810_loFSMfsm136_OH_write_Din);
    TRUE:smv812_philoFSMfsm136_OH_readRV;
    esac; -- b nxt
  next(smv818_philoFSMfsm134_OH_readRV) := case (RST_N|smv814_iloFSMfsm134_OH_write_EN):(RST_N&smv816_loFSMfsm134_OH_write_Din);
    TRUE:smv818_philoFSMfsm134_OH_readRV;
    esac; -- b nxt
  next(smv824_philoFSMfsm132_OH_readRV) := case (RST_N|smv820_iloFSMfsm132_OH_write_EN):(RST_N&smv822_loFSMfsm132_OH_write_Din);
    TRUE:smv824_philoFSMfsm132_OH_readRV;
    esac; -- b nxt
   next(smv910_ENCH_philo4_timer_readRV) := case (RST_N|smv906_CH_philo4_timer_write_EN):case RST_N:smv908_H_philo4_timer_write_Din;
    TRUE:0d15_0;
    esac;
    TRUE:smv910_ENCH_philo4_timer_readRV;
    esac; -- other 
  next(smv922_philoFSMfsm208_OH_readRV) := case (RST_N|smv918_iloFSMfsm208_OH_write_EN):(RST_N&smv920_loFSMfsm208_OH_write_Din);
    TRUE:smv922_philoFSMfsm208_OH_readRV;
    esac; -- b nxt
  next(smv928_philoFSMfsm206_OH_readRV) := case (RST_N|smv924_iloFSMfsm206_OH_write_EN):(RST_N&smv926_loFSMfsm206_OH_write_Din);
    TRUE:smv928_philoFSMfsm206_OH_readRV;
    esac; -- b nxt
  next(smv934_philoFSMfsm204_OH_readRV) := case (RST_N|smv930_iloFSMfsm204_OH_write_EN):(RST_N&smv932_loFSMfsm204_OH_write_Din);
    TRUE:smv934_philoFSMfsm204_OH_readRV;
    esac; -- b nxt
  next(smv940_philoFSMfsm202_OH_readRV) := case (RST_N|smv936_iloFSMfsm202_OH_write_EN):(RST_N&smv938_loFSMfsm202_OH_write_Din);
    TRUE:smv940_philoFSMfsm202_OH_readRV;
    esac; -- b nxt
  next(smv946_philoFSMfsm200_OH_readRV) := case (RST_N|smv942_iloFSMfsm200_OH_write_EN):(RST_N&smv944_loFSMfsm200_OH_write_Din);
    TRUE:smv946_philoFSMfsm200_OH_readRV;
    esac; -- b nxt
  next(smv952_philoFSMfsm198_OH_readRV) := case (RST_N|smv948_iloFSMfsm198_OH_write_EN):(RST_N&smv950_loFSMfsm198_OH_write_Din);
    TRUE:smv952_philoFSMfsm198_OH_readRV;
    esac; -- b nxt
  next(smv958_philoFSMfsm196_OH_readRV) := case (RST_N|smv954_iloFSMfsm196_OH_write_EN):(RST_N&smv956_loFSMfsm196_OH_write_Din);
    TRUE:smv958_philoFSMfsm196_OH_readRV;
    esac; -- b nxt
  next(smv964_philoFSMfsm194_OH_readRV) := case (RST_N|smv960_iloFSMfsm194_OH_write_EN):(RST_N&smv962_loFSMfsm194_OH_write_Din);
    TRUE:smv964_philoFSMfsm194_OH_readRV;
    esac; -- b nxt
  next(smv970_philoFSMfsm192_OH_readRV) := case (RST_N|smv966_iloFSMfsm192_OH_write_EN):(RST_N&smv968_loFSMfsm192_OH_write_Din);
    TRUE:smv970_philoFSMfsm192_OH_readRV;
    esac; -- b nxt
  next(smv976_philoFSMfsm190_OH_readRV) := case (RST_N|smv972_iloFSMfsm190_OH_write_EN):(RST_N&smv974_loFSMfsm190_OH_write_Din);
    TRUE:smv976_philoFSMfsm190_OH_readRV;
    esac; -- b nxt
  next(smv982_philoFSMfsm188_OH_readRV) := case (RST_N|smv978_iloFSMfsm188_OH_write_EN):(RST_N&smv980_loFSMfsm188_OH_write_Din);
    TRUE:smv982_philoFSMfsm188_OH_readRV;
    esac; -- b nxt
  next(smv988_philoFSMfsm186_OH_readRV) := case (RST_N|smv984_iloFSMfsm186_OH_write_EN):(RST_N&smv986_loFSMfsm186_OH_write_Din);
    TRUE:smv988_philoFSMfsm186_OH_readRV;
    esac; -- b nxt
  next(smv994_philoFSMfsm184_OH_readRV) := case (RST_N|smv990_iloFSMfsm184_OH_write_EN):(RST_N&smv992_loFSMfsm184_OH_write_Din);
    TRUE:smv994_philoFSMfsm184_OH_readRV;
    esac; -- b nxt
  next(smv1000_philoFSMfsm182_OH_readRV) := case (RST_N|smv996_iloFSMfsm182_OH_write_EN):(RST_N&smv998_loFSMfsm182_OH_write_Din);
    TRUE:smv1000_philoFSMfsm182_OH_readRV;
    esac; -- b nxt
  next(smv1006_philoFSMfsm180_OH_readRV) := case (RST_N|smv1002_iloFSMfsm180_OH_write_EN):(RST_N&smv1004_loFSMfsm180_OH_write_Din);
    TRUE:smv1006_philoFSMfsm180_OH_readRV;
    esac; -- b nxt
  next(smv1012_philoFSMfsm178_OH_readRV) := case (RST_N|smv1008_iloFSMfsm178_OH_write_EN):(RST_N&smv1010_loFSMfsm178_OH_write_Din);
    TRUE:smv1012_philoFSMfsm178_OH_readRV;
    esac; -- b nxt
  next(smv1018_philoFSMfsm176_OH_readRV) := case (RST_N|smv1014_iloFSMfsm176_OH_write_EN):(RST_N&smv1016_loFSMfsm176_OH_write_Din);
    TRUE:smv1018_philoFSMfsm176_OH_readRV;
    esac; -- b nxt
  next(smv1024_philoFSMfsm174_OH_readRV) := case (RST_N|smv1020_iloFSMfsm174_OH_write_EN):(RST_N&smv1022_loFSMfsm174_OH_write_Din);
    TRUE:smv1024_philoFSMfsm174_OH_readRV;
    esac; -- b nxt
  next(smv1030_philoFSMfsm172_OH_readRV) := case (RST_N|smv1026_iloFSMfsm172_OH_write_EN):(RST_N&smv1028_loFSMfsm172_OH_write_Din);
    TRUE:smv1030_philoFSMfsm172_OH_readRV;
    esac; -- b nxt
  next(SMV_RESET_GENERATOR) := TRUE; -- b nxt


SPEC
    AG smv22_ENCH_spoon0_inuse_readRV;
-- Number of vars (excluding defines): 106
-- 101 vectors of width 1
-- 5 vectors of width 15
-- Total state bits in module = 176 bits.
--eof a.out