I've a question regarding PSL assertions within VHDL code. Thats my testcase entity:
Code:
entity Test is
port(start_i : in std_logic;
size_i : in std_logic_vector(2 downto 0);
);
Now I want to setup a property that guarantees a stable input size_i for at least 3 clock cycles before start_i is pulled to '1'. My first try was the usage of stable(), unfortunately this function covers only the last cycle. For 3 clock cycles I need three stable calls which seems to be pretty awkward if there is a requirement for 'more' stable cycles.