- Sections
- G - Physique
- G06F - Traitement électrique de données numériques
- G06F 30/3323 - Vérification de la conception, p. ex. simulation fonctionnelle ou vérification du modèle utilisant des méthodes formelles, p. ex. vérification de l’équivalence ou vérification des propriétés
Détention brevets de la classe G06F 30/3323
Brevets de cette classe: 379
Historique des publications depuis 10 ans
|
3
|
16
|
38
|
73
|
67
|
49
|
40
|
32
|
33
|
26
|
| 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 | 2026 |
Propriétaires principaux
| Proprétaire |
Total
|
Cette classe
|
|---|---|---|
| Synopsys, Inc. | 2718 |
46 |
| International Business Machines Corporation | 62621 |
39 |
| Cadence Design Systems, Inc. | 1791 |
38 |
| Imagination Technologies Limited | 1785 |
33 |
| Taiwan Semiconductor Manufacturing Company, Ltd. | 48248 |
17 |
| Samsung Electronics Co., Ltd. | 157557 |
9 |
| Intel Corporation | 47102 |
9 |
| Amazon Technologies, Inc. | 28066 |
9 |
| Siemens Industry Software Inc. | 1835 |
9 |
| Siemens Electronic Design Automation GmbH | 31 |
8 |
| Elite Semiconductor, Inc. | 16 |
7 |
| Umbralogic Technologies LLC, DBA chipfoundry | 12 |
7 |
| Texas Instruments Incorporated | 19663 |
6 |
| Arteris, Inc. | 175 |
6 |
| Realtek Semiconductor Corp. | 3503 |
5 |
| Altera Corporation | 2473 |
4 |
| Xilinx, Inc. | 3948 |
4 |
| ARM Limited | 5037 |
4 |
| Changxin Memory Technologies, Inc. | 4933 |
4 |
| TSMC Nanjing Company, Limited | 177 |
4 |
| Autres propriétaires | 111 |