A method generates a list of allowed states in a cache design by applying each input transaction sequentially to all found legal cache states. If application of an input transaction to a current search cache results in a new cache state, then this new cache state is added to the list of legal cache states...http://www.google.com/patents/US6446241?utm_source=gb-gplus-sharePatent US6446241 - Automated method for testing cache
