Detecting Rising or Falling Edges in .rule Conditions for State Machines in LTspice

I solved the problem as follows:

1. Added a B source (voltage-controlled voltage source): I set the function to take the time derivative of the clock signal using the equation V=ddt(V(clock)). This allows me to track both the rising (leading) and falling edges of the clock signal.

2. Implemented edge detection in the rules: Initially, I encountered an issue where the state would change multiple times during the rising edge. To resolve this, I introduced dummy states that wait for the falling edge of the clock signal. These dummy states ensure that the output state only changes on the rising edge, preventing multiple transitions during a single clock period.

The solution for my project is a simple circuit representing a basic intersection with two traffic lights.
.machine
 
    .state S0 0
    .state Stran1 1
    .state S1 2
    .state Stran2 3
    .state S2 4
    .state Stran3 5
    .state S3 6
    .state Stran4 7
 
    .rule S0 Stran1 ((V(edges) < 0))
    .rule Stran1 S1 ((V(edges) > 0) & (V(t) > .5))
    .rule S1 Stran2 ((V(edges) < 0))
    .rule Stran2 S2 ((V(edges) > 0) & (V(t) < .5))
    .rule S2 Stran3 ((V(edges) < 0))
    .rule Stran3 S3 ((V(edges) > 0) & (V(t) < .5))
    .rule S3 Stran4 ((V(edges) < 0))
    .rule Stran4 S0 ((V(edges) > 0) & (V(t) < .5))
    .rule * S0 V(reset) > .5
 
 
    .output states state
    .output G-SJ  state==0 | state==1
    .output R-VZ  state==0 | state==1
 
    .output Y-SJ state==2 | state==3
    .output R-VZ state==2 | state==3
 
    .output R-SJ state==4 | state==5
    .output G-VZ state==4 | state==5
 
    .output R-SJ state==6 | state==7
    .output Y-VZ state==6 | state==7
 
.endmachine

I solved the problem as follows:

1. Added a B source (voltage-controlled voltage source): I set the function to take the time derivative of the clock signal using the equation V=ddt(V(clock)). This allows me to track both the rising (leading) and falling edges of the clock signal.

2. Implemented edge detection in the rules: Initially, I encountered an issue where the state would change multiple times during the rising edge. To resolve this, I introduced dummy states that wait for the falling edge of the clock signal. These dummy states ensure that the output state only changes on the rising edge, preventing multiple transitions during a single clock period.

The solution for my project is a simple circuit representing a basic intersection with two traffic lights.
.machine
 
    .state S0 0
    .state Stran1 1
    .state S1 2
    .state Stran2 3
    .state S2 4
    .state Stran3 5
    .state S3 6
    .state Stran4 7
 
    .rule S0 Stran1 ((V(edges) < 0))
    .rule Stran1 S1 ((V(edges) > 0) & (V(t) > .5))
    .rule S1 Stran2 ((V(edges) < 0))
    .rule Stran2 S2 ((V(edges) > 0) & (V(t) < .5))
    .rule S2 Stran3 ((V(edges) < 0))
    .rule Stran3 S3 ((V(edges) > 0) & (V(t) < .5))
    .rule S3 Stran4 ((V(edges) < 0))
    .rule Stran4 S0 ((V(edges) > 0) & (V(t) < .5))
    .rule * S0 V(reset) > .5
 
 
    .output states state
    .output G-SJ  state==0 | state==1
    .output R-VZ  state==0 | state==1
 
    .output Y-SJ state==2 | state==3
    .output R-VZ state==2 | state==3
 
    .output R-SJ state==4 | state==5
    .output G-VZ state==4 | state==5
 
    .output R-SJ state==6 | state==7
    .output Y-VZ state==6 | state==7
 
.endmachine