Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Aller à Demande

1. WO2020113526 - PROCÉDÉ ET DISPOSITIF DE VÉRIFICATION DE PUCE

Numéro de publication WO/2020/113526
Date de publication 11.06.2020
N° de la demande internationale PCT/CN2018/119613
Date du dépôt international 06.12.2018
CIB
G06F 17/50 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
17Équipement ou méthodes de traitement de données ou de calcul numérique, spécialement adaptés à des fonctions spécifiques
50Conception assistée par ordinateur
Déposants
  • 华为技术有限公司 HUAWEI TECHNOLOGIES CO., LTD. [CN]/[CN]
Inventeurs
  • 杨鸿志 YANG, Hongzhi
Mandataires
  • 北京同达信恒知识产权代理有限公司 TDIP & PARTNERS
Données relatives à la priorité
Langue de publication chinois (ZH)
Langue de dépôt chinois (ZH)
États désignés
Titre
(EN) CHIP VERIFICATION METHOD AND DEVICE
(FR) PROCÉDÉ ET DISPOSITIF DE VÉRIFICATION DE PUCE
(ZH) 一种芯片验证方法和装置
Abrégé
(EN)
The present application provides a chip verification method and device, for use in solving the problems in the prior art that personnel need to participate when verifying whether a bug exists in a chip, operation is complex, and verification efficiency is low. The method comprises: method I, selecting a corresponding instruction sequence on the basis of a determined random numerical value, and then repeatedly executing steps that satisfy a condition; method II, after determining a control parameter, and after generating an actual instruction example according to the instruction sequence selected on the basis of an unused random numerical value and the determined control parameter, repeatedly executing the steps that satisfy the condition. Therefore, in a chip verification process, it is not necessary for personnel to participate, the operation is simple, and the verification efficiency can be improved.
(FR)
La présente invention concerne un procédé et un dispositif de vérification de puce, destinés à être utilisés pour résoudre les problèmes de l'état de la technique selon lesquels le personnel a besoin de participer à la vérification du fait qu'un bug existe dans une puce, le fonctionnement est complexe et l'efficacité de vérification est faible. Le procédé comprend : procédé I, la sélection d'une séquence d'instructions correspondante sur la base d'une valeur numérique aléatoire déterminée, puis l'exécution répétée d'étapes qui satisfont à une condition ; procédé II, après la détermination d'un paramètre de commande et après la génération d'un exemple d'instruction réel selon la séquence d'instructions sélectionnée sur la base d'une valeur numérique aléatoire non utilisée et du paramètre de commande déterminé, l'exécution répétée des étapes qui satisfont la condition. Par conséquent, dans un processus de vérification de puce, il n'est pas nécessaire que le personnel participe, le fonctionnement est simple et l'efficacité de vérification peut être améliorée.
(ZH)
本申请提供一种芯片验证方法及装置,用以解决现有技术中存在的验证芯片是否存在bug时,需要人员参与,操作繁琐,验证效率低的问题。方式一,基于确定的随机数值选择对应的指令序列,再重复执行符合条件的步骤;方式二,确定一个控制参数后,根据基于一个未使用过的随机数值选择指令序列和确定的控制参数生成实际指令用例后,重复执行符合条件的步骤。从而在芯片验证过程中,不需要人员参与,操作简单,可以提高验证效率。
Dernières données bibliographiques dont dispose le Bureau international