- 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: 325
Historique des publications depuis 10 ans
|
2
|
3
|
16
|
38
|
73
|
67
|
47
|
38
|
29
|
13
|
| 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 |
Propriétaires principaux
| Proprétaire |
Total
|
Cette classe
|
|---|---|---|
| Synopsys, Inc. | 2775 |
39 |
| Cadence Design Systems, Inc. | 1777 |
36 |
| International Business Machines Corporation | 61353 |
32 |
| Imagination Technologies Limited | 1669 |
32 |
| Taiwan Semiconductor Manufacturing Company, Ltd. | 43064 |
13 |
| Samsung Electronics Co., Ltd. | 147131 |
9 |
| Amazon Technologies, Inc. | 26841 |
9 |
| Intel Corporation | 47062 |
8 |
| Elite Semiconductor, Inc. | 17 |
7 |
| efabless corporation | 14 |
7 |
| Siemens Electronic Design Automation GmbH | 39 |
6 |
| Siemens Industry Software Inc. | 1657 |
5 |
| Texas Instruments Incorporated | 19450 |
4 |
| Realtek Semiconductor Corp. | 3297 |
4 |
| Arteris, Inc. | 133 |
4 |
| Changxin Memory Technologies, Inc. | 4927 |
4 |
| TSMC Nanjing Company, Limited | 138 |
4 |
| Xerox Corporation | 6998 |
3 |
| Xilinx, Inc. | 3987 |
3 |
| ARM Limited | 4688 |
3 |
| Autres propriétaires | 93 |