Signal State Machine Completion
Detecting state machine completion is best done with Trigger Outs. Like okTriggerIn, okTriggerOut’s ep_trigger should be set synchronously with okTriggerOut’s clock or it might not be captured properly by the okTriggerOut module. Once the trigger out value is set, it will remain set until it is checked and cleared by the PC. To do this on the PC, use the UpdateTriggerOuts() method.
When initializing a state machine, it is recommended but not required that you define a reset signal. In this example, the reset is attached to a trigger, but it can also be attached to a wire.
The pauses in the example are included to make the LEDs readable and are not required for the triggers to operate properly.
When setting TriggerOuts in HDL, it is recommended that you reset the signal to 0 every clock cycle and set it only when the state changes. This ensures that the signal is set for only one clock cycle and thus functions properly as a trigger. If the signal is accidentally set for more than one clock cycle, there is a chance that the PC will read it and it will be set again, resulting in duplicate state notifications.
C/C++
okCFrontPanel dev;
dev.OpenBySerial();
dev.ConfigureFPGA("example.bit");
while (1){
// Trigger state machine
dev.ActivateTriggerIn(0x40, 0x01);
std::this_thread::sleep_for(std::chrono::seconds(1));
// Check for state change
dev.UpdateTriggerOuts();
if (dev.IsTriggered(0x60, 0x01) == true){
std::cout << "In state 1.\n";
}
else if (dev.IsTriggered(0x60, 0x10) == true){
std::cout << "In state 2.\n";
}
}
Code language: PHP (php)
C#
okCFrontPanel dev = new okCFrontPanel();
okCFrontPanel.ErrorCode error = new okCFrontPanel.ErrorCode();
dev.OpenBySerial("");
error = dev.ConfigureFPGA("example.bit");
while (true)
{
// Trigger state machine
dev.ActivateTriggerIn(0x40, 0x01);
Thread.Sleep(1000);
// Check for state change
dev.UpdateTriggerOuts();
if (dev.IsTriggered(0x60, 0x01) == true)
{
Console.WriteLine("In state 1.");
}
else if (dev.IsTriggered(0x60, 0x02) == true)
{
Console.WriteLine("In state 2.");
}
}
Code language: JavaScript (javascript)
Python
dev = ok.okCFrontPanel()
dev.OpenBySerial("")
dev.ConfigureFPGA("example.bit")
while 1 == 1:
# Trigger state machine
dev.ActivateTriggerIn(0x40, 0x01)
time.sleep(1)
# Check for state change
dev.UpdateTriggerOuts()
if dev.IsTriggered(0x60, 0x01) == True:
print "In state 1."
elif dev.IsTriggered(0x60, 0x10) == True:
print "In state 2."
Code language: PHP (php)
Java
public class example{
okCFrontPanel dev;
okCFrontPanel.ErrorCode error;
Thread t;
public void Initialize(){
t = new Thread();
dev = new okCFrontPanel()
dev.OpenBySerial("");
error = dev.ConfigureFPGA("example.bit");
// It’s a good idea to check for errors here!
}
public void Check(){
// Trigger state machine
dev.ActivateTriggerIn(0x40, 0x01);
try{ Thread.sleep(1000); }
catch(Exception e){ System.out.println(e); }
// Check for state change
dev.UpdateTriggerOuts();
if(dev.IsTriggered(0x60, 0x01) == true){
System.out.println("In state 1.");
} else if(dev.IsTriggered(0x60, 0x02){
System.out.println("In state 2.");
}
}
}
Code language: PHP (php)
Verilog
// Wire declarations
wire [15:0] start;
wire [15:0] treset;
reg [15:0] tout;
// Circuit behavior
integer state;
parameter
s_idle = 2'b00,
s_state1 = 2'b01,
s_state2 = 2'b10;
//next state logic
always @ (posedge clk1)begin
tout <= 8'h00;
case(state)
s_idle: begin
if (start) begin
state = s_state1;
led <=8'hAA;
end
end
s_state1: begin
if (start) begin
state = s_state2;
led <= 8'h55;
tout <= 8'h01;
end else begin
state = s_state1;
led <= 8'hAA;
end
end
s_state2: begin
if (start) begin
state = s_state1;
led <= 8'hAA;
tout <= 8'h10;
end else begin
state = s_state2;
led <= 8'h55;
end
end
default: begin
state = s_idle;
led <= 8'h00;
end
endcase
end
// FrontPanel endpoint instantiation
okTriggerIn smstart(
.ok1(ok1),
.ep_addr(8'h40),
.ep_clk(clk1),
.ep_trigger(start)
);
okTriggerIn smreset(
.ok1(ok1),
.ep_addr(8'h42),
.ep_clk(clk1),
.ep_trigger(treset)
);
okTriggerOut smout(
.ok1(ok1),
.ok2(ok2),
.ep_addr(8'h60),
.ep_clk(clk1),
.ep_trigger({tout})
);
Code language: Verilog (verilog)
VHDL
--Circuit signals
signal count : STD_LOGIC_VECTOR(7 downto 0);
signal start_vector : STD_LOGIC_VECTOR(15 downto 0);
signal t_out : STD_LOGIC_VECTOR(15 downto 0) := x"0000";
signal start : STD_LOGIC;
signal t_reset : STD_LOGIC;
--States
signal state : STD_LOGIC_VECTOR(7 downto 0) := x"01";
constant s_idle : STD_LOGIC_VECTOR(7 downto 0) := x"01";
constant s_state1 : STD_LOGIC_VECTOR(7 downto 0) := x"02";
constant s_state2 : STD_LOGIC_VECTOR(7 downto 0) := x"03";
-- Circuit behavior
start <= start_vector(1);
t_reset <= start_vector(4);
process(clk1, t_reset) begin
if (t_reset = '1') then
state <= s_idle;
led <= x"00";
end if;
if rising_edge(clk1) then
t_out <= x"0000";
case(state) is
when s_idle =>
if(start = '1') then
state <= s_state1;
led <= x"AA";
t_out <= x"0001";
else
state <= s_idle;
led <= x"00";
t_out <= x"0000";
end if;
when s_state1 =>
if(start = '1') then
state <= s_state2;
led <= x"55";
t_out <= x"0010";
elsif(t_reset = '1') then
state <= s_idle;
led <= x"00";
t_out <= x"0000";
else
state <= s_state1;
led <= x"AA";
end if;
when s_state2 =>
if(start = '1') then
state <= s_state1;
led <= x"AA";
t_out <= x"0001";
elsif(t_reset = '1') then
state <= s_idle;
led <= x"00";
t_out <= x"0000";
else
state <= s_state2;
led <= x"55";
end if;
when others =>
state <= state;
end case;
end if;
end process;
-- FrontPanel endpoint instantiation
tcount : okTriggerIn
port map(
ok1=>ok1,
ep_addr=>x"40",
ep_clk=>clk1,
ep_trigger=>start_vector
);
tevent : okTriggerOut
port map(
ok1=>ok1,
ok2=>ok2s( 1*17-1 downto 0*17),
ep_addr=>x"60",
ep_clk=>clk1,
ep_trigger=>t_out
);
Code language: VHDL (vhdl)