Patent search ap:("MEDIATEK INC.") AND inv:"Tung-Yu Lee" Page 1

1.

发明公开
ARTIFICIAL INTELLIGENCE-BASED CONSTRAINED RANDOM VERIFICATION METHOD FOR DESIGN UNDER TEST AND NON-TRANSITORY MACHINE-READABLE MEDIUM FOR STORING PROGRAM CODE THAT PERFORMS ARTIFICIAL INTELLIGENCE-BASED CONSTRAINED RANDOM VERIFICATION METHOD WHEN EXECUTED 审中-公开

公开(公告)号：US20230144389A1

公开(公告)日：2023-05-11

申请号：US17968798

申请日：2022-10-19

Applicant: MEDIATEK INC.

Inventor： Chung-An Wang , Chiao-Hua Tseng , Chia-Cheng Tsai , Tung-Yu Lee , Yen-Her Chen , Chien-Hsin Yeh , Chia-Shun Yeh , Chin-Tang Lai

IPC: G01R31/28

CPC classification number: G01R31/2837 , G01R31/2841

Abstract: An artificial intelligence (AI)-based constrained random verification (CRV) method for a design under test (DUT) includes: receiving a series of constraints; obtaining a limited constraint range according to the series of constraints; generating a series of stimuli according to the limited constraint range; and verifying the DUT by the series of stimuli; wherein at least one of the step of obtaining the limited constraint range according to the series of constraints and the step of generating the series of stimuli according to the limited constraint range employs an AI algorithm.

2.

发明授权
Artificial intelligence-based constrained random verification method for design under test and non-transitory machine-readable medium for storing program code that performs artificial intelligence-based constrained random verification method when executed 有权

公开(公告)号：US12025653B2

公开(公告)日：2024-07-02

申请号：US17968798

申请日：2022-10-19

Applicant: MEDIATEK INC.

Inventor： Chung-An Wang , Chiao-Hua Tseng , Chia-Cheng Tsai , Tung-Yu Lee , Yen-Her Chen , Chien-Hsin Yeh , Chia-Shun Yeh , Chin-Tang Lai

IPC: G01R31/28

CPC classification number: G01R31/2837 , G01R31/2841

Abstract: An artificial intelligence (AI)-based constrained random verification (CRV) method for a design under test (DUT) includes: receiving a series of constraints; obtaining a limited constraint range according to the series of constraints; generating a series of stimuli according to the limited constraint range; and verifying the DUT by the series of stimuli; wherein at least one of the step of obtaining the limited constraint range according to the series of constraints and the step of generating the series of stimuli according to the limited constraint range employs an AI algorithm.

Patent Agency Ranking