I have a filter followed by some logic. To enable this logic the filter dynamic behavior is important. Any ideas how do I take care of this in formal methods? Regards Yogananda Jeppu