等价于
　　　　entity SRFF is
　　　　　　port (S, R: in Bit; Q, Q_bar: out Bit);
　　　　begin
　　　　　　SRFF_constraint_check:
　　　　　　process (S, R)
　　　　　　begin
　　　　　　　assert not (S= 1 and R= 1 )
　　　　　　　report "Both S and R equal to 1 ."
　　　　　　　severity Error;
　　　　 　 end process;
　　　　end SRFF;