Detects the falling edge of a std_ulogic or std_logic signal. It will return true when the signal changes from a high value ('1' or 'H') to a low value ('0' or 'L').
function falling_edge ( signal s : std_ulogic ) return boolean;
https://www.cs.sfu.ca/~ggbaker/reference/std_logic/1164/falling_edge.html