The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 27, 2025
Filed:
Dec. 27, 2023
Huawei Technologies Co., Ltd., Shenzhen, CN;
Huiling Zhen, Hong Kong, CN;
Miaohui Chen, Shenzhen, CN;
Mingxuan Yuan, Hong Kong, CN;
Naixing Wang, Shenzhen, CN;
Wanqian Luo, Chengdu, CN;
Yu Huang, Shenzhen, CN;
HUAWEI TECHNOLOGIES CO., LTD., Shenzhen, CN;
Abstract
An automatic test pattern generation-based circuit verification method, comprises determining a to-be-detected first logic cone from a fan-out logic cone corresponding to the target line; determining, based on the first logic cone, a to-be-detected second logic cone from a fan-in logic cone corresponding to the target line; generating a first conjunctive normal form (CNF) based on the first logic cone and the second logic cone, and detecting the target line by using the first CNF to obtain a first detection result; and if the first logic cone is a partial region in the fan-out logic cone, and the first detection result meets a first specified condition corresponding to the first logic cone, determining a first verification result of the target line based on the first detection result.