Design of assertion control filter