@name 
@inputs TF1 TF2 TF3 TF4 TF5
@outputs Output NEXT
@persist 
@trigger 
interval(1)
if(first()){timer("s",1000)}
if(TF1==1|TF2==1|TF3==1|TF4==1|TF5==1){
Output=1}
else{Output=0}
if(clk("s")){NEXT=1
    timer("reset",500)}

if(clk("reset")){NEXT=0 timer("s",1000)}
