- All sections
- G - Physics
- G06F - Electric digital data processing
- G06F 30/3323 - Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
Patent holdings for IPC class G06F 30/3323
Total number of patents in this class: 355
10-year publication summary
|
3
|
16
|
38
|
73
|
67
|
49
|
40
|
30
|
33
|
5
|
| 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 | 2026 |
Principal owners for this class
| Owner |
All patents
|
This class
|
|---|---|---|
| Synopsys, Inc. | 2739 |
44 |
| Cadence Design Systems, Inc. | 1792 |
37 |
| International Business Machines Corporation | 61904 |
34 |
| Imagination Technologies Limited | 1756 |
33 |
| Taiwan Semiconductor Manufacturing Company, Ltd. | 46507 |
15 |
| Samsung Electronics Co., Ltd. | 151017 |
9 |
| Intel Corporation | 46576 |
9 |
| Amazon Technologies, Inc. | 27447 |
9 |
| Elite Semiconductor, Inc. | 16 |
7 |
| Umbralogic Technologies LLC, DBA chipfoundry | 12 |
7 |
| Siemens Industry Software Inc. | 1677 |
6 |
| Siemens Electronic Design Automation GmbH | 37 |
6 |
| Texas Instruments Incorporated | 19555 |
5 |
| Realtek Semiconductor Corp. | 3387 |
5 |
| Arteris, Inc. | 151 |
5 |
| Altera Corporation | 2462 |
4 |
| Xilinx, Inc. | 3939 |
4 |
| ARM Limited | 4853 |
4 |
| Changxin Memory Technologies, Inc. | 4925 |
4 |
| TSMC Nanjing Company, Limited | 166 |
4 |
| Other owners | 104 |