{"schema_version":"1.0","canonical_url":"https://patentable.app/patents/US-9665682","patent":{"patent_number":"US-9665682","title":"Methods, systems, and articles of manufacture for enhancing formal verification with counter acceleration for electronic designs","assignee":null,"inventors":[],"filing_date":"2015-09-30T00:00:00.000Z","publication_date":"2017-05-30T00:00:00.000Z","cpc_codes":["G06F","G06F"],"num_claims":20,"abstract":"Disclosed are techniques for enhancing formal verification with counter acceleration for electronic designs. These techniques identify at least a portion of an electronic design including a counter having a current counter value and intercept next counter values transmitted to the counter with a counter abstraction module. These techniques further determine whether to accelerate the counter from the current counter value to an engine synthesized next counter value, rather than to an original next counter value based at least in part on a set of critical values. The counter is accelerated from the current counter value to the engine synthesized next counter value when the counter abstraction module determines to accelerate the counter."},"analysis":{"summary":null,"layman_explanation":null,"technical_analysis":null,"business_analysis":null,"faqs":null,"topics":[],"tech_cluster":null},"seo":{"title":"Methods, systems, and articles of manufacture for enhancing formal verification with counter acceleration for electronic designs","description":"Disclosed are techniques for enhancing formal verification with counter acceleration for electronic designs. These techniques identify at least a portion of an electronic design including a counter ha","keywords":[]},"attribution":{"source":"Patentable","source_url":"https://patentable.app","canonical_url":"https://patentable.app/patents/US-9665682","license":"CC-BY-4.0-like","license_terms":"AI-generated analysis on this page (summary, layman_explanation, technical_analysis, business_analysis, faqs) may be reused with attribution and a visible link back to the canonical URL above. Patent abstracts, claims, and bibliographic data are USPTO public domain.","required_link":"https://patentable.app/patents/US-9665682","citation_suggestion":"Patentable. \"Methods, systems, and articles of manufacture for enhancing formal verification with counter acceleration for electronic designs\" (US-9665682). https://patentable.app/patents/US-9665682","copyright_holder":"Nomic Interactive Technology LLC"},"links":{"html":"https://patentable.app/patents/US-9665682","json":"https://patentable.app/api/llm-context/US-9665682","site":"https://patentable.app","llms_txt":"https://patentable.app/llms.txt"},"generated_at":"2026-06-06T06:36:01.304Z"}