diff --git a/README.md b/README.md index c860a85..1709c93 100644 --- a/README.md +++ b/README.md @@ -15,8 +15,10 @@ The next two lists will grow during furter development * never operator * implication operator * next operator +* next[i] operator +* next_event operator ## PSL features currently unsupported by GHDL: -* next_a operator -* next_e operator +* next_a[i:j] operator +* next_e[i:j] operator diff --git a/src/psl_next_3.vhd b/src/psl_next_3.vhd index 9fbfddb..29ea1ee 100644 --- a/src/psl_next_3.vhd +++ b/src/psl_next_3.vhd @@ -29,6 +29,7 @@ begin SEQ_E : sequencer generic map ("__-_-______") port map (clk, e); SEQ_F : sequencer generic map ("_____-----_") port map (clk, f); + -- All is sensitive to rising edge of clk default clock is rising_edge(clk);