The InnovationQ application will be updated on Sunday, May 31st from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Method for Optimal Sequence Recognition in Formal Verification

IP.com Disclosure Number: IPCOM000033981D
Original Publication Date: 2005-Jan-10
Included in the Prior Art Database: 2005-Jan-10

Publishing Venue



A novel method is disclosed that optimally synthesizes regular-expression recognition logic by creating "fuzzy state machines" in a hardware description language. This approach enables significant performance improvements to various verification frameworks.