;logical definition file

prgdef sample_dr
prgdef sample_ir
prgdef input
prgdef output
byrdef state{Reset,Idle,Select_DR_Scan,Capture_DR,Shift_DR,Exit1_DR,
	     Pause_DR,Exit2_DR,Update_DR,Select_IR_Scan,Capture_IR,Shift_IR,
	     Exit1_IR,Pause_IR,Exit2_IR,Update_IR}
sbrdef tms
sbrdef tdi
sbrdef tdo


EQUATIONS
 input=const.;
 output=/(state=Shift_IR)+(state=Shift_IR)*tms;
 sample_dr=(state=Shift_DR);
 sample_ir=(state=Shift_IR);

 state(Reset)=(state=Reset)*tms+(state=Select_IR_Scan)*tms;
 state(Idle)=(state=Reset)*/tms+(state=Idle)*/tms+(state=Update_DR)*/tms
		+(state=Update_IR)*/tms;
 state(Select_DR_Scan)=(state=Idle)*tms+(state=Update_DR)*tms
			+(state=Update_IR)*tms;
 state(Capture_DR)=(state=Select_DR_Scan)*/tms;
 state(Shift_DR)=(state=Capture_DR)*/tms+(state=Shift_DR)*/tms
		+(state=Exit2_DR)*/tms;
 state(Exit1_DR)=(state=Capture_DR)*tms+(state=Shift_DR)*tms;
 state(Pause_DR)=(state=Exit1_DR)*/tms+(state=Pause_DR)*/tms;
 state(Exit2_DR)=(state=Pause_DR)*tms;
 state(Update_DR)=(state=Exit2_DR)*tms+(state=Exit1_DR)*tms;

 state(Select_IR_Scan)=(state=Select_DR_Scan)*tms;
 state(Capture_IR)=(state=Select_IR_Scan)*/tms;
 state(Shift_IR)=(state=Capture_IR)*/tms+(state=Shift_IR)*/tms
		+(state=Exit2_IR)*/tms;
 state(Exit1_IR)=(state=Capture_IR)*tms+(state=Shift_IR)*tms;
 state(Pause_IR)=(state=Exit1_IR)*/tms+(state=Pause_IR)*/tms;
 state(Exit2_IR)=(state=Pause_IR)*tms;
 state(Update_IR)=(state=Exit2_IR)*tms+(state=Exit1_IR)*tms;
ENDE