G06F 30/3323
Using formal methods
Official title: using formal methods, e.g. equivalence checking or property checking
G06F30/3323 (Using formal methods) appears on 1,477 US grants and 1,259 published applications in this corpus.
Search patents in G06F- Granted patents
- 1,477
- Published applications
- 1,259
- Assignees
- 352
- Inventors
- 2,808
- Latest grant
- 29 Sep 2026
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1987 | 1 | 0 |
| 1988 | 0 | 0 |
| 1989 | 1 | 0 |
| 1990 | 0 | 0 |
| 1991 | 2 | 0 |
| 1992 | 3 | 0 |
| 1993 | 1 | 0 |
| 1994 | 3 | 0 |
| 1995 | 3 | 0 |
| 1996 | 11 | 0 |
| 1997 | 8 | 0 |
| 1998 | 5 | 0 |
| 1999 | 11 | 0 |
| 2000 | 16 | 0 |
| 2001 | 17 | 0 |
| 2002 | 16 | 16 |
| 2003 | 21 | 16 |
| 2004 | 18 | 37 |
| 2005 | 13 | 40 |
| 2006 | 41 | 54 |
| 2007 | 47 | 69 |
| 2008 | 74 | 81 |
| 2009 | 43 | 55 |
| 2010 | 68 | 49 |
| 2011 | 68 | 41 |
| 2012 | 85 | 66 |
| 2013 | 89 | 46 |
| 2014 | 72 | 48 |
| 2015 | 47 | 48 |
| 2016 | 52 | 47 |
| 2017 | 67 | 74 |
| 2018 | 47 | 87 |
| 2019 | 109 | 66 |
| 2020 | 135 | 56 |
| 2021 | 93 | 46 |
| 2022 | 51 | 48 |
| 2023 | 44 | 49 |
| 2024 | 26 | 50 |
| 2025 | 37 | 40 |
| 2026 | 32 | 30 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Recent patents
- Scalable generative AI-based tool infrastructure29 Sep 2026US 12,748,791 B2Microsoft Technology Licensing, LLC
- System-level design tool for selecting and confirming compatibility of electrical components29 Sep 2026US 12,748,904 B2Microchip Technology Incorporated
- System and method for automatic generation of standard cells using satisfiability modulo theory solver22 Sep 2026US 12,743,572 B2Silvaco, Inc.
- Incremental synthesis from RTL circuit designs in EDA15 Sep 2026US 12,737,526 B1Cadence Design Systems, Inc.
- Method for determining performance of sequential logic elements and device8 Sep 2026US 12,730,952 B2Changxin Memory Technologies, Inc.
- Collaborative debugging across firmware and hardware8 Oct 2026US 2026/0310868 A1International Business Machines Corporation
- Circuit Implementation on Processing Circuitry10 Sep 2026US 2026/0268052 A1Altera Corporation
- Detecting and addressing power side channels in semiconductor architecture and microarchitechture6 Aug 2026US 2026/0227961 A1International Business Machines Corporation
- Simulation of an electronic block2 Jul 2026US 2026/0187310 A1
- Finite State Machine Vulnerability and Pipeline Analysis Using Satisfiability Modeling2 Jul 2026US 2026/0187326 A1Battelle Memorial Institute
Most cited
By later US patents
- System and method for modeling, abstraction, and analysis of software265US 7,346,486 B2NEC Laboratories America, Inc. · 2008
- Design-specific on chip variation de-rating factors for static timing analysis of integrated circuits203US 8,336,010 B1Cadence Design Systems, Inc. · 2012
- Method, system, and program product for computing a yield gradient from statistical timing201US 7,480,880 B2International Business Machines Corporation · 2009
- Method for rapid development of software systems162US 5,542,070 AAG Communication Systems Corporation · 1996
- Systems, methods and apparatus for distributed decision processing160US 8,688,619 B1Reservoir Labs, Inc. · 2014