An assertion filter is a filter that asserts the behavior of Relaxer components which are defined as constraints in RCDLs and RIDLs.