Method for Optimal Sequence Recognition in Formal Verification
Original Publication Date: 2005-Jan-10
Included in the Prior Art Database: 2005-Jan-10
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.