Create JKFF_Behavioral.v